Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence
Edited by Craig Boutilier
Pasadena, California, USA, July 14–17, 2009. 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-09 Technical Papers and Posters
Invited Talks
Intelligent Tutoring Systems: New Challenges and Directions
Christina Conati
Machine Learning in Ecosystem Informatics and Sustainability
Thomas G. Dietterich
How Experience of the Body Shapes Language about Space
Luc L. Steels, Michael Spranger
Activity Recognition: Linking Low-Level Sensors to High-Level Intelligence
Qiang Yang
Agent-based and Multiagent Systems
Nonmanipulable Selections from a Tournament
Alon Altman, Ariel D. Procaccia, Moshe Tennenholtz
Using Reasoning Patterns to Helps Humans Solve Complex Games
Dimitrios Antos, Avi Pfeffer
UCT for Tactical Assault Planning in Real-Time Strategy Games
Radha-Krishna Balla, Alan Fern
Methodology for Designing Reasonably Expressive Mechanisms with Application to Ad Auctions
Michael Benisch, Norman Sadeh, Tuomas Sandholm
A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes
Nadja Betzler, Susanne Hemmann, Rolf Niedermeier
Algorithms and Complexity Results for Pursuit-Evasion Problems
Richard Borie, Craig Tovey, Sven Koenig
Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods
Sylvain Bouveret, Ulle Endriss, Jérôme Lang
Planning Games
Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz
Coalitional Affinity Games and the Stability Gap
Simina Branzei, Kate Larson
Simple Coalitional Games with Beliefs
Georgios Chalkiadakis, Edith Elkind, Nicholas Robert Jennings
Commitment Tracking via the Reactive Event Calculus
Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
Compiling the Votes of a Subelectorate
Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Guillaume Ravilly-Abadie
How Hard Is It to Control Sequential Elections Via the Agenda?
Vincent Conitzer, Jérôme Lang, Lirong Xia
Preference Functions That Score Rankings and Maximum Likelihood Estimation
Vincent Conitzer, Matthew Rognlie, Lirong Xia
Learning Graphical Game Models
Quang Duong, Yevgeniy Vorobeychik, Satinder Singh, Michael Wellman
Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness
Ulle Endriss, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
Multimode Control Attacks on Elections
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions
Valeria Fionda, Gianluigi Greco
Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information
Sam Ganzfried, Tuomas Sandholm
On the Complexity of Compact Coalitional Games
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
Iterated Regret Minimization: A New Solution Concept
Joseph Y. Halpern, Rafael Pass
Multi-Step Multi-Sensor Hider-Seeker Games
Erik Daniel Halvorson, Vincent Conitzer, Ronald Parr
Collaborative Multi Agent Physical Search with Probabilistic Knowledge
Noam Hazon, Yonatan Aumann, Sarit Kraus
Strengthening Schedules Through Uncertainty Analysis
Laura M. Hiatt, Terry L. Zimmerman, Stephen F. Smith, Reid Simmons
DCOPs Meet the Real World: Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks
Manish Jain, Matthew Taylor, Milind Tambe, Makoto Yokoo
Collaboration and Shared Plans in the Open World: Studies of Ridesharing
Ece Kamar, Eric Horvitz
Exchanging Reputation Information Between Communities: A Payment-Function Approach
Georgia Kastidou, Kate Larson, Robin Cohen
Event-Detecting Multi-Agent MDPs: Complexity and Constant-Factor Approximation
Akshat Kumar, Shlomo Zilberstein
A Kernel Method for Market Clearing
Sebastien Lahaie
Balancing Utility and Deal Probability for Auction-based Negotiations in Highly Nonlinear Utility Spaces
Ivan Marsa-Maestre, Miguel A. Lopez-Carmona, Juan R. Velasco, Takayuki Ito, Mark Klein, Katsuhide Fujita
Strategyproof Classification with Shared Inputs
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein
Argumentation System with Changes of an Agent's Knowledge Base
Kenichi Okuno, Kazuko Takahashi
How Pervasive Is the Myerson-Satterthwaite Impossibility?
Abraham Othman, Tuomas Sandholm
Thou Shalt Covet Thy Neighbor's Cake
Ariel D. Procaccia
Generalised Fictitious Play for a Continuum of Anonymous Players
Zinovi Rabinovich, Enrico Gerding, Maria Polukarov, Nicholas R. Jennings
A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics
Iyad Rahwan, Kate Larson, Fernando Tohmé
Coalition Structure Generation in Multi-Agent Systems With Positive and Negative Externalities
Talal Rahwan, Tomasz Michalak, Nicholas Jennings, Michael Wooldridge, Peter McBurney
Modeling Agents through Bounded Rationality Theories
Avi Rosenfeld, Sarit Kraus
Towards Con-Resistant Trust Models for Distributed Agent Systems
Amirali Salehi-Abari, Tony White
Probabilistic State Translation in Extensive Games with Large Action Sets
David Schnizlein, Michael Bowling, Duane Szafron
Investigations of Continual Computation
Dafna Shahaf, Eric Horvitz
Flexible Procurement of Services with Uncertain Durations using Redundancy
Sebastian Stein, Enrico Gerding, Alex Rogers, Kate Larson, Nicholas R. Jennings
Decentralised Coordination of Mobile Sensors Using the Max-Sum Algorithm
Ruben Stranders, Alessandro Farinelli, Alex Rogers, Nicholas R. Jennings
Dynamic Configuration of Agent Organizations
Evan A. Sultanik, Robert N. Lass, William C. Regli
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
Pingzhong Tang, Fangzhen Lin
Acquiring Agent-Based Models of Conflict from Event Data
Glenn Taylor, Michael Quist, Allen Hicken
Where Are the Really Hard Manipulation Problems? The Phase Transition in Manipulating the Veto Rule
Toby Walsh
Eliciting Honest Reputation Feedback in a Markov Setting
Jens Witkowski
Finite Local Consistency Characterizes Generalized Scoring Rules
Lirong Xia, Vincent Conitzer
A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences
Lirong Xia, Jerome Lang
Complexity of Unweighted Coalitional Manipulation Under Some Common Voting Rules
Lirong Xia, Michael Zuckerman, Ariel D. Procaccia, Vincent Conitzer, Jeffrey S. Rosenschein
Trading Off Solution Quality for Faster Computation in DCOP Search Algorithms
William Yeoh, Xiaoxun Sun, Sven Koenig
A Multi-Agent Learning Approach to Online Distributed Resource Allocation
Chongjie Zhang, Victor Lesser, Prashant Shenoy
Axiomatic Characterization of Task Oriented Negotiation
Dongmo Zhang
K-Swaps: Cooperative Negotiation for Solving Task-Allocation Problems
Xiaoming Zheng, Sven Koenig
Constraints, Satisfiability, and Search
Interruptible Algorithms for Multi-Problem Solving
Spyros Angelopoulos, Alejandro Lopez-Ortiz
Towards Industrial-Like Random SAT Instances
Carlos Ansótegui, María Luisa Bonet, Jordi Levy
On Solving Boolean Multilevel Optimization Problems
Josep Argelich, Inês Lynce, Joao Marques-Silva
Predicting Learnt Clauses Quality in Modern SAT Solvers
Gilles Audemard, Laurent Simon
Online Stochastic Optimization in the Large: Application to Kidney Exchange
Pranjal Awasthi, Tuomas Sandholm
Circuit Complexity and Decompositions of Global Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh
Decompositions of all Different, Global Cardinality and Related Constraints
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Making Bound Consistency as Effective as Arc Consistency
Christian Bessiere, Thierry Petit, Bruno Zanuttini
TBA*: Time-Bounded A*
Yngvi Björnsson, Vadim Bulitko, Nathan Sturtevant
Canadian Traveler Problem with Remote Sensing
Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony
Experiments with Massively Parallel Constraint Solving
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz
Best-First Heuristic Search for Multi-Core Machines
Ethan Burns, Seth Lemons, Rong Zhou, Wheeler Ruml
Nested Monte-Carlo Search
Tristan Cazenave
Reasoning with Lines in the Euclidean Space
Khalil Raymond Challita
Search Strategies for an Anytime Usage of the Branch and Prune Algorithm
Raphaël Chenouard, Alexandre Goldsztejn, Christophe Jermann
Monte Carlo Tree Search Techniques in the Game of Kriegspiel
Paolo Ciancarini, Gian Piero Favini
Duplicate Avoidance in Depth-First Search with Applications to Treewidth
P. Alex Dow, Richard E. Korf
Local Search: Is Brute-Force Avoidable?
Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh, Yngve Villanger
Minimum Proof Graphs and Fastest-Cut-First Search Heuristics
Timothy Furtak, Michael Buro
Control-based Clause Sharing in Parallel SAT Solving
Youssef Hamadi, Said Jabbour, Lakhdar Sais
Solving 8x8 Hex
Philip Henderson, Broderick Arneson, Ryan B Hayward
New Improvements in Optimal Rectangle Packing
Eric Huang, Richard E. Korf
SATenstein: Automatically Building Local Search SAT Solvers From Components
Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
Exploiting Decomposition on Constraint Problems with High Tree-Width
Matthew Kitching, Fahiem Bacchus
Set Branching in Constraint Optimization
Matthew Kitching, Fahiem Bacchus
Multi-Way Number Partitioning
Richard Earl Korf
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT
Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
Variety Reasoning for Multiset Constraint Propagation
Yat Chiu Law, Jimmy Ho Man Lee, May Hiu Chun Woo
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction
Jimmy H. M. Lee, Ka Lun Leung
A Soft Global Precedence Constraint
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson
A Divide-and-Conquer Approach for Solving Interval Algebra Networks
Jason Jingshi Li, Jinbo Huang, Jochen Renz
Open Contractible Global Constraints
Michael Maher
Evaluating Strategies for Running from the Cops
Carsten Moldenhauer, Nathan Reed Sturtevant
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT
Knot Pipatsrisawat, Adnan Darwiche
A Structural Approach to Reasoning with Quantified Boolean Formulas
Luca Pulina, Armando Tacchella
Russian Doll Search with Tree Decomposition
Marti Sanchez, David Allouche, Simon de Givry, Thomas Schiex
Memory-Based Heuristics for Explicit State Spaces
Nathan R. Sturtevant, Ariel Felner, Max Barrer, Jonathan Schaeffer, Neil Burch
Efficient Incremental Search for Moving Target Search
Xiaoxun Sun, William Yeoh, Sven Koenig
Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features
Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning
Matthias Westphal, Stefan Wölfl
A* Search with Inconsistent Heuristics
Zhifu Zhang, Nathan R. Sturtevant, Robert Holte, Jonathan Schaeffer, Ariel Felner
Combining Breadth-First and Depth-First Strategies in Searching for Treewidth
Rong Zhou, Eric A. Hansen
Mixing Search Strategies for Multi-Player Games
Inon Zuckerman, Ariel Felner, Sarit Kraus
Knowledge Representation, Reasoning, and Logic
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis
Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund
A Logic for Coalitions with Bounded Resources
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib
Repairing Preference-Based Argumentation Frameworks
Leila Bahia Amgoud, Srdjan Vesic
Which Semantics for Neighbourhood Semantics?
Carlos Areces, Diego Figueira
Extending Decidable Cases for Rules with Existential Variables
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat
Computational Properties of Resolution-based Grounded Semantics
Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin
An Argumentation-Based Interpreter for Golog Programs
Michelle Blom, Adrian Pearce
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes
Piero A. Bonatti, Marco Faella, Luigi Sauro
Next Steps in Propositional Horn Contraction
Richard Booth, Thomas Meyer, Ivan José Varzinczak
Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC
Stefano Borgo
Regular Path Queries in Expressive Description Logics with Nominals
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
Import-by-Query: Ontology Reasoning under Access Limitations
Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov
Diagnosing Multiple Persistent and Intermittent Faults
Johan de Kleer
A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics
Francesco Maria Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation
PhanMinh Dung, PhanMinh Thang
Decomposition of Declarative Knowledge Bases with External Functions
Thomas Eiter, Michael Fink, Thomas Krennwallner
Query Answering in Description Logics with Transitive Roles
Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
Bidirectional Answer Set Programs with Function Symbols
Thomas Eiter, Mantas Simkus
Knowledge Compilation Properties of Trees-of-BDDs, Revisited
Hélène Fargier, Pierre Marquis
FRACTAL: Efficient Fault Isolation Using Active Testing
Alexander Feldman, Gregory Provan, Arjan van Gemund
Solving Strong-Fault Diagnostic Models by Model Relaxation
Alexander Feldman, Gregory Provan, Arjan van Gemund
Plausible Repairs for Inconsistent Requirements
Alexander Felfernig, Gerhard Friedrich, Monika Schubert, Monika Mandl, Markus Mairitsch, Erich Teppan
Symmetric Splitting in the General Theory of Stable Models
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
On the Accrual of Arguments in Defeasible Logic Programming
Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs
Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
Answer-Set Programming with Bounded Treewidth
Michael Jakl, Reinhard Pichler, Stefan Woltran
Circumscriptive Event Calculus as Answer Set Programming
Tae-Won Kim, Joohyung Lee, Ravi Palla
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies
Boris Konev, Dirk Walther, Frank Wolter
Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
A Semantical Account of Progression in the Presence of Defaults
Gerhard Lakemeyer, Hector J. Levesque
The Complexity of Learning Separable Ceteris Paribus Preferences
Jérôme Lang, Jérôme Mengin
Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity
Weiming Liu, Li Sanjiang, Renz Jochen
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Yongmei Liu, Gerhard Lakemeyer
A Logic for Reasoning about Counterfactual Emotions
Emiliano Lorini, François Schwarzentruber
Labellings and Games for Extended Argumentation Frameworks
Sanjay Modgil
A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management
Bernhard Nebel, Jochen Renz
Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains
Theodore Patkos, Dimitris Plexousakis
Model-based Revision Operators for Terminologies in Description Logics
Guilin Qi, Jianfeng Du
Dialectical Abstract Argumentation: A Characterization of the Marking Criterion
Nicolas Rotstein, Martin Moguillansky, Guillermo Simari
Composition of ConGolog Programs
Sebastian Sardina, Giuseppe De Giacomo
Automated Theorem Proving for General Game Playing
Stephan Schiffel, Michael Thielscher
Nominals for Everyone
Lutz Schröder, Dirk Pattinson, Clemens Kupke
Effective Query Rewriting with Ontologies over DBoxes
Enrico Franconi, Inanç Seylan, Jos de Bruijn
Negotiation Using Logic Programming with Consistency Restoring Rules
Tran Cao Son, Chiaki Sakama
Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors
Thomas Ströder, Maurice Pagnucco
Declarative Programming of Search Problems with Built-in Arithmetic
Eugenia Ternovska, David G. Mitchell
Applications and Extensions of PTIME Description Logics with Functional Constraints
David Toman, Grant Weddell
Knowing More — from Global to Local Correspondence
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi
Efficient Inference for Expressive Comparative Preference Languages
Nic Wilson
On Combinations of Binary Qualitative Constraint Calculi
Stefan Woelfl, Matthias Westphal
Machine Learning
Exponential Family Hybrid Semi-Supervised Learning
Arvind Agarwal, Hal Daume III
Active Policy Iteration: Efficient Exploration through Active Learning for Value Function Approximation in Reinforcement Learning
Takayuki Akiyama, Hirotaka Hachiya, Masashi Sugiyama
Relational Random Forests Based on Random Relational Rules
Grant Anderson, Bernhard Pfahringer
Adaptive Cluster Ensemble Selection
Javad Azimi, Xiaoli Fern
Self-Managing Associative Memory for Dynamic Acquisition of Expertise in High-Level Domains
Jacob Beal
Angluin-Style Learning of NFA
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
Locality Preserving Nonnegative Matrix Factorization
Deng Cai, Xiaofei He, Xuanhui Wang, Hujun Bao, Jiawei Han
Selecting Informative Universum Sample for Semi-Supervised Learning
Shuo Chen, Changshui Zhang
Bayesian Extreme Components Analysis
Yutian Chen, Max Welling
Inverse Reinforcement Learning in Partially Observable Environments
Jaedeug Choi, Kee-Eung Kim
Knowledge Driven Dimension Reduction For Clustering
Ian Davidson
Search Techniques for Fourier-Based Learning
Adam Drake, Dan Ventura
Local Learning Regularized Nonnegative Matrix Factorization
Quanquan Gu, Jie Zhou
Learning Optimal Subsets with Implicit User Preferences
Yunsong Guo, Carla Gomes
Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search
Yunsong Guo, Carla Gomes
Graph Embedding with Constraints
Xiaofei He, Ming Ji, Hujun Bao
Bootstrap Voting Experts
Daniel Hewlett, Paul Cohen
Linear Dimensionality Reduction for Multi-label Classification
Shuiwang Ji, Jieping Ye
Semi-Supervised Classification on Evolutionary Data
Yangqing Jia, Shuicheng Yan, Changshui Zhang
gRegress: Extracting Features from Graph Transactions for Regression
Nikhil S. Ketkar, Lawrence B. Holder, Diane J. Cook
Local Query Mining in a Probabilistic Prolog
Angelika Kimmig, Luc De Raedt
Unsupervised Rank Aggregation with Domain-Specific Expertise
Alexandre Klementiev, Dan Roth, Kevin Small, Ivan Titov
Efficient Skill Learning Using Abstraction Selection
George Konidaris, Andrew Barto
Exponential Family Sparse Coding with Applications to Self-taught Learning
Honglak Lee, Rajat Raina, Alex Teichman, Andrew Ng
Exploiting Multi-Modal Interactions: A Unified Framework
Ming Li, Xiao-Bing Xue, Zhi-Hua Zhou
Relation Regularized Matrix Factorization
Wu-Jun Li, Dit-Yan Yeung
Boosting Constrained Mutual Subspace Method for Robust Image-set Based Object Recognition
Xi Li, Kazuhiro Fukui, Nanning Zheng
Probabilistic Models for Concurrent Chatting Activity Recognition
Chia-chun Lian, Jane Yung-jen Hsu
Learning the Optimal Neighborhood Kernel for Classification
Jun Liu, Jianhui Chen, Songcan Chen, Jieping Ye
Spectral Kernel Learning for Semi-Supervised Classification
Wei Liu, Buyue Qian, Jingyu Cui, Jianzhuang Liu
Large Margin Boltzmann Machines
Xu Miao, Rajesh P. N. Rao
Transfer Learning from Minimal Target Data by Mapping across Relational Domains
Lilyana Mihalkova, Raymond J. Mooney
Semi-Supervised Learning of Visual Classifiers from Web Images and Text
Nicholas Morsillo, Christopher Pal, Randal Nelson
Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation
Jonathan Mugan, Benjamin Kuipers
Spectral Embedded Clustering
Feiping Nie, Dong Xu, Ivor Wai-Hung Tsang, Changshui Zhang
Domain Adaptation via Transfer Component Analysis
Sinno Jialin Pan, Ivor W. Tsang, James T. Kwok, Qiang Yang
Semi-Supervised Classification using Sparse Gaussian Process Regression
Amrish Patel, S. Sundararajan, Shirish Shevade
Expanding Domain Sentiment Lexicon through Double Propagation
Guang Qiu, Bing Liu, Jiajun Bu, Chun Chen
Goal-Driven Learning in the GILA Integrated Intelligence Architecture
Jainarayan Radhakrishnan, Santiago Ontanon, Ashwin Ram
Streamed Learning: One-Pass SVMs
Piyush Rai, Hal Daume, Suresh Venkatasubramanian
Semi-Supervised Metric Learning Using Pairwise Constraints
Mahdieh Soleymani Baghshah, Saeed Bagheri Shouraki
Predictive Projections
Nathan Sprague
On the Equivalence Between Canonical Correlation Analysis and Orthonormalized Partial Least Squares
Liang Sun, Shuiwang Ji, Shipeng Yu, Jieping Ye
Latent Variable Perceptron Algorithm for Structured Classification
Xu Sun, Takuya Matsuzaki, Daisuke Okanohara, Jun'ichi Tsujii
Succinct Approximate Counting of Skewed Data
David Talbot
Maintaining Predictions Over Time Without a Model
Erik Talvitie, Satinder Singh
On Multiple Kernel Learning with Multiple Labels
Lei Tang, Jianhui Chen, Jieping Ye
Toward Unsupervised Activity Discovery Using Multi Dimensional Motif Detection in Time Series
Alireza Vahdatpour, Navid Amini, Majid Sarrafzadeh
Multiclass Probabilistic Kernel Discriminant Analysis
Zheng Zhao, Liang Sun, Shipeng Yu, Huan Liu, Jieping Ye
Manifold Alignment without Correspondence
Chang Wang, Sridhar Mahadevan
Generalized Cluster Aggregation
Fei Wang, Xin Wang, Tao Li
Preference Learning with Extreme Examples
Fei Wang, Bin Zhang, Ta-Hsin Li, Wenjun Yin, Jin Dong, Tao Li
Knowledge Transfer on Hybrid Graph
Zheng Wang, Yangqiu Song, Changshui Zhang
Early Prediction on Time Series: A Nearest Neighbor Approach
Zhengzheng Xing, Jian Pei, Philip S. Yu
Discriminative Semi-Supervised Feature Selection via Manifold Regularization
Zenglin Xu, Rong Jin, Michael R. Lyu, Irwin King
Multi-Relational Learning with Gaussian Processes
Zhao Xu, Kristian Kersting, Volker Tresp
Transfer Learning using Task-Level Features with Application to Information Retrieval
Rong Yan, Jian Zhang
Spatio-Temporal Event Detection Using Dynamic Conditional Random Fields
Jie Yin, Derek Hao Hu, Qiang Yang
Robust Distance Metric Learning with Auxiliary Knowledge
Zheng-Jun Zha, Tao Mei, Meng Wang, Zengfu Wang, Xian-Sheng Hua
Fast Active Tabu Search and its Application to Image Retrieval
Chao Zhang, Hongyu Li, Qiyong Guo, Jinyuan Jia, I-Fan Shen
M3IC: Maximum Margin Multiple Instance Clustering
Dan Zhang, Fei Wang, Luo Si, Tao Li
An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space
Daoqiang Zhang, Wanquan Liu
Smart PCA
Yi Zhang
Non-Metric Label Propagation
Yin Zhang, Zhi-Hua Zhou
Multi-Class Classifiers and Their Underlying Shared Structure
Volkan Vural, Glenn Fung, Romer Rosales, Jennifer G. Dy
Multiple Information Sources Cooperative Learning
Xingquan Zhu, Ruoming Jin
Multidisciplinary Topics and Applications
Analysis of a Winning Computational Billiards Player
Christopher Archibald, Alon Altman, Yoav Shoham
Generalized Clustergrams for Overlapping Biclusters
Liviu Badea
Semi-Supervised Regression for Evaluating Convenience Store Location
Xinxin Bai, Gang Chen, Qiming Tian, Wenjun Yin, Jin Dong
Using Entropy to Identify Shape and Text in Hand Drawn Diagrams
Akshay Bhat, Tracy Anne Hammond
Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices
David Tyler Bischel, Thomas F. Stahovich, Randall Davis, Aaron Adler, Eric J. Peterson
Improving State Evaluation, Inference, and Search in Trick-Based Card Games
Michael Buro, Jeffrey Richard Long, Timothy Furtak, Nathan Sturtevant
Suggesting Email View Filters for Triage and Search
Mark Dredze, Bill N. Schilit, Peter Norvig
Sensing and Predicting the Pulse of the City through Shared Bicycling
Jon Edward Froehlich, Joachim Neumann, Nuria Oliver
Topic Tracking Model for Analyzing Consumer Purchase Behavior
Tomoharu Iwata, Shinji Watanabe, Takeshi Yamada, Naonori Ueda
Interpreting Written How-To Instructions
Tessa Lau, Clemens Drews, Jeffrey W. Nichols
Is It Enough to Get the Behaviour Right?
Hector Levesque
Drosophila Gene Expression Pattern Annotation through Multi-Instance Multi-Label Learning
Ying-Xin Li, Shuiwang Ji, Sudhir Kumar, Jieping Ye, Zhi-Hua Zhou
Expressive Power-Based Resource Allocation for Data Centers
Benjamin Lubin, Jeffrey O. Kephart, Rajarshi Das, David C. Parkes
Efficient Online Learning and Prediction of Users' Desktop Actions
Omid Madani, Hung Bui, Eric Yeh
A Visual Approach to Sketched Symbol Recognition
Tom Y. Ouyang, Randall Davis
Towards Context Aware Emotional Intelligence in Machines: Computing Contextual Appropriateness of Affective States
Michal Ptaszynski, Pawel Dybala, Wenhan Shi, Rafal Rzepka, Kenji Araki
Representation and Synthesis of Melodic Expression
Christopher Raphael
Simultaneous Discovery of Conservation Laws and Hidden Particles With Smith Matrix Decomposition
Oliver Schulte
Learning to Follow Navigational Route Instructions
Nobuyuki Shimizu, Andrew Haas
Efficient Dominant Point Algorithms for the Multiple Longest Common Subsequence (MLCS) Problem
Qingguo Wang, Dmitry Korkin, Yi Shang
Natural Language Processing
Knowledge-Based WSD on Specific Domains: Performing Better than Generic Supervised WSD
Eneko Agirre, Oier Lopez de Lacalle, Aitor Soroa
Web-Scale N-gram Models for Lexical Disambiguation
Shane Bergsma, Dekang Lin, Randy Goebel
Explicit Versus Latent Concept Models for Cross-Language Information Retrieval
Philipp Cimiano, Antje Schultz, Sergej Sizov, Philipp Sorg, Steffen Staab
Detection of Imperative and Declarative Question-Answer Pairs in Email Conversations
Helen Kwong, Neil Yorke-Smith
Reading Between the Lines
Loizos Michael
Improving Morphology Induction by Learning Spelling Rules
Jason Naradowsky, Sharon Goldwater
Improving a Virtual Human Using a Model of Degrees of Grounding
Antonio Roque, David Traum
On the Tip of My Thought: Playing the Guillotine Game
Giovanni Semeraro, Pasquale Lops, Pierpaolo Basile, Marco de Gemmis
Introspection and Adaptable Model Integration for Dialogue-based Question Answering
Daniel Sonntag
Context-Based Approach for Pivot Translation Services
Rie Tanaka, Yohei Murakami, Toru Ishida
Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies
Ivan Titov, James Henderson, Paola Merlo, Gabriele Musillo
Computational Semantics of Noun Compounds in a Semantic Space Model
Akira Utsumi
Probabilistic Counting with Randomized Storage
Benjamin Van Durme, Ashwin Lall
Context-Sensitive Semantic Smoothing Using Semantically Relatable Sequences
Kamaljeet S. Verma, Pushpak Bhattacharyya
Graph-Based Multi-Modality Learning for Topic-Focused Multi-Document Summarization
Xiaojun Wan, Jianguo Xiao
Multiscale Analysis of Document Corpora Based on Diffusion Models
Chang Wang, Sridhar Mahadevan
Wikispeedia: An Online Game for Inferring Semantic Distances between Concepts
Robert West, Joelle Pineau, Doina Precup
Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants
Hendrik Zender, Geert-Jan M. Kruijff, Ivana Kruijff-Korbayová
On-line Evolutionary Exponential Family Mixture
Jianwen Zhang, Yangqiu Song, Gang Chen, Changshui Zhang
Word Sense Disambiguation for All Words Without Hard Labor
Zhi Zhong, Hwee Tou Ng
Planning and Scheduling
A Translation-based Approach to Contingent Planning
Alexandre Albore, Héctor Palacios, Héctor Geffner
Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way
Ronald Wayne Alford, Ugur Kuter, Dana Nau
Goal Recognition with Variable-Order Markov Models
Marcelo Gabriel Armentano, Analía A. Amandi
Solving POMDPs: RTDP-Bel Versus Point-based Algorithms
Blai Bonet, Hector Geffner
Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events
Adi Botea, Andre A. Cire
Equivalence Relations in Fully and Partially Observable Markov Decision Processes
Pablo Samuel Castro, Prakash Panangaden, Doina Precup
Completeness and Optimality Preserving Reduction for Planning
Yixin Chen, Guohui Yao
Stratified Planning
Yixin Chen, You Xu, Guohui Yao
Temporal Planning in Domains with Linear Processes
Amanda Coles, Andrew Coles, Maria Fox, Derek Long
Domain-Independent, Automatic Partitioning for Probabilistic Planning
Peng Dai, Mausam, Daniel S Weld
Topological Order Planner for POMDPs
Jilles Steeve Dibangoye, Guy Shani, Brahim Chaib-draa, Abdell-Illah Mouaddib
Optimal Symbolic Planning with Action Costs and Preferences
Stefan Edelkamp, Peter Kissmann
Activity Recognition with Intended Actions
Alfredo Gabaldon
Delaying Commitment in Plan Recognition Using Combinatory Categorial Grammars
Christopher Geib
Learning Hierarchical Task Networks for Nondeterministic Planning Domains
Chad Hogg, Ugur Kuter, Hector Munoz-Avila
Abnormal Activity Recognition based on HDP-HMM Models
Derek Hao Hu, Xian-Xing Zhang, Jie Yin, Vincent Wenchen Zheng, Qiang Yang
Structured Plans and Observation Reduction for Plans with Contexts
Wei Huang, Zhonghua Wen, Yunfei Jiang, Hong Peng
Cost-Optimal Planning with Landmarks
Erez Karpas, Carmel Domshlak
Trees of Shortest Paths Versus Steiner Trees: Understanding and Improving Delete Relaxation Heuristics
Emil Ragip Keyder, Hector Geffner
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition
Hyunyoung Kil, Wonhong Nam, Dongwon Lee
ReTrASE: Integrating Paradigms for Approximate Probabilistic Planning
Andrey Kolobov, Mausam, Daniel S. Weld
Learning Probabilistic Hierarchical Task Networks to Capture User Preferences
Nan Li, Subbarao Kambhampati, Sungwook Yoon
A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan
Roberto Micalizio
Monte-Carlo Exploration for Deterministic Planning
Hootan Nakhost, Martin Müller
Planning with Partial Preference Models
Tuan A. Nguyen, Minh B. Do, Subbarao Kambhampati, Biplav Srivastava
Plan Recognition as Planning
Miquel Ramírez, Hector Geffner
Bayesian Real-time Dynamic Programming
Scott Sanner, Robby Goetschalckx, Kurt Driessens, Guy Shani
HTN Planning with Preferences
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
A Context Driven Approach for Workflow Mining
Fusun Yaman, Tim Oates, Mark Burstein
Learning HTN Method Preconditions and Action Models from Partial Observations
Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Munoz-Avila
Robotics and Vision
Adversarial Uncertainty in Multi-Robot Patrol
Noa Agmon, Sarit Kraus, Gal A. Kaminka, Vladimir Sadov
Evaluating Description and Reference Strategies in a Cooperative Human-Robot Dialogue System
Mary Ellen Foster, Manuel Giuliani, Amy Isard, Colin Matheson, Jon Oberlander, Alois Knoll
Incremental Phi*: Incremental Any-Angle Path Planning on Grids
Alex Nash, Sven Koenig, Maxim Likhachev
Information-Lookahead Planning for AUV Mapping
Zeyn A. Saigol, Richard W. Dearden, Jeremy L. Wyatt, Bramley J. Murton
Self-Supervised Aerial Images Analysis for Extracting Parking lot Structure
Young-Woo Seo, Nathan Ratliff, Chris Urmson
Nonmyopic Adaptive Informative Path Planning for Multiple Robots
Amarjeet Singh, Andreas Krause, William J. Kaiser
Learning Kinematic Models for Articulated Objects
Jürgen Sturm, Vijay Pradeep, Cyrill Stachniss, Christian Plagemann, Kurt Konolige, Wolfram Burgard
A Computational Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interaction
Agnes Swadzba, Constanze Vorwerg, Sven Wachsmuth, Gert Rickheit
Domain-Guided Novelty Detection for Autonomous Exploration
David Ray Thompson
Tractable Multi-Agent Path Planning on Grid Maps
Ko-Hsin Cindy Wang, Adi Botea
Human Activity Encoding and Recognition Using Low-level Visual Features
Zheshen Wang, Baoxin Li
Uncertainty in AI
Markov Network based Ontology Matching
Sivan Gali Albagli, Solomon Eyal Shimony, Rachel Ben-Eliyahu-Zohary
Ceteris Paribus Preference Elicitation with Predictive Guarantees
Yannis Dimopoulos, Loizos Michael, Fani Athienitou
Fast Recommendations using GAI Models
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny
Multiobjective Optimization using GAI Models
Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny
Greedy Algorithms for Sequential Sensing Decisions
Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir
Generalized First Order Decision Diagrams for First Order Markov Decision Processes
Saket Subhash Joshi, Kristian Kersting, Roni Khardon
Lifted Aggregation in Directed First-order Probabilistic Models
Jacek Kisyński, Dawid Poole
Learning Conditional Preference Networks with Queries
Frederic Koriche, Bruno Zanuttini
A Sparse Covariance Function for Exact Gaussian Process Inference in Large Datasets
Arman Melkumyan, Fabio Tozeto Ramos
CTPPL: A Continuous Time Probabilistic Programming Language
Avi Pfeffer
Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence
Yifeng Zeng, Prashant Doshi
Testing Edges by Truncations
Ilya Shpitser, Thomas S. Richardson, James M. Robins
Variable and Value Ordering for MPE Search
Sajjad Ahmed Siddiqi, Jinbo Huang
Parameter Identification in a Class of Linear Structural Equation Models
Jin Tian
Learning a Value Analysis Tool For Agent Evaluation
Martha White, Michael Bowling
Efficient Computation of Jointree Bounds for Systematic MAP Search
Changhe Yuan, Eric A. Hansen
A Syntax-based Framework for Merging Imprecise Probabilistic Logic Programs
Anbu Yue, Weiru Liu
Speeding Up Inference in Markov Logic Networks by Preprocessing to Reduce the Size of the Resulting Grounded Network
Jude Shavlik, Sriraam Natarajan
A General Approach to Environment Design with One Agent
Haoqi Zhang, Yiling Chen, David C. Parkes
Web and Knowledge-Based Information Systems
DL-liteR in the Light of Propositional Logic for Decentralized Data Management
Nada Abdallah, Francois Goasdoue, Marie-Christine Rousset
Sketching Techniques for Collaborative Filtering
Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein
Spatial Processes for Recommender Systems
Fabian Bohnert, Daniel F. Schmidt, Ingrid Zukerman
Dynamic Selection of Ontological Alignments: A Space Reduction Mechanism
Paul Doran, Valentina Tamma, Terry R. Payne, Ignazio Palmisano
Improving Search In Social Networks by Agent Based Mining
Anil Gursel, Sandip Sen
Consequence-Driven Reasoning for Horn SHIQ Ontologies
Yevgeny Kazakov
Efficient Estimation of Influence Functions for SIS Model on Social Networks
Masahiro Kimura, Kazumi Saito, Hiroshi Motoda
Can Movies and Books Collaborate? Cross-Domain Collaborative Filtering for Sparsity Reduction
Bin Li, Qiang Yang, Xiangyang Xue
Using Web Photos for Measuring Video Frame Interestingness
Feng Liu, Yuzhen Niu, Michael Gleicher
A Content-Based Method to Enhance Tag Recommendation
Yu-Ta Lu, Shoou-I Yu, Tsung-Chieh Chang, Jane Yung-jen Hsu
Conjunctive Query Answering in the Description Logic EL using a Relational Database System
Carsten Lutz, David Toman, David Toman, Frank Wolter, Frank Wolter
Exploiting Background Knowledge to Build Reference Sets for Information Extraction
Matthew Michelson, Craig A. Knoblock
Large-Scale Taxonomy Mapping for Restructuring and Integrating Wikipedia
Simone Paolo Ponzetto, Roberto Navigli
Towards Ontology Learning from Folksonomies
Jie Tang, Ho-fung Leung, Qiong Luo, Dewei Chen, Jibin Gong
Streamlining Attacks on CAPTCHAs with a Computer Game
Jeff Yan, Su-Yang Yu
Incorporating User Behaviors in New Word Detection
Yabin Zheng, Zhiyuan Liu, Maosong Sun, Liyun Ru, Yang Zhang
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.