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