Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence
Edited by Toby Walsh
Barcelona, Catalonia, Spain, July 16–22, 2011. Published by the International Joint Conferences on Artificial Intelligence. Copublished by the AAAI Press, Menlo Park, California. This proceedings is also available in book format.
IJCAI-11 Technical Papers and Posters
Invited Talks and Research Excellence Paper
Open Information Extraction: The Second Generation
Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, - Mausam
Artificial Intelligence and Human Thinking
Robert Anthony Kowalski
Agent-Based and Multiagent Systems
The Shapley Value as a Function of the Quota in Weighted Voting Games
Yair Zick, Alexander Skopalik, Edith Elkind
Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman
Using Emotions to Enhance Decision-Making
Dimitrios Antos, Avi Pfeffer
Hustling in Repeated Zero-Sum Games with Imperfect Execution
Christopher Archibald, Yoav Shoham
Dynamics of Profit-Sharing Games
John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev
Optimal Partitions in Additively Separable Hedonic Games
Haris Aziz, Felix Brandt, Hans Georg Seedig
Coalitional Voting Manipulation: A Game-Theoretic Perspective
Yoram Bachrach, Edith Elkind, Piotr Faliszewski
Unweighted Coalitional Manipulation Under the Borda Rule Is NP-Hard
Nadja Betzler, Rolf Niedermeier, Gerhard J. Woeginger
Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games
Katrien Beuls, Sebastian Höfer
Approximately Strategy-Proof Voting
Eleanor Birrell, Rafael Pass
A General Elicitation-Free Protocol for Allocating Indivisible Goods
Sylvain Bouveret, Jérôme Lang
Group-Strategyproof Irresolute Social Choice Functions
Felix Brandt
On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions
Felix Brandt, Markus Brill, Hans Georg Seedig
Social Distance Games
Simina Brânzei, Kate Larson
Modeling the Emergence and Convergence of Norms
Logan Conrad Brooks, Wayne Iba, Sandip Sen
Verifying Normative Behaviour via Normative Mechanism Design
Nils Bulling, Mehdi Dastani
Alternating Epistemic Mu-Calculus
Nils Bulling, Wojciech Jamroga
Trust Decision-Making in Multi-Agent Systems
Chris Burnett, Timothy J. Norman, Katia Sycara
Manipulation in Group Argument Evaluation
Martin Caminada, Gabriella Pigozzi, Mikołaj Podlaszewski
Towards More Expressive Cake Cutting
Ioannis Caragiannis, John K. Lai, Ariel D. Procaccia
Efficient Mechanisms with Risky Participation
Ruggiero Cavallo
Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems
Roberto Centeno, Holger Billhardt
AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament
Meng Chang, Minghua He, Xudong Luo
A Market Clearing Solution for Social Lending
Ning Chen, Arpita Ghosh
Hypercubewise Preference Aggregation in Multi-Issue Domains
Vincent Conitzer, Jérôme Lang, Lirong Xia
Changing One's Mind: Erase or Rewind? Possibilistic Belief Revision with Fuzzy Argumentation Based on Trust
Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata
Multi-Agent Soft Constraint Aggregation via Sequential Voting
Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate
Marco De Luca, Dave Cliff
Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion
Edith Elkind, Jérôme Lang, Abdallah Saffidine
Action Selection via Learning Behavior Patterns in Multi-Robot Systems
Can Erdogan, Manuela Veloso
Assumption-Based Argumentation Dialogues
Xiuyi Fan, Francesca Toni
Binary Aggregation with Integrity Constraints
Umberto Grandi, Ulle Endriss
Manipulating Boolean Games Through Communication
John Grant, Sarit Kraus, Michael John Wooldridge, Inon Zuckerman
On the Complexity of the Core over Coalition Structures
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments
Anat Hashavit, Shaul Markovitch
A Dynamic Logic of Normative Systems
Andreas Herzig, Emiliano Lorini, Frederic Moisan, Nicolas Troquard
Considerate Equilibrium
Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking
Model Checking Knowledge in Pursuit Evasion Games
Xiaowei Huang, Patrick Maupin, Ron van der Meyden
The Complexity of Safe Manipulation under Scoring Rules
Egor Ianovski, Lan Yu, Edith Elkind, Mark C. Wilson
Comparing Variants of Strategic Ability
Wojciech Jamroga, Nils Bulling
Accelerating Best Response Calculation in Large Extensive Games
Michael Johanson, Kevin Waugh, Michael Bowling, Martin Zinkevich
A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions
Alexander Kleiner, Bernhard Nebel, Vittorio Amos Ziparo
Security Games with Multiple Attacker Resources
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr
Budgeted Social Choice: From Consensus to Personalized Decision Making
Tyler Lu, Craig Boutilier
Robust Approximation and Incremental Elicitation in Voting Protocols
Tyler Lu, Craig Boutilier
Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees
Ryan J. Luna, Kostas E. Bekris
Subsidies, Stability, and Restricted Cooperation in Coalitional Games
Reshef Meir, Jeffrey S. Rosenschein, Enrico Malizia
Using Experience to Generate New Regulations
Javier Morales, Maite López-Sánchez, Marc Esteva
Agents, Actions and Goals in Dynamic Environments
Peter Novák, Wojciech Jamroga
On the Complexity of Voting Manipulation under Randomized Tie-Breaking
Svetlana Obraztsova, Edith Elkind
Efficient Planning for Factored Infinite-Horizon DEC-POMDPs
Joni Kristian Pajarinen, Jaakko Tapani Peltonen
An Interaction-Oriented Model for Multi-Scale Simulation
Sébastien Picault, Philippe Mathieu
Minimum Search To Establish Worst-Case Guarantees in Coalition Structure Generation
Talal Rahwan, Tomasz P Michalak, Nicholas R Jennings
On Combining Decisions from Multiple Expert Imitators for Performance
Jonathan Rubin, Ian Watson
An Empirical Study of Seeding Manipulations and Their Prevention
Tyrel Russell, Peter van Beek
Rigging Tournament Brackets for Weaker Players
Isabelle Stanton, Virginia Vassilevska Williams
Learning Where You Are Going and From Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search
Nathan R. Sturtevant, Vadim Bulitko
Emergence and Stability of Social Conventions in Conflict Situations
Toshiharu Sugawara
Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization
Pingzhong Tang, Tuomas Sandholm
Generalizing Envy-Freeness Toward Group of Agents
Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo
Concise Characteristic Function Representations in Coalitional Games Based on Agent Types
Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo
Facing Openness with Socio Cognitive Trust and Categories
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Attack Semantics for Abstract Argumentation
Serena Villata, Guido Boella, Leendert van der Torre
Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance
Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte
Social Instruments for Robust Convention Emergence
Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen
Reasoning About Preferences in Intelligent Agent Systems
Simeon Visser, John Thangarajah, James Harland
Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents
Colin Richard Williams, Valentin Robu, Enrico Harm Gerding, Nicholas Robert Jennings
Online Planning for Ad Hoc Autonomous Agent Teams
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
A Maximum Likelihood Approach Towards Aggregating Partial Orders
Lirong Xia, Vincent Conitzer
An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments
Lirong Xia, David M. Pennock
Improving Resource Allocation Strategy Against Human Adversaries in Security Games
Rong Yang, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe, Richard John
Continuous Time Planning for Multiagent Teams with Temporal Constraints
Zhengyu Yin, Milind Tambe
Mechanism Design for Double Auctions with Temporal Constraints
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
Generalized Reaction Functions for Solving Complex-Task Allocation Problems
Xiaoming Zheng, Sven Koenig
Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries
Hankz Hankui Zhuo, Lei Li
Constraints, Satisfiability, and Search
Tackling the Partner Units Configuration Problem
Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
Depth-Driven Circuit-Level Stochastic Local Search for SAT
Anton Belov, Matti Järvisalo, Zbigniew Stachniak
Tractable Set Constraints
Manuel Bodirsky, Martin Hils, Alex Krimkevich
Symmetries and Lazy Clause Generation
Geoffrey Chu, Maria Garcia de la Banda, Chris Mears, Peter J. Stuckey
Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable
Michael Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances Rosamond
Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition
Marcelo Finger, Glauber De Bona
Using Payoff-Similarity to Speed Up Search
Timothy Furtak, Michael Buro
Kernels for Global Constraints
Serge Gaspers, Stefan Szeider
A Uniform Approach for Generating Proofs and Strategies for both True and False QBF Formulas
Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus
Generalizing ADOPT and BnB-ADOPT
Patricia Gutierrez, Pedro Meseguer, William Yeoh
Dynamic SAT with Decision Change Costs: Formalization and Solutions
Daisuke Hatano, Katsutoshi Hirayama
Minimization for Generalized Boolean Formulas
Edith Hemaspaandra, Henning Schnoor
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
Federico Heras, Joao Marques-Silva
Real-Time Heuristic Search with Depression Avoidance
Carlos Hernandez, Jorge A Baier
Evaluations of Hash Distributed A* in Optimal Sequence Alignment
Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe
A Hybrid Recursive Multi-Way Number Partitioning Algorithm
Richard Earl Korf
Constraint Programming on Infinite Data Streams
A. Lallouet, Y. C. Law, J. H. M. Lee, C. F. K. Siu
Minimum Satisfiability and Its Applications
Chu-Min Li, Zhu Zhu, Felip Manya, Laurent Simon
Large Hinge Width on Sparse Random Hypergraphs
Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu
Real-Time Opponent Modelling in Trick-Taking Card Games
Jeffrey Richard Long, Michael Buro
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints
Peter Nightingale, Ian Philip Gent, Chris Jefferson, Ian Miguel
The Multi-Inter-Distance Constraint
Pierre Ouellet, Claude-Guy Quimper
Finite-Length Markov Processes with Constraints
Francois Pachet, Pierre Roy, Gabriele Barbieri
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
Nested Rollout Policy Adaptation for Monte Carlo Tree Search
Christopher D. Rosin
Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search
Baba Satomi, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo
The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding
Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner
Complete Algorithms for Cooperative Pathfinding Problems
Trevor Scott Standley, Richard Korf
Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates
Jordan Tyler Thayer, Wheeler Ruml
Rational Deployment of CSP Heuristics
David Tolpin, Solomon Eyal Shimony
Symmetry Breaking Via LexLeader Feasibility Checkers
Justin Yip, Pascal Van Hentenryck
Heuristic Algorithms for Balanced Multi-Way Number Partitioning
Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang
Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems
Zhaoyi Zhang, Songshan Guo, Wenbin Zhu, Wee-Chong Oon, Andrew Lim
Knowledge Representation, Reasoning, and Logic
What Is an Ideal Logic for Reasoning with Inconsistency?
Ofer Arieli, Arnon Avron, Anna Zamansky
Walking the Complexity Lines for Generalized Guarded Existential Rules
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Query Reasoning on Trees with Types, Interleaving, and Counting
Everardo Barcenas, Pierre Geneves, Nabil Layaida, Alan Schmitt
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription
Michael Bartholomew, Joohyung Lee, Yunsong Meng
A Theory of Meta-Diagnosis: Reasoning About Diagnostic Systems
Nuno Belard, Yannick Pencolé, Michel Combacau
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols
Vaishak Belle, Gerhard Lakemeyer
Interval-Based Possibilistic Logic
Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit
RCC8 Is Polynomial on Networks of Bounded Treewidth
Manuel Bodirsky, Stefan Wölfl
On the Complexity of EL with Defeasible Inclusions
Piero A. Bonatti, Marco Faella, Luigi Sauro
Description Logics over Lattices with Multi-valued Ontologies
Stefan Borgwardt, Rafael Peñaloza
Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete
Félix Bou, Marco Cerami, Francesc Esteva
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs
Gerd Brewka, Paul Edward Dunne, Stefan Woltran
Managed Multi-Context Systems
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
Modeling Attempt and Action Failure in Probabilistic Stit Logic
Jan Broersen
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics
Diego Calvanese, Domenico Carbotta, Magdalena Ortiz
Containment of Regular Path Queries under Description Logic Constraints
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Defeasible Inheritance-Based Description Logics
Umberto Straccia, Giovanni Casini
SDD: A New Canonical Representation of Propositional Knowledge Bases
Adnan Darwiche
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals
Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque
Revising by an Inconsistent Set of Formulas
James Delgrande
Revising Horn Theories
James P. Delgrande, Pavlos Peppas
Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Parametric Properties of Ideal Semantics
Wolfgang Dvorak, Paul Edward Dunne, Stefan Woltran
Tangled Modal Logic for Spatial Reasoning
David Fernández Duque
Backdoors to Tractable Answer-Set Programming
Johannes Klaus Fichte, Stefan Szeider
Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World
Guido Fiorino
Fixpoints in Temporal Description Logics
Enrico Franconi, David Toman
Succinctness of Epistemic Languages
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld Kooi
Repairing Incorrect Knowledge with Model Formulation and Metareasoning
Scott Friedman, Kenneth Forbus
Reasoning About Typicality in Low Complexity DLs: the Logics EL⊥Tmin and DL-LitecTmin
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, GianLuca Pozzato
Belief Management for High-Level Robot Programs
Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein
Multidimensional Mereotopology with Betweenness
Torsten Hahmann, Michael Gruninger
Generalising the Interaction Rules in Probabilistic Logic
Arjen Hommersom, Peter J. F. Lucas
Generalized Planning: Synthesizing Plans that Work for Multiple Environments
Yuxiao Hu, Giuseppe De Giacomo
Logic Programming for Boolean Networks
Katsumi Inoue
Discrete-Time Temporal Reasoning with Horn DLRs
Peter Jonsson, Tomas Lööw
A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets
Gabriele Kern-Isberner, Patrick Kruempelmann
A Logic for Causal Inference in Time Series with Discrete and Continuous Variables
Samantha Kleinberg
Belief Base Rationalization for Propositional Merging
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
Markus Krötzsch, Sebastian Rudolph
Context-Sensitive Diagnosis of Discrete-Event Systems
Gianfranco Lamperti, Marina Zanella
On the Progression of Knowledge in the Situation Calculus
Yongmei Liu, Ximing Wen
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
Carsten Lutz, Robert Piro, Frank Wolter
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
Carsten Lutz, Frank Wolter
Existential Closures for Knowledge Compilation
Pierre Marquis
Lost in Translation: Language Independence in Propositional Logic — Application to Belief Revision and Belief Merging
Pierre Marquis, Nicolas Schwind
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs
Yoshihiro Maruyama
Causal Learnability
Loizos Michael
Revisiting Preferences and Argumentation
Sanjay Modgil, Henry Prakken
Reasoning-Supported Interactive Revision of Knowledge Bases
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Augmenting Tractable Fragments of Abstract Argumentation
Sebastian Ordyniak, Stefan Szeider
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
An Approach to Minimal Belief Via Objective Belief
David Pearce, Levan Uridia
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases
Jeffrey Pound, David Toman, Grant Weddell, Jiewen Wu
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies
Riccardo Rosati
Dishonest Reasoning by Abduction
Chiaki Sakama
A Logical Formulation for Negotiation Among Dishonest Agents
Chiaki Sakama, Son Cao Tran, Enrico Pontelli
Description Logics and Fuzzy Probability
Lutz Schröder, Dirk Pattinson
Well-Supported Semantics for Description Logic Programs
Yi-Dong Shen
Computing Minimum-Cardinality Diagnoses by Model Relaxation
Sajjad Ahmed Siddiqi
Consequence-Based Reasoning beyond Horn Ontologies
František Simančík, Yevgeny Kazakov, Ian Horrocks
Beth Definability in Expressive Description Logics
Balder ten Cate, Enrico Franconi, İnanç Seylan
The General Game Playing Description Language Is Universal
Michael Thielscher
Relating Carneades with Abstract Argumentation
Bas Martijn van Gijzel, Henry Prakken
On Qualitative Route Descriptions: Representation and Computational Complexity
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
Translating First-Order Theories into Logic Programs
Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
Transitively Relational Partial Meet Horn Contraction
Zhiqiang Zhuang, Maurice Pagnucco
Machine Learning
Discerning Linkage-Based Algorithms Among Hierarchical Clustering Methods
Margareta Ackerman, Shai Ben-David
A Competitive Strategy for Function Approximation in Q-Learning
Alejandro Gabriel Agostini, Enric Celaya
Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter
Babak Ahmadi, Kristian Kersting, Scott Sanner
An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics
Saeed Amizadeh, Shuguang Wang, Milos Hauskrecht
Semi-Supervised Learning from a Translation Model Between Data Distributions
Henry Anaya-Sánchez, José Martínez-Sotoca, Adolfo Martínez-Usó
A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic
David Andrzejewski, Xiaojin Zhu, Mark Craven, Benjamin Recht
Improving Performance of Topic Models by Variable Grouping
Evgeniy Bart
Learning a Distance Metric by Empirical Loss Minimization
Wei Bian, Dacheng Tao
A Hidden Markov Model Variant for Sequence Classification
Sam Blasiak, Huzefa Rangwala
Approximation-Guided Evolutionary Multi-Objective Optimization
Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner
Distance Metric Learning under Covariate Shift
Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang
Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application
Luiz A. Celiberto Jr., Jackson P. Matsuura, Ramon Lopez de Mantaras, Reinaldo A. C. Bianchi
Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks
Jeffrey Chan, Samantha Lam, Conor Hayes
Concept Labeling: Building Text Classifiers with Minimal Supervision
Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D Lawrence
Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen
Flexible, High Performance Convolutional Neural Networks for Image Classification
Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber
Automatic State Abstraction from Demonstration
Luis Carlos Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz
Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates
Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain
Learning Decision Rules from Data Streams
João Gama, Petr Kosina
Constituent Grammatical Evolution
Loukas Georgiou, William J. Teahan
Continuous Correlated Beta Processes
Robby Goetschalckx, Pascal Poupart, Jesse Hoey
A Fast Dual Projected Newton Method for L1-Regularized Least Squares
Pinghua Gong, Changshui Zhang
Kernel-Based Selective Ensemble Learning for Streams of Trees
Valerio Grossi, Alessandro Sperduti
On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF
Quanquan Gu, Chris Ding, Jiawei Han
Joint Feature Selection and Subspace Learning
Quanquan Gu, Zhenhui Li, Jiawei Han
Multi-Label Classification Using Conditional Dependency Networks
Yuhong Guo, Suicheng Gu
Extracting Temporal Patterns from Interval-Based Sequences
Thomas Guyet, René Quiniou
Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph
Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang
Gaussianity Measures for Detecting the Direction of Causal Time Series
José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez
Feature Selection Via Joint Embedding Learning and Sparse Regression
Chenping Hou, Feiping Nie, Dongyun Yi, Yi Wu
Heuristic Rule-Based Regression Via Dynamic Reduction to Classification
Frederik Janssen, Johannes Fürnkranz
Adaptation of a Mixture of Multivariate Bernoulli Distributions
Ankur Kamthe, Miguel Angel Carreira-Perpinan, Alberto E. Cerpa
Revisiting Numerical Pattern Mining with Formal Concept Analysis
Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli
Activity Recognition with Finite State Machines
Wesley Kerr, Anh Tran, Paul Cohen
Incremental Slow Feature Analysis
Varun Raj Kompella, Matthew Luciw, Juergen Schmidhuber
Learning Hash Functions for Cross-View Similarity Search
Shaishav Kumar, Raghavendra Udupa
Modular Community Detection in Networks
Wenye Li, Dale Schuurmans
Probit Classifiers with a Generalized Gaussian Scale Mixture Prior
Guoqing Liu, Jianxin Wu, Suiping Zhou
Locality-Constrained Concept Factorization
Haifeng Liu, Zheng Yang, Zhaohui Wu
Cluster Indicator Decomposition for Efficient Matrix Factorization
Dijun Luo, Chris Ding, Heng Huang
Ball Ranking Machines for Content-Based Multimedia Retrieval
Dijun Luo, Heng Huang
Combining Supervised and Unsupervised Models Via Unconstrained Probabilistic Embedding
Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen
Agent-Oriented Incremental Team and Activity Recognition
Daniele Masato, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara
Multi-Kernel Gaussian Processes
Arman Melkumyan, Fabio Ramos
Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach
Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude Shavlik
Positive Unlabeled Learning for Time Series Classification
Minh Nhut Nguyen, Xiao-Li Li, See-Kiong Ng
Distribution-Aware Online Classifiers
Tam T. Nguyen, Kuiyu Chang, Cheung Siu Hui
Robust Principal Component Analysis with Non-Greedy ℓ1-Norm Maximization
Feiping Nie, Heng Huang, Chris Ding, Dijun Luo, Hua Wang
Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems
Tatdow Pansombut, William Hendrix, Zekai J. Gao, Brent E. Harrison, Nagiza F. Samatova
Strategy Learning for Autonomous Agents in Smart Grid Markets
Prashant P. Reddy, Manuela M. Veloso
Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems
Mark B. Ring, Tom Schaul
Domain Adaptation with Ensemble of Feature Groups
Rajhans Yih Samdani, Wen-tau Yih
Discovering Deformable Motifs in Continuous Time Series Data
Suchi Saria, Andrew Duchi, Daphne Koller
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling
Taisuke Sato
Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction
Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Frederick Semazzi, Alok Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova
Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders
Hossam Sharara, Lise Getoor, Myra Norton
Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison and a Fast Algorithm
Kilho Shin, Danny Fernandes, Seiya Miyazaki
Active Online Classification Via Information Maximization
Noam Slonim, Elad Yom-Tov, Koby Crammer
Angular Decomposition
Dengdi Sun, Chris H.Q. Ding, Bin Luo, Jin Tang
Fast Anomaly Detection for Streaming Data
Swee Chuan Tan, Kai Ming Ting, Tony Fei Liu
Utility-Based Fraud Detection
Luis Torgo, Elsa Lopes
On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars
Kewei Tu, Vasant Honavar
Learning Driving Behavior by Timed Syntactic Pattern Recognition
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
Bi-Weighting Domain Adaptation for Cross-Language Text Classification
Chang Wan, Rong Pan, Jiefei Li
Heterogeneous Domain Adaptation using Manifold Alignment
Chang Wang, Sridhar Mahadevan
Jointly Learning Data-Dependent Label and Locality-Preserving Projections
Chang Wang, Sridhar Mahadevan
Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering
Hua Wang, Feiping Nie, Heng Huang, Fillia Makedon
Local and Structural Consistency for Multi-Manifold Clustering
Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou
Bayesian Policy Search with Policy Priors
David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie P. Kaelbling, Joshua B. Tenenbaum
Learning to Rank Under Multiple Annotators
Ou Wu, Weiming Hu, Jun Gao
Similarity-Based Approach for Positive and Unlabelled Learning
Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao, Chengqi Zhang, Zhifeng Hao
Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification
Eleftherios Spyromitros-Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis Vlahavas
L2, 1-Norm Regularized Discriminative Feature Selection for Unsupervised
Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou
Matrix Co-Factorization on Compressed Sensing
Seungjin Choi, Jiho Yoo
Diversity Regularized Machine
Yang Yu, Yu-Feng Li, Zhi-Hua Zhou
LIFT: Multi-Label Learning with Label-Specific Features
Min-Ling Zhang
Multi-Kernel Multi-Label Learning with Max-Margin Concept Network
Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu
Pattern Field Classification with Style Normalized Transformation
Xu-Yao Zhang, Kaizhu Huang, Cheng-Lin Liu
Multidisciplinary Topics And Applications
Finding "Unexplained" Activities in Video
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V.S. Subrahmanian
Explaining Genetic Knock-Out Effects Using Cost-Based Abduction
Emad Abdel-Thalooth Andrews, Anthony Bonner
Just an Artifact: Why Machines are Perceived as Moral Agents
Joanna J. Bryson, Philip P. Kime
A Hierarchical Architecture for Adaptive Brain-Computer Interfacing
Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning
H. Leo H. de Penning, Artur S. d'Avila Garcez, Luis C. Lamb, John-Jules C. Meyer
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle
Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor Veres, Miles Pebody
OCS-14: You Can Get Occluded in Fourteen Ways
Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh
Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations
Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou, Weiwu Hu, Zhiwei Xu
Visual Task Inference Using Hidden Markov Models
Amin Haji Abolhassani, James J. Clark
The Role of Intention Recognition in the Evolution of Cooperative Behavior
The Anh Han, Luis Moniz Pereira, Francisco C. Santos
Multi-Select Faceted Navigation Based on Minimum Description Length Principle
Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen
Modeling Situation Awareness in Human-Like Agents Using Mental Models
Mark Hoogendoorn, Rianne Maaike van Lambalgen, Jan Treur
Generalized Latent Factor Models for Social Network Analysis
Wu-Jun Li, Dit-Yan Yeung, Zhihua Zhang
Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps
Qiang Lou, Zoran Obradovic
On the Role of Domain Knowledge in Analogy-Based Story Generation
Santiago Ontanon, Jichen Zhu
Using Multiple Models to Understand Data
Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan
Feature Learning for Activity Recognition in Ubiquitous Computing
Thomas Ploetz, Nils Y. Hammerla, Patrick L. Olivier
A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns
Jan Treur
A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions
Jan Treur
Active Graph Reachability Reduction for Network Security and Software Engineering
Alice X. Zheng, John Dunagan, Ashish Kapoor
Natural-Language Processing
Learning Cause Identifiers from Annotator Rationales
Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Rahman Khan
Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images
Shane Bergsma, Benjamin Van Durme
Semantic Relationship Discovery with Wikipedia Structure
Fan Bu, Yu Hao, Xiaoyan Zhu
Short Text Classification Improved by Learning Multi-Granularity Topics
Mengen Chen, Xiaoming Jin, Dou Shen
Online Latent Structure Training for Language Acquisition
Michael James Connor, Cynthia Fisher, Dan Roth
Predicting Globally-Coherent Temporal Structures from Texts Via Endpoint Inference and Graph Decomposition
Pascal Denis, Philippe Muller
Learning from Natural Instructions
Dan Goldwasser, Dan Roth
Automatic Discovery of Fuzzy Synsets from Dictionary Definitions
Hugo Gonçalo Oliveira, Paulo Gomes
Unsupervised Modeling of Dialog Acts in Asynchronous Conversations
Shafiq Rayhan Joty, Giuseppe Carenini, Chin-Yew Lin
Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information
Fang Kong, Guodong Zhou
Incorporating Reviewer and Product Information for Review Rating Prediction
Fangtao Li, Nathan Nan Liu, Hongwei Jin, Kai Zhao, Qiang Yang, Xiaoyan Zhu
Semi-Supervised Learning for Imbalanced Sentiment Classification
Shoushan Li, Zhongqing Wang, Guodong Zhou, Sophia Yat Mei Lee
Collective Semantic Role Labeling for Tweets with Clustering
Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong
SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately
Chi-kiu Lo, Dekai Wu
Constraint Optimization Approach to Context Based Word Selection
Jun Matsuno, Toru Ishida
An Approach to Answer Selection in Question-Answering Based on Semantic Relations
Ana Cristina Mendes, Luísa Coheur
Learning for Deep Language Understanding
Smaranda Muresan
Improving Topic Evaluation Using Conceptual Knowledge
Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu
A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch
Roberto Navigli, Paola Velardi, Stefano Faralli
Sample Efficient On-Line Learning of Optimal Dialogue Policies with Kalman Temporal Differences
Olivier Pietquin, Matthieu Geist, Senthilkumar Chandramohan
Ensemble-Based Coreference Resolution
Altaf Rahman, Vincent Ng
Unsupervised Lexicon Acquisition for HPSG-Based Relation Extraction
Benjamin Rozenfeld, Ronen Feldman
Interfacing Virtual Agents With Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models
Ulli Waltinger, Alexa Breuing, Ipke Wachsmuth
Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context
Li Zhang
Entity Linking with Effective Acronym Expansion, Instance Selection and Topic Modeling
Wei Zhang, Yan-Chuan Sim, Jian Su, Chew-Lim Tan
Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR
Yuejie Zhang, Lei Cen, Cheng Jin, Xiangyang Xue, Jianping Fan
Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing
Yuejie Zhang, Lei Cen, Wei Wu, Cheng Jin, Xiangyang Xue
Planning and Scheduling
DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes
Jennifer L. Barry, Leslie Pack Kaelbling, Tomas Lozano-Perez
Planning Under Partial Observability by Classical Replanning: Theory and Experiments
Blai Bonet, Hector Geffner
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation
Stefano Ermon, Jon Conrad, Carla Gomes, Bart Selman
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems
Jicheng Fu, Vincent Ng, Farokh Bastani, I-Ling Yen
On the Decidability of HTN Planning with Task Insertion
Thomas Geier, Pascal Bercher
Transfer Learning for Activity Recognition via Sensor Mapping
Derek Hao Hu, Qiang Yang
Point-Based Value Iteration for Constrained POMDPs
Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart
Monitoring the Execution of Partial-Order Plans via Regression
Christian Muise, Sheila A. McIlraith, J. Christopher Beck
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning
Raz Nissim, Joerg Hoffmann, Malte Helmert
Iterative Flattening Search for the Flexible Job Shop Scheduling Problem
Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling
Dario Pacino, Pascal Van Hentenryck
Computing Infinite Plans for LTL Goals Using a Classical Planner
Fabio Patrizi, Nir Lipoveztky, Giuseppe De Giacomo, Hector Geffner
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent
Miquel Ramírez, Hector Geffner
Planning with SAT, Admissible Heuristics and A*
Jussi Rintanen
Replanning in Domains with Partial Information and Sensing Actions
Guy Shani, Ronen Brafman
Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion
Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato
On the Effectiveness of CNF and DNF Representations in Contingent Planning
Son Thanh To, Enrico Pontelli, Tran Cao Son
Bounded Intention Planning
Jason Wolfe, Stuart Russell
Probabilistic Goal Markov Decision Processes
Huan Xu, Shie Mannor
Robotics and Vision
Capturing an Evader in a Polygonal Environment with Obstacles
Deepak Bhadauria, Volkan Isler
Aesthetic Guideline Driven Photography by Robots
Raghudeep Gadde, Kamalakar Karlapalem
Accommodating Human Variability in Human-Robot Teams through Theory of Mind
Laura M. Hiatt, Anthony M. Harrison, J. Gregory Trafton
Robotic Object Detection: Learning to Improve the Classifiers using Sparse Graphs for Path Planning
Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen
Conics With A Common Axis of Symmetry: Properties and Applications to Camera Calibration
Zijian Zhao
User-Dependent Aspect Model for Collaborative Activity Recognition
Vincent W. Zheng, Qiang Yang
Uncertainty in AI
Lifted Relational Kalman Filtering
Jaesik Choi, Abner Guzman-Rivera, Eyal Amir
New Complexity Results for MAP in Bayesian Networks
Cassio Polpo de Campos
Inference with Multinomial Data: Why to Weaken the Prior Strength
Cassio Polpo de Campos, Alessio Benavoli
Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo
Haris Dindo, Daniele Zambuto, Giovanni Pezzulo
Resolute Choice in Sequential Decision Problems with Multiple Priors
Hélène Fargier, Gildas Jeantet, Olivier Spanjaard
Pairwise Decomposition for Combinatorial Optimization in Graphical Models
Aurélie Favier, Simon de Givry, Andrès Legarra, Thomas Schiex
Randomized Sensing in Adversarial Environments
Andreas Krause, Alex Roper, Daniel Golovin
Scalable Multiagent Planning Using Probabilistic Inference
Akshat Kumar, Shlomo Zilberstein, Marc Toussaint
A Trust Prediction Approach Capturing Agents' Dynamic Behavior
Xin Liu, Anwitaman Datta
Log-Linear Description Logics
Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt
Eliciting Additive Reward Functions for Markov Decision Processes
Kevin Regan, Craig Boutilier
Robust Online Optimization of Reward-Uncertain MDPs
Kevin Regan, Craig Boutilier
Finding (α, ϑ)-Solutions Via Sampled SCSPs
Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven Prestwich
Lifted Probabilistic Inference by First-Order Knowledge Compilation
Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt
Learning Optimal Bayesian Networks Using A* Search
Changhe Yuan, Brandon Malone, Xiaojian Wu
Bayesian Chain Classifiers for Multidimensional Classification
Julio Cesar Zaragoza, Enrique Sucar, Eduardo Morales, Concha Bielza, Pedro Larrañaga
Web and Knowledge-Based Information Systems
CCR — A Content-Collaborative Reciprocal Recommender for Online Dating
Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Pizzato, Judy Kay, Tomasz Rej
Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka
Leveraging Unlabeled Data to Scale Blocking for Record Linkage
Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin, Yong Yu
A Convex Formulation of Modularity Maximization for Community Detection
Yun Kwan Chan, Dit-Yan Yeung
What to Ask to an Incomplete Semantic Web Reasoner?
Bernardo Cuenca Grau, Giorgos Stoilos
The Modular Structure of an Ontology: Atomic Decomposition
Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider
Fast Algorithm for Affinity Propagation
Yasuhiro Fujiwara, Go Irie, Tomoe Kitahara
Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles
Aaron Gerow, Mark T Keane
Relevance Feedback between Web Search and the Semantic Web
Harry R. Halpin, Victor Lavrenko
Finding the Hidden Gems: Recommending Untagged Music
Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell
Fashion Coordinates Recommender System Using Photographs from Fashion Magazines
Tomoharu Iwata, Shinji Watanabe, Hiroshi Sawada
Mining Longitudinal Network for Predicting Company Value
Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka
Context Sensitive Topic Models for Author Influence in Document Networks
Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles
Multi-Perspective Linking of News Articles within a Repository
Arpit Khurdiya, Lipika Dey, Nidhi Raj, Sk. Mirajul Haque
Social Abstract Argumentation
João Leite, João Martins
Cross-Domain Collaborative Filtering over Time
Bin Li, Xingquan Zhu, Ruijiang Li, Chengqi Zhang, Xiangyang Xue, Xindong Wu
Minimally Complete Recommendations
David McSherry
User Similarity from Linked Taxonomies: Subjective Assessments of Items
Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama, Ko Fujimura
LIMES — A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data
Axel-Cyrille Ngonga Ngomo, Sören Auer
Transfer Learning to Predict Missing Ratings Via Heterogeneous User Feedbacks
Weike Pan, Nathan N. Liu, Evan W. Xiang, Qiang Yang
Making Better Informed Trust Decisions with Generalized Fact-Finding
Jeff Pasternack, Dan Roth
Short Text Conceptualization Using a Probabilistic Knowledgebase
Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen
A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogosphere
Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li
Matching Large Ontologies Based on Reduction Anchors
Peng Wang, Yuming Zhou, Baowen Xu
Line Orthogonality in Adjacency Eigenspace with Application to Community Partition
Leting Wu, Xiaowei Ying, Xintao Wu, Zhi-Hua Zhou
Source-Selection-Free Transfer Learning
Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang
Predicting Epidemic Tendency through Search Behavior Analysis
Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru
Mining User Dwell Time for Personalized Web Search Re-Ranking
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau
Efficient Searching Top-k Semantic Similar Words
Zhenglu Yang, Masaru Kitsuregawa
Recommender Systems from "Words of Few Mouths"
Richong Zhang, Thomas Tran, Yongyi Mao
Special Track on Integrated and Embedded AI
Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments
Alejandro Gabriel Agostini, Carme Torras, Florentin Wörgötter
Plan Recognition in Virtual Laboratories
Ofra Amir, Ya'akov (Kobi) Gal
A Comprehensive Approach to On-Board Autonomy Verification and Validation
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
Non-Linear Monte-Carlo Search in Civilization II
S.R.K. Branavan, David Silver, Regina Barzilay
Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach
Huanhuan Chen, Anthony G. Cohn
Enhancing Search Results with Semantic Annotation Using Augmented Browsing
Hong-Jie Dai, Wei-Chi Tsai, Richard Tzong-Han Tsai, Wen-Lian Hsu
Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins
Bao Tu Ho, Chi Hieu Dam, Ayumu Sugiyama
A Natural Language Question Answering System as a Participant in Human Q&A Portals
Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer
Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes
Martin Field, Stephanie Valentine, Julie Linsey, Tracy Hammond
Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour
Marc Hanheide, Charles Gretton, Richard W Dearden, Nick A Hawes, Jeremy L Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender
Integrated Learning for Goal-Driven Autonomy
Ulit Jaidee, Hector Munoz-Avila, David W. Aha
Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search
Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao
A New Search Engine Integrating Hierarchical Browsing and Keyword Search
Da Kuang, Xiao Li, Charles X. Ling
Resource-Bounded Crowd-Sourcing of Commonsense Knowledge
Yen-Ling Kuo, Jane Yung-jen Hsu
A Real-Time Opponent Modeling System for Rush Football
Kennard Laviers, Gita Sukthankar
Coordinating Logistics Operations with Privacy Guarantees
Thomas Léauté, Boi Faltings
Learning to Identify Review Spam
Fangtao Huang Li, Minlie Huang, Yi Yang, Xiaoyan Zhu
A System for Providing Differentiated QoS in Retail Banking
Sameep Mehta, Girish Chafle, Gyana Parija, Vikas Kedia
Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining
Sildomar Takahashi Monteiro, Joop van de Ven, Fabio Ramos, Peter Hatherly
Interest Prediction on Multinomial, Time-Evolving Social Graph
Nozomi Nori, Danushka Bollegala, Mitsuru Ishizuka
An Agent Architecture for Prognostic Reasoning Assistance
Jean Oh, Felipe Meneguzzi, Katia Sycara, Timothy J Norman
Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling and Recommendations Based on Human Computer Interaction and Data Mining
Ismael Pascual-Nieto, Olga C. Santos, Diana Perez-Marin, Jesus G. Boticario
Integrating Learning into a BDI Agent for Environments with Changing Dynamics
Dhirendra Singh, Sebastian Sardina, Lin Padgham, Geoff James
Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems
Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla Gomes, Yrjo Grohn
Kinship Verification Through Transfer Learning
Siyu Xia, Ming Shao, Yun Fu
Cross-People Mobile-Phone Based Activity Recognition
Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu
CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method
Yabin Zheng, Chen Li, Maosong Sun
Best Paper Track
A Geometric View of Conjugate Priors
Arvind Agarwal, Hal Daume III
Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage
Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian
Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width
Eli Ben-Sasson, Jan Johannsen
Community Detection in Social Networks Through Community Formation Games
Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang
An Algorithm for Adapting Cases Represented in ALC
Julien Cojan, Jean Lieber
Exploring Protein Fragment Assembly Using CLP
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
Translation-Based Constraint Answer Set Solving
Christian Drescher, Toby Walsh
Incentive Engineering for Boolean Games
Ulle Endriss, Sarit Kraus, Jerome Lang, Michael John Wooldridge
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems
Stefano Ermon, Carla Gomes, Bart Selman
picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices
Andrew Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita
Automatic Construction of Efficient Multiple Battery Usage Policies
Maria Fox, Derek Long, Daniele Magazzeni
Finite Model Computation via Answer Set Programming
Martin Gebser, Orkunt Sabuncu, Torsten Schaub
Measuring the Good and the Bad in Inconsistent Information
John Grant, Anthony Hunter
A Correctness Result for Reasoning about One-Dimensional Planning Problems
Yuxiao Hu, Hector Levesque
A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks
Mohsen Jamali, Martin Ester
Reinforcement Learning to Adjust Robot Movements to New Situations
Jens Kober, Erhan Oztop, Jan Peters
The Combined Approach to Ontology-Based Data Access
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
Reasoning and Proofing Services for Semantic Web Agents
Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades
Efficient Rule-Based Inferencing for OWL EL
Markus Krötzsch
Flexible Tree Matching
Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer
Enhancing Case Adaptation with Introspective Reasoning and Web Mining
David Leake, Jay Powell
Recommender Systems: Missing Data and Statistical Model Estimation
Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney
Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms
Dimitrios Mavroeidis
Ties Matter: Complexity of Voting Manipulation Revisited
Svetlana Obraztsova, Edith Elkind, Noam Hazon
An On-Line Algorithm for Semantic Forgetting
Heather Stephanie Packer, Nicholas Gibbins, Nicholas R Jennings
GUARDS — Innovative Application of Game Theory for National Airport Security
James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald
Norm Compliance of Rule-Based Cognitive Agents
Antonino Rotolo
Theoretical Justification of Popular Link Prediction Heuristics
Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore
Evaluation of Group Profiling Strategies
Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan
Connecting the Dots Between News Articles
Dafna Shahaf, Carlos Guestrin
Learning Linear and Kernel Predictors with the 0-1 Loss Function
Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan
Adaptive Data Compression for Robot Perception
Mike Smith, Ingmar Posner, Paul M Newman
Active Exploration for Robust Object Detection
Javier Velez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy
A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks
Shenghui Wang, Paul Groth
Wsabie: Scaling Up to Large Vocabulary Image Annotation
Jason Weston, Samy Bengio, Nicolas Usunier
Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization
Koji Yatani, Michael Novati, Andrew Trusty, Khai Truong
Large Linear Classification When Data Cannot Fit in Memory
Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-Jen Lin
Doctoral Consortium
Solving the Multiagent Selection and Scheduling Problem
James Calvin Boerkoel Jr.
Decision Support through Argumentation-Based Practical Reasoning
Federico Cerutti
Behaviour Recognition in Smart Homes
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen
Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments
Jnaneshwar Das
Control of Robotic Systems for Safe Interaction with Human Operators
Hao Ding
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides
Marcio Dorn, Luciana Salete Buriol, Luis da Cunha Lamb
An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations
Sergio Esparcia, Estefania Argente, Vicente Botti
Towards Social Problem-Solving with Human Subjects
Daniel Scain Farenzena, Luis da Cunha Lamb, Ricardo Matsumura de Araújo
Towards Spatial Methods for Socially Assistive Robotics: Validation with Children with Autism Spectrum Disorders
David Feil-Seifer
Regret Minimization in Multiplayer Extensive Games
Richard Geoffrey Gibson, Duane Szafron
Combinatorial Aggregation
Umberto Grandi
Combining Spatial and Temporal Aspects of Prediction Problems to Improve Prediction Performance
William Groves
A Decision-Theoretic Academic Advisor
Joshua T. Guerin
Belief Revision on Computation Tree Logic
Paulo T. Guerra, Renata Wassermann
Distributed Constraint Optimization Problems Related with Soft Arc Consistency
Patricia Gutierrez, Pedro Meseguer
A Trust and Reputation Model for Supply Chain Mangement
Yasaman Haghpanah
Graph Pruning and Symmetry Breaking On Grid Maps
Daniel Damir Harabor
Towards Scalable MDP Algorithms
Andrey Kolobov
Talking about Trust in Heterogeneous Multi-Agent Systems
Andrew Koster, Marco Schorlemmer, Jordi Sabater-Mir
An Analysis of Multiobjective Search Algorithms and Heuristics
Enrique Machuca, Lawrence Mandow
On Temporal Regulations and Commitment Protocols
Elisa Marengo, Matteo Baldoni, Cristina Baroglio
Contributions to Personalizable Knowledge Integration
Maria Vanina Martinez
Decision Making Under Uncertainty: Social Choice and Manipulation
Nicholas Scott Mattei
RDFKB: A Semantic Web Knowledge Base
James P. McGlothlin, Latifur Khan, Bhavani Thuraisingham
Research Proposal: Cooperation among Self Interested Agents
Reshef Meir
Temporal Defeasible Argumentation in Multi-Agent Planning
Sergio Pajares Ferrando, Eva Onaindia
Human Behavior Analysis from Video Data Using Bag-of-Gestures
Víctor Ponce López, Mario Gorga López, Xavier Baró Solé, Sergio Escalera Guerrero
Multi-Agent Coordination: DCOPs and Beyond
Marc Pujol-Gonzalez
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning
Sindhu V. Raghavan
From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic Domains
Gavin Brian Rens
Agent-Based Negotiation Teams
Victor Sanchez-Anguix, Vicente Julian, Ana Garcia-Fornes
A Method for Evaluating and Standardizing Ontologies
Ali Patrice Seyed
Towards a Model-Centric Cognitive Architecture for Service Robots
Andreas Steck
Sensorimotor Models of Space and Object Geometry
Jeremy Stober
Multiagent Hierarchical Learning from Demonstration
Keith Sullivan
Heuristic Search Under Quality and Time Bounds
Jordan Tyler Thayer
On the Impact of Belief State Representation in Planning Under Uncertainty
Son Thanh To
Autonomous Object Manipulation: A Semantic-Driven Approach
Nicola Vitucci
Tractable Massively Multi-Agent Pathfinding with Solution Quality and Completeness Guarantees
Ko-Hsin Cindy Wang
Input Parameter Calibration in Forest Fire Spread Prediction: Taking the Intelligent Way
Kerstin Wendt, Ana Cortés
Transfer Learning in Spatial Reasoning Puzzles
Baylor Wetzel
Trust Mechanisms for Online Systems
Jens Witkowski
Mechanism Design for Dynamic Environments: Online Double Auctions
Dengji Zhao
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.