Sponsored by the Association for the Advancement of Artificial Intelligence

Maria Fox and David Poole, Program Cochairs.

July 11–15, 2010, Atlanta, Georgia. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book and CD format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!

Contents

Constraints, Satisfiability, and Search

A New Algorithm for Weighted Partial MaxSAT
Carlos Ansotegui, Maria Luisa Bonet, Jordi Levy

Exploiting Monotonicity in Interval Constraint Propagation
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu

A Restriction of Extended Resolution for Clause Learning SAT Solvers
Gilles Audemard, George Katsirelos, Laurent Simon

Transmission Network Expansion Planning with Simulation Optimization
Russell Bent, Alan Berscheid, G. Loren Toole

Propagating Conjunctions of AllDifferent Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

Independent Additive Heuristics Reduce Search Multiplicatively
Teresa Maria Breyer, Richard Korf

1.6-Bit Pattern Databases
Teresa Maria Breyer, Richard Korf

EWLS: A New Local Search for Minimum Vertex Cover
Shaowei Cai, Kaile Su, Qingliang Chen

High-Quality Policies for the Canadian Traveler's Problem
Patrick Eyerich, Thomas Keller, Malte Helmert

Single-Frontier Bidirectional Search
Ariel Felner, Carsten Moldenhauer, Nathan Sturtevant, Jonathan Schaeffer

Fast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments
Fedor Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh

Exploiting QBF Duality on a Circuit Representation
Alexandra Goultiaeva, Fahiem Bacchus

Symmetry in Solutions
Marijn Heule, Toby Walsh

Optimal Rectangle Packing on Non-Square Benchmarks
Eric Huang, Richard E. Korf

A Novel Transition Based Encoding Scheme for Planning as Satisfiability
Ruoyun Huang, Yixin Chen, Weixiong Zhang

Parallel Depth First Proof Number Search
Tomoyuki Kaneko

A First Practical Algorithm for High Levels of Relational Consistency
Shant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere

Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search
Akihiro Kishimoto

Searching Without a Heuristic: Efficient Use of Abstraction
Bradford John Larsen, Ethan Burns, Wheeler Ruml, Robert Holte

A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction
Jimmy Lee, K. L. Leung

An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem
Chu-Min Li, Zhe Quan

Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search
Jeffrey Richard Long, Nathan R. Sturtevant, Michael Buro, Timothy Furtak

Filtering Bounded Knapsack Constraints in Expected Sublinear Time
Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek

Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D
Alex Nash, Sven Koenig, Craig Tovey

Search Space Reduction Using Swamp Hierarchies
Nir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner

Computing Cost-Optimal Definitely Discriminating Tests
Anika Schumann, Jinbo Huang, Martin Sachenbacher

Latent Class Models for Algorithm Portfolio Methods
Bryan Silverthorn, Risto Miikkulainen

Finding Optimal Solutions to Cooperative Pathfinding Problems
Trevor Scott Standley

Collaborative Expert Portfolio Management
David Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella

Using Lookaheads with Optimal Best-First Search
Roni Tzvi Stern, Tamar Kulberis, Ariel Felner, Robert Holte

The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading
Dejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim

Coalition Structure Generation based on Distributed Constraint Optimization
Suguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius Calin Silaghi, Katsutoshi Hirayama, Toshihiro Matsui

A Proof-Producing CSP Solver
Michael Veksler, Ofer Strichman

Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection
Lin Xu, Holger Hoos, Kevin Leyton-Brown

New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter
Junping Zhou, Minghao Yin, Chunguang Zhou

Knowledge-Based Information Systems

Clickthrough Log Analysis by Collaborative Ranking
Bin Cao, Dou Shen, Kuansan Wang, Qiang Yang

Transfer Learning in Collaborative Filtering for Sparsity Reduction
Weike Pan, Evan Wei Xiang, Nathan Nan Liu, Qiang Yang

Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach
Vincent W. Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang

Knowledge Representation and Reasoning

Past and Future of DL-Lite
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

Ordered Completion for First-Order Logic Programs on Finite Structures
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
Vaishak Belle, Gerhard Lakemeyer

Knowledge Compilation in the Modal Logic S5
Meghyn Bienvenu, Hélène Fargier, Pierre Marquis

Decomposed Utility Functions and Graphical Models for Reasoning about Preferences
Ronen I. Brafman, Yagil Engel

Representing Preferences Among Sets
Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran

Node Selection Query Languages for Trees
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi

First-Order Indefinability of Answer Set Programs on Finite Structures
Yin Chen, Yan Zhang, Yi Zhou

Ontologies and Representations of Matter
Ernest Davis

Two-Player Game Structures for Generalized Planning and Agent Composition
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardina

Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities
Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa

Situation Calculus as Answer Set Programming
Joohyung Lee, Ravi Palla

In Defense of Large Qualitative Calculi
Jason Jingshi Li, Jochen Renz

Topological Relations between Convex Regions
Sanjiang Li, Weiming Liu

Automated Program Debugging Via Multiple Predicate Switching
Yongmei Liu, Bing Li

A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States
Jianbing Ma, Weiru Liu, Salem Benferhat

Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations
Jianbing Ma, Weiru Liu, Anthony Hunter

A Lower Bound on the Size of Decomposable Negation Normal Form
Thammanit Pipatsrisawat, Adnan Darwiche

Soundness Preserving Approximation for TBox Reasoning
Yuan Ren, Jeff Z. Pan, Yuting Zhao

Dominance Testing via Model Checking
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation
Steven Schockaert, Henri Prade

A New Approach to Knowledge Base Revision in DL-Lite
Zhe Wang, Kewen Wang, Rodney Topor

Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
Heng Zhang, Mingsheng Ying

Machine Learning

Latent Variable Model for Learning in Pairwise Markov Networks
Saeed Amizadeh, Milos Hauskrecht

Myopic Policies for Budgeted Optimization with Constrained Experiments
Javad Azimi, Xiaoli Fern, Alan Fern, Elizabeth Burrows, Frank Chaplen, Yanzhen Fan, Hong Liu, Jun Jaio, Rebecca Schaller

Assisting Users with Clustering Tasks by Combining Metric Learning and Classification
Sumit Basu, Danyel Fisher, Steven M. Drucker, Hao Lu

The Induction and Transfer of Declarative Bias
Will Bridewell, Ljupco Todorovski

Adaptive Transfer Learning
Bin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang

G-Optimal Design with Laplacian Regularization
Chun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang, Cheng Zhang

What if the Irresponsible Teachers Are Dominating?
Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang

Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis
Xi Chen, Yan Liu, Han Liu, Jaime G. Carbonell

Properties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures
Cassio Polpo de Campos, Qiang Ji

Interactive Learning Using Manifold Geometry
Eric Eaton, Gary Holness, Daniel McFarlane

Learning Discriminative Piecewise Linear Models with Boundary Points
Kun Gai, Changshui Zhang

Facial Age Estimation by Learning from Label Distributions
Xin Geng, Kate Smith-Miles, Zhi-Hua Zhou

Exact Algorithms and Experiments for Hierarchical Tree Clustering
Sepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann

A Topic Model for Linked Documents and Update Rules for its Estimation
Zhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Yihong Gong

Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories
Yahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu

Two-Stage Sparse Representation for Robust Recognition on Large-Scale Database
Ran He, BaoGang Hu, Wei-Shi Zheng, YanQing Guo

Reinforcement Learning Via Practice and Critique Advice
Kshitij Judah, Saikat Roy, Alan Fern, Thomas G. Dietterich

Structure Learning for Markov Logic Networks with Many Descriptive Attributes
Hassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina

The Genetic Algorithm as a General Diffusion Model for Social Networks
Mayank Lahiri, Manuel Cebrian

Cost-Sensitive Semi-Supervised Support Vector Machine
Yu-Feng Li, James T. Kwok, Zhi-Hua Zhou

Non-Negative Matrix Factorization with Constraints
Haifeng Liu, Zhaohui Wu

Gaussian Mixture Model with Local Consistency
Jialu Liu, Deng Cai, Xiaofei He

Constrained Metric Learning Via Distance Gap Maximization
Wei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu

Multilinear Maximum Distance Embedding Via L1-Norm Optimization
Yang Liu, Yan Liu, Keith C. C. Chan

Learning Causal Models of Relational Domains
Marc Maier, Brian Taylor, Huseyin Oktay, David Jensen

Non-Metric Locality-Sensitive Hashing
Yadong Mu, Shuicheng Yan

A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics
Michael Paul, Roxana Girju

Non-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin Subspace
Wei Ping, Ye Xu, Kexin Ren, Chi-Hung Chi, Furao Shen

Conformal Mapping by Computationally Efficient Methods
Stefan Pintilie, Ali Ghodsi

Bayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures
Ian Porteous, Arthur Asuncion, Max Welling

Semi-Supervised Dimension Reduction for Multi-Label Classification
Buyue Qian, Ian Davidson

Non-Negative Matrix Factorization Clustering on Multiple Manifolds
Bin Shen, Luo Si

Constrained Coclustering for Textual Documents
Yangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle X. Zhou, Weihong Qian

Multi-Instance Dimensionality Reduction
Yu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou

Multi-Label Learning with Weak Label
Yu-Yin Sun, Yin Zhang, Zhi-Hua Zhou

Nonparametric Curve Extraction Based on Ant Colony System
Qing Tan, Qing He, Zhongzhi Shi

Reinforcement Learning via AIXI Approximation
Joel Veness, Kee Siong Ng, Marcus Hutter, David Silver

Integrating Sample-Based Planning and Model-Based Reinforcement Learning
Thomas J. Walsh, Sergiu Goschin, Michael L. Littman

Discriminant Laplacian Embedding
Hua Wang, Heng Huang, Chris Ding

Bayesian Policy Search for Multi-Agent Role Discovery
Aaron Wilson, Alan Fern, Prasad Tadepalli

Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes

Smooth Optimization for Effective Multiple Kernel Learning
Zenglin Xu, Rong Jin, Shenghuo Zhu, Michael R. Lyu, Irwin King

Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise
Makoto Yamada, Masashi Sugiyama

Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation
Yi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang

Multitask Bregman Clustering
Jianwen Zhang, Changshui Zhang

Transductive Learning on Adaptive Graphs
Yan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou

Multi-Task Active Learning with Output Constraints
Yi Zhang

Efficient Spectral Feature Selection with Minimum Redundancy
Zheng Zhao, Lei Wang, Huan Liu

Gaussian Process Latent Random Field
Guoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu

Multiagent Systems

Nonmanipulable Randomized Tournament Selections
Alon Altman, Robert Kleinberg

Competing Schedulers
Itai Ashlagi, Moshe Tennenholtz, Aviv Zohar

Probabilistic Possible Winner Determination
Yoram Bachrach, Nadja Betzler, Piotr Faliszewski

Coalitional Structure Generation in Skill Games
Yoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli

Transferable Utility Planning Games
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz

Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates
Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra

Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts
Mickey Brautbar, Michael Kearns, Umar Syed

An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games
Andriy Burkov, Brahim Chaib-draa

Approximation Algorithms and Mechanism Design for Minimax Approval Voting
Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis

Voting Almost Maximizes Social Welfare Despite Limited Communication
Ioannis Caragiannis, Ariel D. Procaccia

A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria
Archie C. Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings

Truth, Justice, and Cake Cutting
Yiling Chen, John Lai, David Parkes, Ariel D. Procaccia

Possible Winners when New Candidates Are Added: The Case of Scoring Rules
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot

Cloning in Elections
Edith Elkind, Piotr Faliszewski, Arkadii Slinko

Good Rationalizations of Voting Rules
Edith Elkind, Piotr Faliszewski, Arkadii Slinko

Lifting Rationality Assumptions in Binary Aggregation
Umberto Grandi, Ulle Endriss

Intentions in Equilibrium
John Grant, Sarit Kraus, Michael Wooldridge

Security Games with Arbitrary Schedules: A Branch and Price Approach
Manish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe

Algorithms for Finding Approximate Formations in Games
Patrick R. Jordan, Michael P. Wellman

Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr

Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
Sebastien Lahaie

Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents
Raz Lin, Sarit Kraus, Yinon Oshrat, Ya'akov (Kobi) Gal

Convergence to Equilibria in Plurality Voting
Reshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings

Envy Quotes and the Iterated Core-Selecting Combinatorial Auction
Abraham Othman, Tuomas Sandholm

Can Approximation Circumvent Gibbard-Satterthwaite?
Ariel D. Procaccia

Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis
Amirali Salehi-Abari, Tony White

Increasing Threshold Search for Best-Valued Agents
David Sarne, Simon Shamoun, Eli Rata

Approximate Coalition Structure Generation
Travis Service, Julie Adams

Accounting Mechanisms for Distributed Work Systems
Sven Seuken, Jie Tang, David C. Parkes

Asymmetric Spite in Auctions
Ankit Sharma, Tuomas Sandholm

A Decentralised Coordination Algorithm for Mobile Sensors
Ruben Stranders, Francesco Maria Delle Fave, Alex Rogers, Nicholas R. Jennings

Urban Security: Game-Theoretic Resource Allocation in Networked Domains
Jason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe

Automated Channel Abstraction for Advertising Auctions
William E. Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George Nemhauser, David C. Parkes

Fixing a Tournament
Virginia Vassilevska Williams

Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games
James R. Wright, Kevin Leyton-Brown

Trial-Based Dynamic Programming for Multi-Agent Planning
Feng Wu, Shlomo Zilberstein, Xiaoping Chen

Compilation Complexity of Common Voting Rules
Lirong Xia, Vincent Conitzer

Stackelberg Voting Games: Computational Aspects and Paradoxes
Lirong Xia, Vincent Conitzer

Multi-Agent Learning with Policy Prediction
Chongjie Zhang, Victor Lesser

Dynamic Auction: A Tractable Auction Procedure
Dongmo Zhang, Laurent Perrussel

Sequential Incremental-Value Auctions
Xiaoming Zheng, Sven Koenig

Tolerable Manipulability in Dynamic Assignment without Money
James Zou, Sujit Gujar, David Parkes

Multidisciplinary Topics

Learning Simulation Control in General Game-Playing Agents
Hilmar Finnsson, Yngvi Björnsson

User-Specific Learning for Recognizing a Singer's Intended Pitch
Andrew Guillory, Sumit Basu, Dan Morris

A Computational Model for Saliency Maps by Using Local Entropy
Yuewei Lin, Bin Fang, Yuanyan Tang

Grouping Strokes into Shapes in Hand-Drawn Diagrams
Eric Jeffrey Peterson, Thomas F. Stahovich, Eric Doi, Christine Alvarado

Symmetry Detection in General Game Playing
Stephan Schiffel

Generalized Task Markets for Human and Machine Computation
Dafna Shahaf, Eric Horvitz

A General Game Description Language for Incomplete Information Games
Michael Thielscher

A Temporal Proof System for General Game Playing
Michael Thielscher, Sebastian Voigt

Natural-Language Processing

What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model
Bi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee

Automatic Attribution of Quoted Speech in Literary Narrative
David K. Elson, Kathleen R. McKeown

Kernelized Sorting for Natural Language Processing
Jagadeesh Jagaralmudi, Seth Juarez, Hal Daume

CAO: A Fully Automatic Emoticon Analysis System
Michal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki

Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus
John J. Tanner, Fernando Gomez

Forest-Based Semantic Role Labeling
Hao Xiong, Haitao Mi, Yang Liu, Qun Liu

Bidirectional Integration of Pipeline Models
Xiaofeng Yu, Wai Lam

Reasoning about Plans, Processes and Actions

Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
Christopher Amato, Blai Bonet, Shlomo Zilberstein

Multi-Agent Plan Recognition: Formalization and Algorithms
Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle

Using Bisimulation for Policy Transfer in MDPs
Pablo Samuel Castro, Doina Precup

To Max or Not to Max: Online Learning for Speeding Up Optimal Planning
Carmel Domshlak, Erez Karpas, Shaul Markovitch

An Analytic Characterization of Model Minimization in Factored Markov Decision Processes
Wenyuan Guo, Tze-Yun Leong

Using Closed Captions as Supervision for Video Activity Recognition
Sonal Gupta, Raymond J. Mooney

PUMA: Planning Under Uncertainty with Macro-Actions
Ruijie He, Emma Brunskill, Nicholas Roy

SAP Speaks PDDL
Joerg Hoffmann, Ingo Weber, Frank Michael Kraft

Structured Parameter Elicitation
Li Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. Ong

SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs
Andrey Kolobov, ' Mausam, Daniel Weld

Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects
Matthew Molineaux, Matthew Klenk, David Aha

Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners
Miguel Ramírez, Hector Geffner

Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies
Kevin Regan, Craig Boutilier

Recognizing Multi-Agent Activities from GPS Data
Adam Sadilek, Henry Kautz

Symbolic Dynamic Programming for First-order POMDPs
Scott Sanner, Kristian Kersting

Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization
Georgios Theocharous, Sridhar Mahadevan

Relational Partially Observable MDPs
Chenggang Wang, Roni Khardon

Reasoning Under Uncertainty

Simultaneous Elicitation of Preference Features and Utility
Craig Boutilier, Kevin Regan, Paolo Viappiani

Decision-Theoretic Control of Crowd-Sourced Workflows
Peng Dai, ' Mausam, Daniel Sabey Weld

Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features
Eun Yong Kang, Ilya Shpitser, Eleazar Eskin

Informed Lifting for Message-Passing
Kristian Kersting, Youssef El Massaoudi, Fabian Hadiji, Babak Ahmadi

Efficient Belief Propagation for Utility Maximization and Repeated Inference
Aniruddh Nath, Pedro Domingos

Efficient Lifting for Online Probabilistic Inference
Aniruddh Nath, Pedro Domingos

New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence
Emma Rollon, Rina Dechter

On the Use of Prime Implicates in Conformant Planning
Son Thanh To, Tran Cao Son, Enrico Pontelli

Epsilon–First Policies for Budget–Limited Multi-Armed Bandits
Long Tran-Thanh, Archie Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings

DTProbLog: A Decision-Theoretic Probabilistic Prolog
Guy Van den Broeck, Ingo Thon, Martijn van Otterlo, Luc De Raedt

Robotics

Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies
Nicola Basilico, Nicola Gatti, Federico Villa

Search-Based Path Planning with Homotopy Class Constraints
Subhrajit Bhattacharya

Design and Implementation of Two-level Synchronization for Interactive Music Robot
Jia Pan, Christian Lauterbach, Dinesh Manocha

A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM
Stephen Tully, George Kantor, Howie Choset

Short Papers

Saving Redundant Messages in BnB-ADOPT
Patricia Gutierrez, Pedro Meseguer

An Optimization Variant of Multi-Robot Path Planning Is Intractable
Pavel Surynek

Multi-Label Classification: Inconsistency and Class Balanced K-Nearest Neighbor
Hua Wang, Chris Ding, Heng Huang

AI and Bioinformatics Special Track

Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships
Fabian Buchwald, Tobias Girschick, Eibe Frank, Stefan Kramer

Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight Cliques
Franco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini

A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra
Siamak (Moshen) Ravanbakhsh, Barnabas Poczos, Russell Greiner

A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings
Qingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin

AI and the Web Special Track

GTPA: A Generative Model For Online Mentor-Apprentice Networks
Muhammad Aurangzeb Ahmad, David Huffakar, Jing Wang, Jeff Treem, Marshall Scott Poole, Jaideep Srivastava

Adopting Inference Networks for Online Thread Retrieval
Sumit Bhatia, Prasenjit Mitra

Toward an Architecture for Never-Ending Language Learning
Andrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam R. Hruschka, Tom M. Mitchell

Visual Contextual Advertising: Bringing Textual Advertisements to Images
Yuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang

Optimal Strategies for Reviewing Search Results
Jeff Huang, Anna Kazeykina

Prioritization of Domain-Specific Web Information Extraction
Jian Huang, Cong Yu

Session Based Click Features for Recency Ranking
Yoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Anlei Dong, Ciya Liao, Yi Chang, Zhaohui Zheng

Utilizing Context in Generative Bayesian Models for Linked Corpus
Saurabh Kataria, Prasenjit Mitra, Sumit Bhatia

PR + RQ ≈ PQ: Transliteration Mining Using Bridge Language
Mitesh M. Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya

On the Reputation of Agent-Based Web Services
Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran

Towards an Intelligent Code Search Engine
Jinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim

Learning to Predict Opinion Share in Social Networks
Masahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda

Sentiment Analysis with Global Topics and Local Dependency
Fangtao Li, Minlie Huang, Xiaoyan Zhu

Subjective Trust Inference in Composite Services
Lei Li, Yan Wang

Temporal Information Extraction
Xiao Ling, Daniel S. Weld

Optimal Social Trust Path Selection in Complex Social Networks
Guanfeng Liu, Yan Wang, Mehmet A Orgun

Diversifying Query Suggestion Results
Hao Ma, Michael R. Lyu, Irwin King

Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets
James P. McGlothlin, Latifur Khan

A Probabilistic-Logical Framework for Ontology Matching
Mathias Niepert, Christian Meilicke, Heiner Stuckenschmidt

Predicting the Importance of Newsfeed Posts and Social Network Friends
Tim Paek, Michael Gamon, Scott Counts, David Maxwell Chickering, Aman Dhesi

Extraction and Visualization of Implicit Social Relations on Social Networking Services
Meesun Song, Wonkyu Lee, Junghwan Kim

How Incomplete Is Your Semantic Web Reasoner?
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks

A General Framework for Representing and Reasoning with Annotated Semantic Web Data
Umberto Straccia, Nuno Lopes, Gergely Lukacsy, Axel Polleres

Integrity Constraints in OWL
Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness

News Recommendation in Forum-Based Social Media
Jia Wang, Qing Li, Yuanzhu Peter Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin

Modeling Dynamic Multi-Topic Discussions in Online Forums
Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang, Jianfeng Shen

Keyword Extraction and Headline Generation Using Novel Word Features
Songhua Xu, Shaohui Yang, Francis Lau

Fast Algorithms for Top-k Approximate String Matching
Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa

Temporal and Social Context Based Burst Detection from Folksonomies
Junjie Yao, Bin Cui, Yuxin Huang, Xin Jin

Commonsense Knowledge Mining from the Web
Chi-Hsin Yu, Hsin-Hsi Chen

UserRec: A User Recommendation Framework in Social Tagging Systems
Tom Chao Zhou, Hao Ma, Michael R. Lyu, Irwin King

Challenges in AI Special Track

Automated Modelling and Solving in Constraint Programming
Barry O'Sullivan

Hidden Market Design
Sven Seuken, Kamal Jain, David C. Parkes

Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination
Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein

Collusion Detection in Online Bridge
Jeff Yan

Integrated Intelligence Special Track

Creating Dynamic Story Plots with Continual Multiagent Planning
Michael Brenner

An Integrated Systems Approach to Explanation-Based Conceptual Change
Scott Friedman, Kenneth Forbus

Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning
Chad Hogg, Ugur Kuter, Hector Munoz-Avila

Integrating Constraint Satisfaction and Spatial Reasoning
Unmesh Kurup, Nicholas L. Cassimatis

Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place
Lanny Lin, Michael Roscheck, Michael A. Goodrich, Bryan S. Morse

Goal-Driven Autonomy in a Navy Strategy Simulation
Matthew Molineaux, Matthew Klenk, David Aha

Integrated Systems for Inducing Spatio-Temporal Process Models
Chunki Park, Will Bridewell, Pat Langley

Integrating a Closed World Planner with an Open World Robot: A Case Study
Kartik Talamadupula, J. Benton, Paul Schermerhorn, Subbarao Kambhampati, Matthias Scheutz

Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents
Samuel Wintermute

Instance-Based Online Learning of Deterministic Relational Action Models
Joseph Z. Xu, John E. Laird

Physically Grounded AI Special Track

Activity and Gait Recognition with Time-Delay Embeddings
Jordan Frank, Shie Mannor, Doina Precup

A Bayesian Nonparametric Approach to Modeling Mobility Patterns
Joshua Mason Joseph, Finale Doshi-Velez, Nicholas Roy

Biped Walk Learning Through Playback and Corrective Demonstration
Cetin Mericli, Manuela Veloso

Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior
Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell

Relative Entropy Policy Search
Jan Peters, Katharina Mulling, Yasemin Altun

The Boosting Effect of Exploratory Behaviors
Jivko Sinapov, Alexander Stoytchev

A Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF Method
Dezhen Song, Yiliang Xu

A Layered Approach to People Detection in 3D Range Data
Luciano Spinello, Kai Oliver Arras, Rudolph Triebel, Roland Siegwart

Unsupervised Learning of Event Classes from Video
Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg

Online Learning of Uneven Terrain for Humanoid Bipedal Walking
Seung Joon Yi, Byoung Tak Zhang, Daniel Lee

Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas
Ji Zhang, Dezhen Song

New Scientific and Technical Advances in Research

Active Inference for Collective Classification
Mustafa Bilgic, Lise Getoor

Automatic Derivation of Finite-State Machines for Behavior Control
Blai Bonet, Hector Palacios, Hector Geffner

Ontological Reasoning with F-logic Lite and its Extensions
Andrea Cali, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques
Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone

Constraint Programming for Data Mining and Machine Learning
Luc De Raedt, Tias Guns, Siegfried Nijssen

Computationally Feasible Automated Mechanism Design: General Approach and Case Studies
Mingyu Guo, Vincent Conitzer

Local Search in Histogram Construction
Felix Halim, Panagiotis Karras, Roland H. C. Yap

Panlingual Lexical Translation via Probabilistic Inference
' Mausam, Stephen Soderland, Oren Etzioni

Evolving Compiler Heuristics to Manage Communication and Contention
Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley

Comparing Position Auctions Computationally
David Robert Martin Thompson, Kevin Leyton-Brown

Intelligently Aiding Human-Guided Correction of Speech Recognition
Keith Vertanen, Per Ola Kristensson

Biologically-Inspired Control for Multi-Agent Self-Adaptive Tasks
Chih-Han Yu, Radhika Nagpal

Senior Member Papers

The Model-Based Approach to Autonomous Behavior: A Personal View
Hector Geffner

Progress on Agent Coordination with Cooperative Auctions
Sven Koenig, Pinar Keskinocak, Craig Tovey

Representation Discovery in Sequential Decision Making
Sridhar Mahadevan

Student Abstracts

A Distributed Method for Evaluating Properties of a Robot Formation
Brent Beer, Ross Alan Mead, Jerry Blake Weinberg

Towards Multiagent Meta-level Control
Shanjun Cheng, Anita Raja, Victor Lesser

Finding Semantic Inconsistencies in UMLS using Answer Set Programming
Halit Erdogan, Olivier Bodenreider, Esra Erdem

Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability
Daniel S. Farenzena, Luis C. Lamb, Ricardo M. Araújo

Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors
Shane Griffith, Alexander Stoytchev

A Trust Model for Supply Chain Management
Yasaman Haghpanah, Marie desJardins

Intelligent Time-Aware Query Translation for Text Sources
Amal Chaminda Kaluarachchi, Aparna Warde, Jing Peng, Anna Feldman

Temporal Planning for Interacting Durative Actions with Continuous Effects
Serdar Kecici, Sanem Sariel Talay

Control Model Learning for Whole-Body Mobile Manipulation
Scott Kuindersma

Towards Interesting Patterns of Hard CSPs with Functional Constraints
Chendong Li

Integrating Transfer Learning in Synthetic Student
Nan Li, William Cohen, Ken Koedinger

Learning from Concept Drifting Data Streams with Unlabeled Data
Peipei Li, Xindong Wu, Xuegang Hu

A Phrase-Based Method for Hierarchical Clustering of Web Snippets
Zhao Li, Xindong Wu

Distributed Auction-Based Initialization of Mobile Robot Formations
Robert Louis Long, Ross Mead, Jerry B. Weinberg

Materializing Inferred and Uncertain Knowledge in RDF Datasets
James P. McGlothlin, Latifur Khan

Relational Reinforcement Learning in Infinite Mario
Shiwali Mohan, John E. Laird

Evolved Intrinsic Reward Functions for Reinforcement Learning
Scott Niekum

Team Formation with Heterogeneous Agents in Computer Games
Robert G. Price, Scott D. Goodwin

Semantic Search in Linked Data: Opportunities and Challenges
Hamid Haidarian Shahri

Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models
Kaushik Subramanian

Genome Rearrangement: A Planning Approach
Tansel Uras, Esra Erdem

Toward Learning to Press Doorbell Buttons
Liping Wu, Vladimir Sukhoy, Alexander Stoytchev

Learning to Surface Deep Web Content

AAAI SIGART Doctoral Consortium

Preferences and Learning in Multi-Agent Negotiation
Reyhan Aydogan

Interactive Task-Plan Learning
Shuonan Dong

Nonparametric Bayesian Approaches for Reinforcement Learning in Partially Observable Domains
Finale Doshi-Velez

Local Optimization for Simulation of Natural Motion
Tom Erez

On Multi-Robot Area Coverage
Pooyan Fazli

Detecting Social Ties and Copying Events from Affiliation Data
Lisa Friedland

Continual On-Line Planning
Sofia Lemons

Enhancing Affective Communication in Embodied Conversational Agents
Michelle Denise Leonhardt

Hierarchical Skill Learning for High-Level Planning
James MacGlashan

Towards a Robust Deep Language Understanding System
Mehdi H. Manshadi

Framework and Schema for Semantic Web Knowledge Bases
James P. McGlothlin

Multi-Agent Fault Tolerance Inspired by a Computational Analysis of Cancer
Megan Olsen

Integrating Expert Knowledge and Experience
Ben George Weber

Integrating Reinforcement Learning into a Programming Language
Christopher Simpkins

Computational Social Choice: Strategic and Combinatorial Aspects
Lirong Xia

AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.

AI Magazine Articles

Conference Proceedings Papers

Funding Tutorial

Presidential Addresses

Policy Reports

Symposia Papers

Workshop Papers

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops