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