Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence

Barcelona, Catalonia, Spain, 16–22 July 2011

Edited by
Toby Walsh, NICTA and University of NSW

Sponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)

Published by
AAAI Press/International Joint Conferences on Artificial Intelligence

Menlo Park, California

Copyright © 2011 International Joint Conferences on Artificial Intelligence
All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.

IJCAI Secretary-Treasurer: Prof. Dr. Bernhard Nebel, Computer Science Department, Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee, Geb. 052 D-79110 Freiburg, Germany

IJCAI Executive Secretary Ms. Vesna Sabljakovic-Fritz, Vienna University of Technology, Institute of Discrete Mathematics and Geometry, E104 Wiedner Hauptstr. 8-10, A-1040 Vienna, Austria

Copublished and Distributed by AAAI Press, 445 Burgess Drive, Suite 100 Menlo Park CA 94025 USA

ISBN 978-1-57735-512-0 (three-volume set)
ISBN 978-1-57735-513-7 (volume one)
ISBN 978-1-57735-514-4 (volume two)
ISBN 978-1-57735-515-1 (volume three)
ISBN 978-1-57735-516-8 (electronic proceedings)

Contents

VOLUME ONE

Preface / xxvii

Conference Organization / xxviii

Program Committee / xxix

Conference Sponsorship / xxxviii

Awards and Distinguished Papers / xxxix

Keynote and Invited Speakers / xl

IJCAI Organization / xlii

Past IJCAI Conferences / xliii

IJCAI11 Papers

Invited Talk and Research Excellence Paper

Open Information Extraction: The Second Generation / 3
Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, Mausam
doi: 10.5591/978-1-57735-516-8/IJCAI11-012
Abstract

Artificial Intelligence and Human Thinking / 11
Robert Kowalski
doi: 10.5591/978-1-57735-516-8/IJCAI11-013
Abstract

Technical Papers and Posters

Agent-Based and Multiagent Systems

Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections / 18
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman
doi: 10.5591/978-1-57735-516-8/IJCAI11-015
Abstract

Using Emotions to Enhance Decision-Making / 24
Dimitrios Antos, Avi Pfeffer
doi: 10.5591/978-1-57735-516-8/IJCAI11-016
Abstract

Hustling in Repeated Zero-Sum Games with Imperfect Execution / 31
Christopher Archibald, Yoav Shoham
doi: 10.5591/978-1-57735-516-8/IJCAI11-017
Abstract

Dynamics of Profit-Sharing Games / 37
John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nikolay Gravin, Dmitry Shiryaev
doi: 10.5591/978-1-57735-516-8/IJCAI11-018
Abstract

Optimal Partitions in Additively Separable Hedonic Games / 43
Haris Aziz, Felix Brandt, Hans Georg Seedig
doi: 10.5591/978-1-57735-516-8/IJCAI11-019
Abstract

Coalitional Voting Manipulation: A Game-Theoretic Perspective / 49
Yoram Bachrach, Edith Elkind, Piotr Faliszewski
doi: 10.5591/978-1-57735-516-8/IJCAI11-020
Abstract

Unweighted Coalitional Manipulation under the Borda Rule Is NP-Hard / 55
Nadja Betzler, Rolf Niedermeier, Gerhard J. Woeginger
doi:10.5591/978-1-57735-516-8/IJCAI11-021
Abstract

Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games / 61
Katrien Beuls, Sebastian Höfer
doi: 10.5591/978-1-57735-516-8/IJCAI11-022
Abstract

Approximately Strategy-Proof Voting / 67
Eleanor Birrell, Rafael Pass
doi: 10.5591/978-1-57735-516-8/IJCAI11-023
Abstract

A General Elicitation-Free Protocol for Allocating Indivisible Goods / 73
Sylvain Bouveret, Jérôme Lang
doi: 10.5591/978-1-57735-516-8/IJCAI11-024
Abstract

Group-Strategyproof Irresolute Social Choice Functions / 79
Felix Brandt
doi: 10.5591/978-1-57735-516-8/IJCAI11-025
Abstract

On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions / 85
Felix Brandt, Markus Brill, Hans Georg Seedig
doi: 10.5591/978-1-57735-516-8/IJCAI11-026
Abstract

Social Distance Games / 91
Simina Brânzei, Kate Larson
doi: 10.5591/978-1-57735-516-8/IJCAI11-027
Abstract

Modeling the Emergence and Convergence of Norms / 97
Logan Brooks, Wayne Iba, Sandip Sen
doi: 10.5591/978-1-57735-516-8/IJCAI11-028
Abstract

Verifying Normative Behaviour via Normative Mechanism Design / 103
Nils Bulling, Mehdi Dastani
doi: 10.5591/978-1-57735-516-8/IJCAI11-029
Abstract

Alternating Epistemic Mu-Calculus / 109
Nils Bulling, Wojciech Jamroga
doi: 10.5591/978-1-57735-516-8/IJCAI11-030
Abstract

Trust Decision-Making in Multi-Agent Systems / 115
Chris Burnett, Timothy J. Norman, Katia Sycara
doi: 10.5591/978-1-57735-516-8/IJCAI11-031
Abstract

Manipulation in Group Argument Evaluation / 121
Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski
doi: 10.5591/978-1-57735-516-8/IJCAI11-032
Abstract

Towards More Expressive Cake Cutting / 127
Ioannis Caragiannis, John K. Lai, Ariel D. Procaccia
doi: 10.5591/978-1-57735-516-8/IJCAI11-033
Abstract

Efficient Mechanisms with Risky Participation / 133
Ruggiero Cavallo
doi: 10.5591/978-1-57735-516-8/IJCAI11-034
Abstract

Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems / 139
Roberto Centeno, Holger Billhardt
doi: 10.5591/978-1-57735-516-8/IJCAI11-035
Abstract

AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament / 146
Meng Chang, Minghua He, Xudong Luo
doi: 10.5591/978-1-57735-516-8/IJCAI11-036
Abstract

A Market Clearing Solution for Social Lending / 152
Ning Chen, Arpita Ghosh
doi: 10.5591/978-1-57735-516-8/IJCAI11-037
Abstract

Hypercubewise Preference Aggregation in Multi-Issue Domains / 158
Vincent Conitzer, Jérôme Lang, Lirong Xia
doi: 10.5591/978-1-57735-516-8/IJCAI11-038
Abstract

Changing One’s Mind: Erase or Rewind? / 164
Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata
doi: 10.5591/978-1-57735-516-8/IJCAI11-039
Abstract

Multi-Agent Soft Constraint Aggregation via Sequential Voting / 172
Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
doi: 10.5591/978-1-57735-516-8/IJCAI11-040
Abstract

Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate / 178
Marco De Luca, Dave Cliff
doi: 10.5591/978-1-57735-516-8/IJCAI11-041
Abstract

Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion / 186
Edith Elkind, Jérôme Lang, Abdallah Saffidine
doi: 10.5591/978-1-57735-516-8/IJCAI11-042
Abstract

Action Selection via Learning Behavior Patterns in Multi-Robot Systems / 192
Can Erdogan, Manuela Veloso
doi: 10.5591/978-1-57735-516-8/IJCAI11-043
Abstract

Assumption-Based Argumentation Dialogues / 198
Xiuyi Fan, Francesca Toni
doi: 10.5591/978-1-57735-516-8/IJCAI11-044
Abstract

Binary Aggregation with Integrity Constraints / 204
Umberto Grandi, Ulle Endriss
doi: 10.5591/978-1-57735-516-8/IJCAI11-045
Abstract

Manipulating Boolean Games through Communication / 210
John Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman
doi: 10.5591/978-1-57735-516-8/IJCAI11-046
Abstract

On the Complexity of the Core over Coalition Structures / 216
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello
doi: 10.5591/978-1-57735-516-8/IJCAI11-047
Abstract

Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments / 222
Anat Hashavit, Shaul Markovitch
doi: 10.5591/978-1-57735-516-8/IJCAI11-048
Abstract

A Dynamic Logic of Normative Systems / 228
Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
doi: 10.5591/978-1-57735-516-8/IJCAI11-049
Abstract

Erratum

Considerate Equilibrium / 234
Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking
doi: 10.5591/978-1-57735-516-8/IJCAI11-050
Abstract

Model Checking Knowledge in Pursuit Evasion Games / 240
Xiaowei Huang, Patrick Maupin, Ron van der Meyden
doi: 10.5591/978-1-57735-516-8/IJCAI11-051
Abstract

The Complexity of Safe Manipulation under Scoring Rules / 246
Egor Ianovski, Lan Yu, Edith Elkind, Mark C. Wilson
doi: 10.5591/978-1-57735-516-8/IJCAI11-052
Abstract

Comparing Variants of Strategic Ability / 252
Wojciech Jamroga, Nils Bulling
doi: 10.5591/978-1-57735-516-8/IJCAI11-053
Abstract

Accelerating Best Response Calculation in Large Extensive Games / 258
Michael Johanson, Kevin Waugh, Michael Bowling, Martin Zinkevich
doi: 10.5591/978-1-57735-516-8/IJCAI11-054
Abstract

A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions / 266
Alexander Kleiner, Bernhard Nebel, Vittorio Amos Ziparo
doi: 10.5591/978-1-57735-516-8/IJCAI11-055
Abstract

Security Games with Multiple Attacker Resources / 273
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr
doi: 10.5591/978-1-57735-516-8/IJCAI11-056
Abstract

Budgeted Social Choice: From Consensus to Personalized Decision Making / 280
Tyler Lu, Craig Boutilier
doi: 10.5591/978-1-57735-516-8/IJCAI11-057
Abstract

Robust Approximation and Incremental Elicitation in Voting Protocols / 287
Tyler Lu, Craig Boutilier
doi: 10.5591/978-1-57735-516-8/IJCAI11-058
Abstract

Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees / 294
Ryan Luna, Kostas E. Bekris
doi: 10.5591/978-1-57735-516-8/IJCAI11-059
Abstract

Subsidies, Stability, and Restricted Cooperation in Coalitional Games / 301
Reshef Meir, Jeffrey S. Rosenschein, Enrico Malizia
doi: 10.5591/978-1-57735-516-8/IJCAI11-060
Abstract

Using Experience to Generate New Regulations / 307
Javier Morales, Maite López-Sánchez, Marc Esteva
doi: 10.5591/978-1-57735-516-8/IJCAI11-061
Abstract

Agents, Actions and Goals in Dynamic Environments / 313
Peter Novák, Wojciech Jamroga
doi: 10.5591/978-1-57735-516-8/IJCAI11-062
Abstract

On the Complexity of Voting Manipulation under Randomized Tie-Breaking / 319
Svetlana Obraztsova, Edith Elkind
doi: 10.5591/978-1-57735-516-8/IJCAI11-063
Abstract

Efficient Planning for Factored Infinite-Horizon DEC-POMDPs / 325
Joni Pajarinen, Jaakko Peltonen
doi: 10.5591/978-1-57735-516-8/IJCAI11-064
Abstract

An Interaction-Oriented Model for Multi-Scale Simulation / 332
Sébastien Picault, Philippe Mathieu
doi: 10.5591/978-1-57735-516-8/IJCAI11-065
Abstract

Minimum Search to Establish Worst-Case Guarantees in Coalition Structure Generation / 338
Talal Rahwan, Tomasz Michalak, Nicholas R. Jennings
doi: 10.5591/978-1-57735-516-8/IJCAI11-066
Abstract

On Combining Decisions from Multiple Expert Imitators for Performance / 344
Jonathan Rubin, Ian Watson
doi: 10.5591/978-1-57735-516-8/IJCAI11-067
Abstract

An Empirical Study of Seeding Manipulations and Their Prevention / 350
Tyrel Russell, Peter van Beek
doi: 10.5591/978-1-57735-516-8/IJCAI11-068
Abstract

Rigging Tournament Brackets for Weaker Players / 357
Isabelle Stanton, Virginia Vassilevska Williams
doi: 10.5591/978-1-57735-516-8/IJCAI11-069
Abstract

Learning Where You Are Going and from Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search / 365
Nathan R. Sturtevant, Vadim Bulitko
doi: 10.5591/978-1-57735-516-8/IJCAI11-070
Abstract

Emergence and Stability of Social Conventions in Conflict Situations / 371
Toshiharu Sugawara
doi: 10.5591/978-1-57735-516-8/IJCAI11-071
Abstract

Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization / 379
Pingzhong Tang, Tuomas Sandholm
doi: 10.5591/978-1-57735-516-8/IJCAI11-072
Abstract

Generalizing Envy-Freeness toward Group of Agents / 386
Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo
doi: 10.5591/978-1-57735-516-8/IJCAI11-073
Abstract

Concise Characteristic Function Representations in Coalitional Games Based on Agent Types / 393
Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo
doi: 10.5591/978-1-57735-516-8/IJCAI11-074
Abstract

Facing Openness with Socio-Cognitive Trust and Categories / 400
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
doi: 10.5591/978-1-57735-516-8/IJCAI11-075
Abstract

Attack Semantics for Abstract Argumentation / 406
Serena Villata, Guido Boella, Leendert van der Torre
doi: 10.5591/978-1-57735-516-8/IJCAI11-076
Abstract

Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance / 414
Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte
doi: 10.5591/978-1-57735-516-8/IJCAI11-077
Abstract

Social Instruments for Robust Convention Emergence / 420
Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen
doi: 10.5591/978-1-57735-516-8/IJCAI11-078
Abstract

Reasoning about Preferences in Intelligent Agent Systems / 426
Simeon Visser, John Thangarajah, James Harland
doi: 10.5591/978-1-57735-516-8/IJCAI11-079
Abstract

Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents / 432
Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings
doi: 10.5591/978-1-57735-516-8/IJCAI11-080
Abstract

Online Planning for Ad Hoc Autonomous Agent Teams / 439
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
doi: 10.5591/978-1-57735-516-8/IJCAI11-081
Abstract

A Maximum Likelihood Approach towards Aggregating Partial Orders / 446
Lirong Xia, Vincent Conitzer
doi: 10.5591/978-1-57735-516-8/IJCAI11-082
Abstract

An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments / 452
Lirong Xia, David M. Pennock
doi: 10.5591/978-1-57735-516-8/IJCAI11-083
Abstract

Improving Resource Allocation Strategy against Human Adversaries in Security Games / 458
Rong Yang, Christopher Kiekintveld, Fernando Ordonez, Milind Tambe, Richard John
doi: 10.5591/978-1-57735-516-8/IJCAI11-084
Abstract

Continuous Time Planning for Multiagent Teams with Temporal Constraints / 465
Zhengyu Yin, Milind Tambe
doi: 10.5591/978-1-57735-516-8/IJCAI11-085
Abstract

Mechanism Design for Double Auctions with Temporal Constraints / 472
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
doi: 10.5591/978-1-57735-516-8/IJCAI11-086
Abstract

Generalized Reaction Functions for Solving Complex-Task Allocation Problems / 478
Xiaoming Zheng, Sven Koenig
doi: 10.5591/978-1-57735-516-8/IJCAI11-087
Abstract

Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries / 484
Hankz Hankui Zhuo, Lei Li
doi: 10.5591/978-1-57735-516-8/IJCAI11-088
Abstract

The Shapley Value as a Function of the Quota in Weighted Voting Games / 490
Yair Zick, Alexander Skopalik, Edith Elkind

doi: 10.5591/978-1-57735-516-8/IJCAI11-089

Constraints, Satisfiability, and Search

Tackling the Partner Units Configuration Problem / 497
Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
doi: 10.5591/978-1-57735-516-8/IJCAI11-091
Abstract

Depth-Driven Circuit-Level Stochastic Local Search for SAT / 504
Anton Belov, Matti Järvisalo, Zbigniew Stachniak
doi: 10.5591/978-1-57735-516-8/IJCAI11-092
Abstract

Tractable Set Constraints / 510
Manuel Bodirsky, Martin Hils, Alex Krimkevitch
doi: 10.5591/978-1-57735-516-8/IJCAI11-093
Abstract

Symmetries and Lazy Clause Generation / 516
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Chris Mears
doi: 10.5591/978-1-57735-516-8/IJCAI11-094
Abstract

Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable / 522
Michael Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances Rosamond
doi: 10.5591/978-1-57735-516-8/IJCAI11-095
Abstract

Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition / 528
Marcelo Finger, Glauber De Bona
doi: 10.5591/978-1-57735-516-8/IJCAI11-096
Abstract

Using Payoff-Similarity to Speed Up Search / 534
Timothy Furtak, Michael Buro
doi: 10.5591/978-1-57735-516-8/IJCAI11-097
Abstract

Kernels for Global Constraints / 540
Serge Gaspers, Stefan Szeider
doi: 10.5591/978-1-57735-516-8/IJCAI11-098
Abstract

A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas / 546
Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus
doi: 10.5591/978-1-57735-516-8/IJCAI11-099
Abstract

Generalizing ADOPT and BnB-ADOPT / 554
Patricia Gutierrez, Pedro Meseguer, William Yeoh
doi: 10.5591/978-1-57735-516-8/IJCAI11-100
Abstract

Dynamic SAT with Decision Change Costs: Formalization and Solutions / 560
Daisuke Hatano, Katsutoshi Hirayama
doi: 10.5591/978-1-57735-516-8/IJCAI11-101
Abstract

Minimization for Generalized Boolean Formulas / 566
Edith Hemaspaandra, Henning Schnoor
doi: 10.5591/978-1-57735-516-8/IJCAI11-102
Abstract

Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms / 572
Federico Heras, Joao Marques-Silva
doi: 10.5591/978-1-57735-516-8/IJCAI11-103
Abstract

Real-Time Heuristic Search with Depression Avoidance / 578
Carlos Hernández, Jorge A. Baier
doi: 10.5591/978-1-57735-516-8/IJCAI11-104
Abstract

Evaluations of Hash Distributed A* in Optimal Sequence Alignment / 584
Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe
doi: 10.5591/978-1-57735-516-8/IJCAI11-105
Abstract

A Hybrid Recursive Multi-Way Number Partitioning Algorithm / 591
Richard E. Korf
doi: 10.5591/978-1-57735-516-8/IJCAI11-106
Abstract

Constraint Programming on Infinite Data Streams / 597
Arnaud Lallouet, Yat-Chiu Law, Jimmy H. M. Lee, Charles F. K. Siu
doi: 10.5591/978-1-57735-516-8/IJCAI11-107
Abstract

Minimum Satisfiability and Its Applications / 605
Chu-Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
doi: 10.5591/978-1-57735-516-8/IJCAI11-108
Abstract

Large Hinge Width on Sparse Random Hypergraphs / 611
Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu
doi: 10.5591/978-1-57735-516-8/IJCAI11-109
Abstract

Real-Time Opponent Modeling in Trick-Taking Card Games / 617
Jeffrey Long, Michael Buro
doi: 10.5591/978-1-57735-516-8/IJCAI11-110
Abstract

Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints / 623
Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel
doi: 10.5591/978-1-57735-516-8/IJCAI11-111
Abstract

The Multi-Inter-Distance Constraint / 629
Pierre Ouellet, Claude-Guy Quimper
doi: 10.5591/978-1-57735-516-8/IJCAI11-112
Abstract

Finite-Length Markov Processes with Constraints / 635
François Pachet, Pierre Roy, Gabriele Barbieri
doi: 10.5591/978-1-57735-516-8/IJCAI11-113
Abstract

A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints / 643
Thierry Petit, Nicolas Beldiceanu, Xavier Lorca
doi: 10.5591/978-1-57735-516-8/IJCAI11-114
Abstract

Nested Rollout Policy Adaptation for Monte Carlo Tree Search / 649
Christopher D. Rosin
doi: 10.5591/978-1-57735-516-8/IJCAI11-115
Abstract

Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search / 655
Baba Satomi, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo
doi: 10.5591/978-1-57735-516-8/IJCAI11-116
Abstract

The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding / 662
Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner
doi: 10.5591/978-1-57735-516-8/IJCAI11-117
Abstract

Complete Algorithms for Cooperative Pathfinding Problems / 668
Trevor Standley, Richard Korf
doi: 10.5591/978-1-57735-516-8/IJCAI11-118
Abstract

Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates / 674
Jordan T. Thayer, Wheeler Ruml
doi: 10.5591/978-1-57735-516-8/IJCAI11-119
Abstract

Rational Deployment of CSP Heuristics / 680
David Tolpin, Solomon Eyal Shimony
doi: 10.5591/978-1-57735-516-8/IJCAI11-120
Abstract

Symmetry Breaking via LexLeader Feasibility Checkers / 687
Justin Yip, Pascal Van Hentenryck
doi: 10.5591/978-1-57735-516-8/IJCAI11-121
Abstract

Heuristic Algorithms for Balanced Multi-Way Number Partitioning / 693
Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang
doi: 10.5591/978-1-57735-516-8/IJCAI11-122
Abstract

Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems / 699
Zhaoyi Zhang, Songshan Guo, Wenbin Zhu, Wee-Chong Oon, Andrew Lim
doi: 10.5591/978-1-57735-516-8/IJCAI11-123
Abstract

VOLUME TWO

Knowledge Representation, Reasoning, and Logic

What Is an Ideal Logic for Reasoning with Inconsistency? / 706
Ofer Arieli, Arnon Avron, Anna Zamansky
doi: 10.5591/978-1-57735-516-8/IJCAI11-125
Abstract

Walking the Complexity Lines for Generalized Guarded Existential Rules / 712
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
doi: 10.5591/978-1-57735-516-8/IJCAI11-126
Abstract

Query Reasoning on Trees with Types, Interleaving, and Counting / 718
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
doi: 10.5591/978-1-57735-516-8/IJCAI11-127
Abstract

First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription / 724
Michael Bartholomew, Joohyung Lee, Yunsong Meng
doi: 10.5591/978-1-57735-516-8/IJCAI11-128
Abstract

A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems / 731
Nuno Belard, Yannick Pencolé, Michel Combacau
doi: 10.5591/978-1-57735-516-8/IJCAI11-129
Abstract

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results / 738
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
doi: 10.5591/978-1-57735-516-8/IJCAI11-130
Abstract

On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols / 744
Vaishak Belle, Gerhard Lakemeyer
doi: 10.5591/978-1-57735-516-8/IJCAI11-131
Abstract

Interval-Based Possibilistic Logic / 750
Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit
doi: 10.5591/978-1-57735-516-8/IJCAI11-132
Abstract

RCC8 Is Polynomial on Networks of Bounded Treewidth / 756
Manuel Bodirsky, Stefan Wölfl
doi: 10.5591/978-1-57735-516-8/IJCAI11-133
Abstract

On the Complexity ofEL with Defeasible Inclusions / 762
Piero A. Bonatti, Marco Faella, Luigi Sauro
doi: 10.5591/978-1-57735-516-8/IJCAI11-134
Abstract

Description Logics over Lattices with Multi-Valued Ontologies / 768
Stefan Borgwardt, Rafael Peñaloza
doi: 10.5591/978-1-57735-516-8/IJCAI11-135
Abstract

Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete / 774
Félix Bou, Marco Cerami, Francesc Esteva
doi: 10.5591/978-1-57735-516-8/IJCAI11-136
Abstract

Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs / 780
Gerhard Brewka, Paul E. Dunne, Stefan Woltran
doi: 10.5591/978-1-57735-516-8/IJCAI11-137
Abstract

Managed Multi-Context Systems / 786
Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl
doi: 10.5591/978-1-57735-516-8/IJCAI11-138
Abstract

Modeling Attempt and Action Failure in Probabilistic STIT Logic / 792
Jan Broersen
doi: 10.5591/978-1-57735-516-8/IJCAI11-139
Abstract

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics / 798
Diego Calvanese, Domenico Carbotta, Magdalena Ortiz
doi: 10.5591/978-1-57735-516-8/IJCAI11-140
Abstract

Containment of Regular Path Queries under Description Logic Constraints / 805
Diego Calvanese, Magdalena Ortiz, Mantas Simkus
doi: 10.5591/978-1-57735-516-8/IJCAI11-141
Abstract

Defeasible Inheritance-Based Description Logics / 813
Giovanni Casini, Umberto Straccia
doi: 10.5591/978-1-57735-516-8/IJCAI11-142
Abstract

SDD: A New Canonical Representation of Propositional Knowledge Bases / 819
Adnan Darwiche
doi: 10.5591/978-1-57735-516-8/IJCAI11-143
Abstract

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals / 827
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
doi: 10.5591/978-1-57735-516-8/IJCAI11-144
Abstract

Revising by an Inconsistent Set of Formulas / 833
James P. Delgrande
doi: 10.5591/978-1-57735-516-8/IJCAI11-145
Abstract

Revising Horn Theories / 839
James P. Delgrande, Pavlos Peppas
doi: 10.5591/978-1-57735-516-8/IJCAI11-146
Abstract

Expressiveness of the Interval Logics of Allen’s Relations on the Class of All Linear Orders: Complete Classification / 845
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
doi: 10.5591/978-1-57735-516-8/IJCAI11-147
Abstract

Parametric Properties of Ideal Semantics / 851
Wolfgang Dvorák, Paul E. Dunne, Stefan Woltran
doi: 10.5591/978-1-57735-516-8/IJCAI11-148
Abstract

Tangled Modal Logic for Spatial Reasoning / 857
David Fernández Duque
doi: 10.5591/978-1-57735-516-8/IJCAI11-149
Abstract

Backdoors to Tractable Answer-Set Programming / 863
Johannes Klaus Fichte, Stefan Szeider
doi: 10.5591/978-1-57735-516-8/IJCAI11-150
Abstract

Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World / 869
Guido Fiorino
doi: 10.5591/978-1-57735-516-8/IJCAI11-151
Abstract

Fixpoints in Temporal Description Logics / 875
Enrico Franconi, David Toman
doi: 10.5591/978-1-57735-516-8/IJCAI11-152
Abstract

Succinctness of Epistemic Languages / 881
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld Kooi
doi: 10.5591/978-1-57735-516-8/IJCAI11-153
Abstract

Repairing Incorrect Knowledge with Model Formulation and Metareasoning / 887
Scott E. Friedman, Kenneth D. Forbus
doi: 10.5591/978-1-57735-516-8/IJCAI11-154
Abstract

Reasoning about Typicality in Low Complexity DLs: The Logics ELTmin and DL-Litec Tmin / 894
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
doi: 10.5591/978-1-57735-516-8/IJCAI11-155
Abstract

Belief Management for High-Level Robot Programs / 900
Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein
doi: 10.5591/978-1-57735-516-8/IJCAI11-156
Abstract

Multidimensional Mereotopology with Betweenness / 906
Torsten Hahmann, Michael Grüninger
doi: 10.5591/978-1-57735-516-8/IJCAI11-157
Abstract

Generalising the Interaction Rules in Probabilistic Logic / 912
Arjen Hommersom, Peter J. F. Lucas
doi: 10.5591/978-1-57735-516-8/IJCAI11-158
Abstract

Generalized Planning: Synthesizing Plans that Work for Multiple Environments / 918
Yuxiao Hu, Giuseppe De Giacomo
doi: 10.5591/978-1-57735-516-8/IJCAI11-159
Abstract

Logic Programming for Boolean Networks / 924
Katsumi Inoue
doi: 10.5591/978-1-57735-516-8/IJCAI11-160
Abstract

Discrete-Time Temporal Reasoning with Horn DLRs / 931
Peter Jonsson, Tomas Lööw
doi: 10.5591/978-1-57735-516-8/IJCAI11-161
Abstract

A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets / 937
Gabriele Kern-Isberner, Patrick Krümpelmann
doi: 10.5591/978-1-57735-516-8/IJCAI11-162
Abstract

A Logic for Causal Inference in Time Series with Discrete and Continuous Variables / 943
Samantha Kleinberg
doi: 10.5591/978-1-57735-516-8/IJCAI11-163
Abstract

Belief Base Rationalization for Propositional Merging / 951
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind
doi: 10.5591/978-1-57735-516-8/IJCAI11-164
Abstract

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces / 957
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev
doi: 10.5591/978-1-57735-516-8/IJCAI11-165
Abstract

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness / 963
Markus Krötzsch, Sebastian Rudolph
doi: 10.5591/978-1-57735-516-8/IJCAI11-166
Abstract

Context-Sensitive Diagnosis of Discrete-Event Systems / 969
Gianfranco Lamperti, Marina Zanella
doi: 10.5591/978-1-57735-516-8/IJCAI11-167
Abstract

On the Progression of Knowledge in the Situation Calculus / 976
Yongmei Liu, Ximing Wen
doi: 10.5591/978-1-57735-516-8/IJCAI11-168
Abstract

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability / 983
Carsten Lutz, Robert Piro, Frank Wolter
doi: 10.5591/978-1-57735-516-8/IJCAI11-169
Abstract

Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics / 989
Carsten Lutz, Frank Wolter
doi: 10.5591/978-1-57735-516-8/IJCAI11-170
Abstract

Existential Closures for Knowledge Compilation / 996
Pierre Marquis
doi: 10.5591/978-1-57735-516-8/IJCAI11-171
Abstract

Lost in Translation: Language Independence in Propositional Logic — Application to Belief Revision and Belief Merging / 1002
Pierre Marquis, Nicolas Schwind
doi: 10.5591/978-1-57735-516-8/IJCAI11-172
Abstract

Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs / 1008
Yoshihiro Maruyama
doi: 10.5591/978-1-57735-516-8/IJCAI11-173
Abstract

Causal Learnability / 1014
Loizos Michael
doi: 10.5591/978-1-57735-516-8/IJCAI11-174
Abstract

Revisiting Preferences and Argumentation / 1021
Sanjay Modgil, Henry Prakken
doi: 10.5591/978-1-57735-516-8/IJCAI11-175
Abstract

Reasoning-Supported Interactive Revision of Knowledge Bases / 1027
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
doi: 10.5591/978-1-57735-516-8/IJCAI11-176
Abstract

Augmenting Tractable Fragments of Abstract Argumentation / 1033
Sebastian Ordyniak, Stefan Szeider
doi: 10.5591/978-1-57735-516-8/IJCAI11-177
Abstract

Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ / 1039
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
doi: 10.5591/978-1-57735-516-8/IJCAI11-178
Abstract

An Approach to Minimal Belief via Objective Belief / 1045
David Pearce, Levan Uridia
doi: 10.5591/978-1-57735-516-8/IJCAI11-179
Abstract

An Assertion Retrieval Algebra for Object Queries over Knowledge Bases / 1051
Jeffrey Pound, David Toman, Grant Weddell, Jiewen Wu
doi: 10.5591/978-1-57735-516-8/IJCAI11-180
Abstract

On the Complexity of Dealing with Inconsistency in Description Logic Ontologies / 1057
Riccardo Rosati
doi: 10.5591/978-1-57735-516-8/IJCAI11-181
Abstract

Dishonest Reasoning by Abduction / 1063
Chiaki Sakama
doi: 10.5591/978-1-57735-516-8/IJCAI11-182
Abstract

A Logical Formulation for Negotiation among Dishonest Agents / 1069
Chiaki Sakama, Tran Cao Son, Enrico Pontelli
doi: 10.5591/978-1-57735-516-8/IJCAI11-183
Abstract

Description Logics and Fuzzy Probability / 1075
Lutz Schröder, Dirk Pattinson
doi: 10.5591/978-1-57735-516-8/IJCAI11-184
Abstract

Well-Supported Semantics for Description Logic Programs / 1081
Yi-Dong Shen
doi: 10.5591/978-1-57735-516-8/IJCAI11-185
Abstract

Computing Minimum-Cardinality Diagnoses by Model Relaxation / 1087
Sajjad Siddiqi
doi: 10.5591/978-1-57735-516-8/IJCAI11-186
Abstract

Consequence-Based Reasoning beyond Horn Ontologies / 1093
Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks
doi: 10.5591/978-1-57735-516-8/IJCAI11-187
Abstract

Beth Definability in Expressive Description Logics / 1099
Balder ten Cate, Enrico Franconi, Inanc Seylan
doi: 10.5591/978-1-57735-516-8/IJCAI11-188
Abstract

The General Game Playing Description Language Is Universal / 1107
Michael Thielscher
doi: 10.5591/978-1-57735-516-8/IJCAI11-189
Abstract

Relating Carneades with Abstract Argumentation / 1113
Bas van Gijzel, Henry Prakken
doi: 10.5591/978-1-57735-516-8/IJCAI11-190
Abstract

On Qualitative Route Descriptions: Representation and Computational Complexity / 1120
Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz
doi: 10.5591/978-1-57735-516-8/IJCAI11-191
Abstract

Translating First-Order Theories into Logic Programs / 1126
Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
doi: 10.5591/978-1-57735-516-8/IJCAI11-192
Abstract

Transitively Relational Partial Meet Horn Contraction / 1132
Zhiqiang Zhuang, Maurice Pagnucco
doi: 10.5591/978-1-57735-516-8/IJCAI11-193
Abstract

Machine Learning

Discerning Linkage-Based Algorithms among Hierarchical Clustering Methods / 1140
Margareta Ackerman, Shai Ben-David
doi: 10.5591/978-1-57735-516-8/IJCAI11-195
Abstract

A Competitive Strategy for Function Approximation in Q-Learning / 1146
Alejandro Agostini, Enric Celaya
doi: 10.5591/978-1-57735-516-8/IJCAI11-196
Abstract

Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter / 1152
Babak Ahmadi, Kristian Kersting, Scott Sanner
doi: 10.5591/978-1-57735-516-8/IJCAI11-197
Abstract

An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics / 1159
Saeed Amizadeh, Shuguang Wang, Milos Hauskrecht
doi: 10.5591/978-1-57735-516-8/IJCAI11-198
Abstract

Semi-Supervised Learning from a Translation Model between Data Distributions / 1165
Henry Anaya-Sánchez, José Martínez-Sotoca, Adolfo Martínez-Usó
doi: 10.5591/978-1-57735-516-8/IJCAI11-199
Abstract

A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic / 1171
David Andrzejewski, Xiaojin Zhu, Mark Craven, Benjamin Recht
doi: 10.5591/978-1-57735-516-8/IJCAI11-200
Abstract

Improving Performance of Topic Models by Variable Grouping / 1178
Evgeniy Bart
doi: 10.5591/978-1-57735-516-8/IJCAI11-201
Abstract

Learning a Distance Metric by Empirical Loss Minimization / 1186
Wei Bian, Dacheng Tao
doi: 10.5591/978-1-57735-516-8/IJCAI11-202
Abstract

A Hidden Markov Model Variant for Sequence Classification / 1192
Sam Blasiak, Huzefa Rangwala
doi: 10.5591/978-1-57735-516-8/IJCAI11-203
Abstract

Approximation-Guided Evolutionary Multi-Objective Optimization / 1198
Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner
doi: 10.5591/978-1-57735-516-8/IJCAI11-204
Abstract

Distance Metric Learning under Covariate Shift / 1204
Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang
doi: 10.5591/978-1-57735-516-8/IJCAI11-205
Abstract

Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application / 1211
Luiz A. Celiberto Jr., Jackson P. Matsuura, Ramon Lopez de Mantaras, Reinaldo A. C. Bianchi
doi: 10.5591/978-1-57735-516-8/IJCAI11-206
Abstract

Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks / 1218
Jeffrey Chan, Samantha Lam, Conor Hayes
doi: 10.5591/978-1-57735-516-8/IJCAI11-207
Abstract

Concept Labeling: Building Text Classifiers with Minimal Supervision / 1225
Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D. Lawrence
doi: 10.5591/978-1-57735-516-8/IJCAI11-208
Abstract

Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance / 1231
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen
doi: 10.5591/978-1-57735-516-8/IJCAI11-209
Abstract

Flexible, High Performance Convolutional Neural Networks for Image Classification / 1237
Dan C. Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber
doi: 10.5591/978-1-57735-516-8/IJCAI11-210
Abstract

Automatic State Abstraction from Demonstration / 1243
Luis C. Cobo, Peng Zang, Charles L. Isbell Jr., Andrea L. Thomaz
doi: 10.5591/978-1-57735-516-8/IJCAI11-211
Abstract

Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates / 1249
Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain
doi: 10.5591/978-1-57735-516-8/IJCAI11-212
Abstract

Learning Decision Rules from Data Streams / 1255
João Gama, Petr Kosina
doi: 10.5591/978-1-57735-516-8/IJCAI11-213
Abstract

Constituent Grammatical Evolution / 1261
Loukas Georgiou, William J. Teahan
doi: 10.5591/978-1-57735-516-8/IJCAI11-214
Abstract

Continuous Correlated Beta Processes / 1269
Robby Goetschalckx, Pascal Poupart, Jesse Hoey
doi: 10.5591/978-1-57735-516-8/IJCAI11-215
Abstract

A Fast Dual Projected Newton Method forl1-Regularized Least Squares / 1275
Pinghua Gong, Changshui Zhang
doi: 10.5591/978-1-57735-516-8/IJCAI11-216
Abstract

Kernel-Based Selective Ensemble Learning for Streams of Trees / 1281
Valerio Grossi, Alessandro Sperduti
doi: 10.5591/978-1-57735-516-8/IJCAI11-217
Abstract

On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF / 1288
Quanquan Gu, Chris Ding, Jiawei Han
doi: 10.5591/978-1-57735-516-8/IJCAI11-218
Abstract

Joint Feature Selection and Subspace Learning / 1294
Quanquan Gu, Zhenhui Li, Jiawei Han
doi: 10.5591/978-1-57735-516-8/IJCAI11-219
Abstract

Multi-Label Classification Using Conditional Dependency Networks / 1300
Yuhong Guo, Suicheng Gu
doi: 10.5591/978-1-57735-516-8/IJCAI11-220
Abstract

Extracting Temporal Patterns from Interval-Based Sequences / 1306
Thomas Guyet, René Quiniou
doi: 10.5591/978-1-57735-516-8/IJCAI11-221
Abstract

Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph / 1312
Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang
doi: 10.5591/978-1-57735-516-8/IJCAI11-222
Abstract

Gaussianity Measures for Detecting the Direction of Causal Time Series / 1318
José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez
doi: 10.5591/978-1-57735-516-8/IJCAI11-223
Abstract

Feature Selection via Joint Embedding Learning and Sparse Regression / 1324
Chenping Hou, Feiping Nie, Dongyun Yi, Yi Wu
doi: 10.5591/978-1-57735-516-8/IJCAI11-224
Abstract

Heuristic Rule-Based Regression via Dynamic Reduction to Classification / 1330
Frederik Janssen, Johannes Fürnkranz
doi: 10.5591/978-1-57735-516-8/IJCAI11-225
Abstract

Adaptation of a Mixture of Multivariate Bernoulli Distributions / 1336
Ankur Kamthe, Miguel Á Carreira-Perpiñán, Alberto E. Cerpa
doi: 10.5591/978-1-57735-516-8/IJCAI11-226
Abstract

Revisiting Numerical Pattern Mining with Formal Concept Analysis / 1342
Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli
doi: 10.5591/978-1-57735-516-8/IJCAI11-227
Abstract

Activity Recognition with Finite State Machines / 1348
Wesley Kerr, Anh Tran, Paul Cohen
doi: 10.5591/978-1-57735-516-8/IJCAI11-228
Abstract

Incremental Slow Feature Analysis / 1354
Varun Raj Kompella, Matthew Luciw, Jürgen Schmidhuber
doi: 10.5591/978-1-57735-516-8/IJCAI11-229
Abstract

Learning Hash Functions for Cross-View Similarity Search / 1360
Shaishav Kumar, Raghavendra Udupa
doi: 10.5591/978-1-57735-516-8/IJCAI11-230
Abstract

Modular Community Detection in Networks / 1366
Wenye Li, Dale Schuurmans
doi: 10.5591/978-1-57735-516-8/IJCAI11-231
Abstract

Probit Classifiers with a Generalized Gaussian Scale Mixture Prior / 1372
Guoqing Liu, Jianxin Wu, Suiping Zhou
doi: 10.5591/978-1-57735-516-8/IJCAI11-232
Abstract

Locality-Constrained Concept Factorization / 1378
Haifeng Liu, Zheng Yang, Zhaohui Wu
doi: 10.5591/978-1-57735-516-8/IJCAI11-233
Abstract

Cluster Indicator Decomposition for Efficient Matrix Factorization / 1384
Dijun Luo, Chris Ding, Heng Huang
doi: 10.5591/978-1-57735-516-8/IJCAI11-234
Abstract

Ball Ranking Machine for Content-Based Multimedia Retrieval / 1390
Dijun Luo, Heng Huang
doi: 10.5591/978-1-57735-516-8/IJCAI11-235
Abstract

Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding / 1396
Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen
doi: 10.5591/978-1-57735-516-8/IJCAI11-236
Abstract

Agent-Oriented Incremental Team and Activity Recognition / 1402
Daniele Masato, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara
doi: 10.5591/978-1-57735-516-8/IJCAI11-237
Abstract

Multi-Kernel Gaussian Processes / 1408
Arman Melkumyan, Fabio Ramos
doi: 10.5591/978-1-57735-516-8/IJCAI11-238
Abstract

Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach / 1414
Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude Shavlik
doi: 10.5591/978-1-57735-516-8/IJCAI11-239
Abstract

Positive Unlabeled Leaning for Time Series Classification / 1421
Minh Nhut Nguyen, Xiaoli-Li Li, See-Kiong Ng
doi: 10.5591/978-1-57735-516-8/IJCAI11-240
Abstract

Distribution-Aware Online Classifiers / 1427
Tam T. Nguyen, Kuiyu Chang, Siu Cheung Hui
doi: 10.5591/978-1-57735-516-8/IJCAI11-241
Abstract

Robust Principal Component Analysis with Non-Greedy l1-Norm Maximization / 1433
Feiping Nie, Heng Huang, Chris Ding, Dijun Luo, Hua Wang
doi: 10.5591/978-1-57735-516-8/IJCAI11-242
Abstract

Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems / 1439
Tatdow Pansombut, William Hendrix, Zekai Jacob Gao, Brent E. Harrison, Nagiza F. Samatova
doi: 10.5591/978-1-57735-516-8/IJCAI11-243
Abstract

Strategy Learning for Autonomous Agents in Smart Grid Markets / 1446
Prashant P. Reddy, Manuela M. Veloso
doi: 10.5591/978-1-57735-516-8/IJCAI11-244
Abstract

Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems / 1452
Mark Ring, Tom Schaul
doi: 10.5591/978-1-57735-516-8/IJCAI11-245
Abstract

Domain Adaptation with Ensemble of Feature Groups / 1458
Rajhans Samdani, Wen-tau Yih
doi: 10.5591/978-1-57735-516-8/IJCAI11-246
Abstract

Discovering Deformable Motifs in Continuous Time Series Data / 1465
Suchi Saria, Andrew Duchi, Daphne Koller
doi: 10.5591/978-1-57735-516-8/IJCAI11-247
Abstract

A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling / 1472
Taisuke Sato
doi: 10.5591/978-1-57735-516-8/IJCAI11-248
Abstract

Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction / 1478
Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Frederick Semazzi, Alok Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova
doi: 10.5591/978-1-57735-516-8/IJCAI11-249
Abstract

Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders / 1485
Hossam Sharara, Lise Getoor, Myra Norton
doi: 10.5591/978-1-57735-516-8/IJCAI11-250
Abstract

Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison, and a Fast Algorithm / 1491
Kilho Shin, Danny Fernandes, Seiya Miyazaki
doi: 10.5591/978-1-57735-516-8/IJCAI11-251
Abstract

Active Online Classification via Information Maximization / 1498
Noam Slonim, Elad Yom-Tov, Koby Crammer
doi: 10.5591/978-1-57735-516-8/IJCAI11-252
Abstract

Angular Decomposition / 1505
Dengdi Sun, Chris Ding, Bin Luo, Jin Tang
doi: 10.5591/978-1-57735-516-8/IJCAI11-253
Abstract

Fast Anomaly Detection for Streaming Data / 1511
Swee Chuan Tan, Kai Ming Ting, Tony Fei Liu
doi: 10.5591/978-1-57735-516-8/IJCAI11-254
Abstract

Utility-Based Fraud Detection / 1517
Luis Torgo, Elsa Lopes
doi: 10.5591/978-1-57735-516-8/IJCAI11-255
Abstract

On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars / 1523
Kewei Tu, Vasant Honavar
doi: 10.5591/978-1-57735-516-8/IJCAI11-256
Abstract

Learning Driving Behavior by Timed Syntactic Pattern Recognition / 1529
Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
doi: 10.5591/978-1-57735-516-8/IJCAI11-257
Abstract

Bi-Weighting Domain Adaptation for Cross-Language Text Classification / 1535
Chang Wan, Rong Pan, Jiefei Li
doi: 10.5591/978-1-57735-516-8/IJCAI11-258
Abstract

Heterogeneous Domain Adaptation Using Manifold Alignment / 1541
Chang Wang, Sridhar Mahadevan
doi: 10.5591/978-1-57735-516-8/IJCAI11-259
Abstract

Jointly Learning Data-Dependent Label and Locality-Preserving Projections / 1547
Chang Wang, Sridhar Mahadevan
doi: 10.5591/978-1-57735-516-8/IJCAI11-260
Abstract

Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering / 1553
Hua Wang, Feiping Nie, Heng Huang, Fillia Makedon
doi: 10.5591/978-1-57735-516-8/IJCAI11-261
Abstract

Local and Structural Consistency for Multi-Manifold Clustering / 1559
Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou
doi: 10.5591/978-1-57735-516-8/IJCAI11-262
Abstract

Bayesian Policy Search with Policy Priors / 1565
David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie P. Kaelbling, Joshua B. Tenenbaum
doi: 10.5591/978-1-57735-516-8/IJCAI11-263
Abstract

Learning to Rank under Multiple Annotators / 1571
Ou Wu, Weiming Hu, Jun Gao
doi: 10.5591/978-1-57735-516-8/IJCAI11-264
Abstract

Similarity-Based Approach for Positive and Unlabeled Learning / 1577
Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao, Chengqi Zhang, Zhifeng Hao
doi: 10.5591/978-1-57735-516-8/IJCAI11-265
Abstract

Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification / 1583
Eleftherios Spyromitros Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis Vlahavas
doi: 10.5591/978-1-57735-516-8/IJCAI11-266
Abstract

l2,1-Norm Regularized Discriminative Feature Selection for Unsupervised Learning / 1589
Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou
doi: 10.5591/978-1-57735-516-8/IJCAI11-267
Abstract

Matrix Co-Factorization on Compressed Sensing / 1595
Jiho Yoo, Seungjin Choi
doi: 10.5591/978-1-57735-516-8/IJCAI11-268
Abstract

Diversity Regularized Machine / 1603
Yang Yu, Yu-Feng Li, Zhi-Hua Zhou
doi: 10.5591/978-1-57735-516-8/IJCAI11-269
Abstract

LIFT: Multi-Label Learning with Label-Specific Features / 1609
Min-Ling Zhang
doi: 10.5591/978-1-57735-516-8/IJCAI11-270
Abstract

Multi-Kernel Multi-Label Learning with Max-Margin Concept Network / 1615
Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu
doi: 10.5591/978-1-57735-516-8/IJCAI11-271
Abstract

Pattern Field Classification with Style Normalized Transformation / 1621
Xu-Yao Zhang, Kaizhu Huang, Cheng-Lin Liu
doi: 10.5591/978-1-57735-516-8/IJCAI11-272
Abstract

Multidisciplinary Topics and Applications

Finding “Unexplained” Activities in Video / 1628
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian
doi: 10.5591/978-1-57735-516-8/IJCAI11-274
Abstract

Explaining Genetic Knock-Out Effects Using Cost-Based Abduction / 1635
Emad A. M. Andrews, Anthony J. Bonner
doi: 10.5591/978-1-57735-516-8/IJCAI11-275
Abstract

Just an Artifact: Why Machines Are Perceived as Moral Agents / 1641
Joanna J. Bryson, Philip P. Kime
doi: 10.5591/978-1-57735-516-8/IJCAI11-276
Abstract

A Hierarchical Architecture for Adaptive Brain-Computer Interfacing / 1647
Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao
doi: 10.5591/978-1-57735-516-8/IJCAI11-277
Abstract

A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning / 1653
H. L. H. (Leo) de Penning, Artur S. d’Avila Garcez, Luís C. Lamb, John-Jules C. Meyer
doi: 10.5591/978-1-57735-516-8/IJCAI11-278
Abstract

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle / 1659
Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor Veres
doi: 10.5591/978-1-57735-516-8/IJCAI11-279
Abstract

OCS-14 : You Can Get Occluded in Fourteen Ways / 1665
Prithwijit Guha, Amitabha Mukerjee, K. Subramanian Venkatesh
doi: 10.5591/978-1-57735-516-8/IJCAI11-280
Abstract

Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations / 1671
Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou, Weiwu Hu, Zhiwei Xu
doi: 10.5591/978-1-57735-516-8/IJCAI11-281
Abstract

Visual Task Inference Using Hidden Markov Models / 1678
Amin Haji Abolhassani, James J. Clark
doi: 10.5591/978-1-57735-516-8/IJCAI11-282
Abstract

The Role of Intention Recognition in the Evolution of Cooperative Behavior / 1684
The Anh Han, Luís Moniz Pereira, Francisco C. Santos
doi: 10.5591/978-1-57735-516-8/IJCAI11-283
Abstract

Multi-Select Faceted Navigation Based on Minimum Description Length Principle / 1690
Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen
doi: 10.5591/978-1-57735-516-8/IJCAI11-284
Abstract

Modeling Situation Awareness in Human-Like Agents Using Mental Models / 1697
Mark Hoogendoorn, Rianne M. van Lambalgen, Jan Treur
doi: 10.5591/978-1-57735-516-8/IJCAI11-285
Abstract

Generalized Latent Factor Models for Social Network Analysis / 1705
Wu-Jun Li, Dit-Yan Yeung, Zhihua Zhang
doi: 10.5591/978-1-57735-516-8/IJCAI11-286
Abstract

Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps / 1711
Qiang Lou, Zoran Obradovic
doi: 10.5591/978-1-57735-516-8/IJCAI11-287
Abstract

On the Role of Domain Knowledge in Analogy-Based Story Generation / 1717
Santiago Ontañón, Jichen Zhu
doi: 10.5591/978-1-57735-516-8/IJCAI11-288
Abstract

Using Multiple Models to Understand Data / 1723
Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan
doi: 10.5591/978-1-57735-516-8/IJCAI11-289
Abstract

Feature Learning for Activity Recognition in Ubiquitous Computing / 1729
Thomas Plötz, Nils Y. Hammerla, Patrick Olivier
doi: 10.5591/978-1-57735-516-8/IJCAI11-290
Abstract

A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns / 1735
Jan Treur
doi: 10.5591/978-1-57735-516-8/IJCAI11-291
Abstract

A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions / 1743
Jan Treur
doi: 10.5591/978-1-57735-516-8/IJCAI11-292
Abstract

Active Graph Reachability Reduction for Network Security and Software Engineering / 1750
Alice X. Zheng, John Dunagan, Ashish Kapoor
doi: 10.5591/978-1-57735-516-8/IJCAI11-293
Abstract

VOLUME THREE

Natural Language Processing

Learning Cause Identifiers from Annotator Rationales / 1758
Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Rahman Khan
doi: 10.5591/978-1-57735-516-8/IJCAI11-295
Abstract

Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images / 1764
Shane Bergsma, Benjamin Van Durme
doi: 10.5591/978-1-57735-516-8/IJCAI11-296
Abstract

Semantic Relationship Discovery with Wikipedia Structure / 1770
Fan Bu, Yu Hao, Xiaoyan Zhu
doi: 10.5591/978-1-57735-516-8/IJCAI11-297
Abstract

Short Text Classification Improved by Learning Multi-Granularity Topics / 1776
Mengen Chen, Xiaoming Jin, Dou Shen
doi: 10.5591/978-1-57735-516-8/IJCAI11-298
Abstract

Online Latent Structure Training for Language Acquisition / 1782
Michael Connor, Cynthia Fisher, Dan Roth
doi: 10.5591/978-1-57735-516-8/IJCAI11-299
Abstract

Predicting Globally-Coherent Temporal Structures from Texts via Endpoint Inference and Graph Decomposition / 1788
Pascal Denis, Philippe Muller
doi: 10.5591/978-1-57735-516-8/IJCAI11-300
Abstract

Learning from Natural Instructions / 1794
Dan Goldwasser, Dan Roth
doi: 10.5591/978-1-57735-516-8/IJCAI11-301
Abstract

Automatic Discovery of Fuzzy Synsets from Dictionary Definitions / 1801
Hugo Gonçalo Oliveira, Paulo Gomes
doi: 10.5591/978-1-57735-516-8/IJCAI11-302
Abstract

Unsupervised Modeling of Dialog Acts in Asynchronous Conversations / 1807
Shafiq Joty, Giuseppe Carenini, Chin-Yew Lin
doi: 10.5591/978-1-57735-516-8/IJCAI11-303
Abstract

Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information / 1814
Fang Kong, Guodong Zhou
doi: 10.5591/978-1-57735-516-8/IJCAI11-304
Abstract

Incorporating Reviewer and Product Information for Review Rating Prediction / 1820
Fangtao Li, Nathan Liu, Hongwei Jin, Kai Zhao, Qiang Yang, Xiaoyan Zhu
doi: 10.5591/978-1-57735-516-8/IJCAI11-305
Abstract

Semi-Supervised Learning for Imbalanced Sentiment Classification / 1826
Shoushan Li, Zhongqing Wang, Guodong Zhou, Sophia Yat Mei Lee
doi: 10.5591/978-1-57735-516-8/IJCAI11-306
Abstract

Collective Semantic Role Labeling for Tweets with Clustering / 1832
Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong
doi: 10.5591/978-1-57735-516-8/IJCAI11-307
Abstract

SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately / 1838
Chi-kiu Lo, Dekai Wu
doi: 10.5591/978-1-57735-516-8/IJCAI11-308
Abstract

Constraint Optimization Approach to Context Based Word Selection / 1846
Jun Matsuno, Toru Ishida
doi: 10.5591/978-1-57735-516-8/IJCAI11-309
Abstract

An Approach to Answer Selection in Question-Answering Based on Semantic Relations / 1852
Ana Cristina Mendes, Luísa Coheur
doi: 10.5591/978-1-57735-516-8/IJCAI11-310
Abstract

Learning for Deep Language Understanding / 1858
Smaranda Muresan
doi: 10.5591/978-1-57735-516-8/IJCAI11-311
Abstract

Improving Topic Evaluation Using Conceptual Knowledge / 1866
Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu
doi: 10.5591/978-1-57735-516-8/IJCAI11-312
Abstract

A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch / 1872
Roberto Navigli, Paola Velardi, Stefano Faralli
doi: 10.5591/978-1-57735-516-8/IJCAI11-313
Abstract

Sample Efficient On-Line Learning of Optimal Dialogue Policies with Kalman Temporal Differences / 1878
Olivier Pietquin, Matthieu Geist, Senthilkumar Chandramohan
doi: 10.5591/978-1-57735-516-8/IJCAI11-314
Abstract

Ensemble-Based Coreference Resolution / 1884
Altaf Rahman, Vincent Ng
doi: 10.5591/978-1-57735-516-8/IJCAI11-315
Abstract

Unsupervised Lexicon Acquisition for HPSG-Based Relation Extraction / 1890
Benjamin Rozenfeld, Ronen Feldman
doi: 10.5591/978-1-57735-516-8/IJCAI11-316
Abstract

Interfacing Virtual Agents with Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models / 1896
Ulli Waltinger, Alexa Breuing, Ipke Wachsmuth
doi: 10.5591/978-1-57735-516-8/IJCAI11-317
Abstract

Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context / 1903
Li Zhang
doi: 10.5591/978-1-57735-516-8/IJCAI11-318
Abstract

Entity Linking with Effective Acronym Expansion, Instance Selection, and Topic Modeling / 1909
Wei Zhang, Yan Chuan Sim, Jian Su, Chew Lim Tan
doi: 10.5591/978-1-57735-516-8/IJCAI11-319
Abstract

Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR / 1915
Yuejie Zhang, Lei Cen, Cheng Jin, Xiangyang Xue, Jianping Fan
doi: 10.5591/978-1-57735-516-8/IJCAI11-320
Abstract

Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing / 1921
Yuejie Zhang, Lei Cen, Wei Wu, Cheng Jin, Xiangyang Xue
doi: 10.5591/978-1-57735-516-8/IJCAI11-321
Abstract

Planning and Scheduling

DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes / 1928
Jennifer L. Barry, Leslie Pack Kaelbling, Tomás Lozano-Pérez
doi: 10.5591/978-1-57735-516-8/IJCAI11-323
Abstract

Planning under Partial Observability by Classical Replanning: Theory and Experiments / 1936
Blai Bonet, Hector Geffner
doi: 10.5591/978-1-57735-516-8/IJCAI11-324
Abstract

Risk-Sensitive Policies for Sustainable Renewable Resource Allocation / 1942
Stefano Ermon, Jon Conrad, Carla Gomes, Bart Selman
doi: 10.5591/978-1-57735-516-8/IJCAI11-325
Abstract

Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems / 1949
Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen
doi: 10.5591/978-1-57735-516-8/IJCAI11-326
Abstract

On the Decidability of HTN Planning with Task Insertion / 1955
Thomas Geier, Pascal Bercher
doi: 10.5591/978-1-57735-516-8/IJCAI11-327
Abstract

Transfer Learning for Activity Recognition via Sensor Mapping / 1962
Derek Hao Hu, Qiang Yang
doi: 10.5591/978-1-57735-516-8/IJCAI11-328
Abstract

Point-Based Value Iteration for Constrained POMDPs / 1968
Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart
doi: 10.5591/978-1-57735-516-8/IJCAI11-329
Abstract

Monitoring the Execution of Partial-Order Plans via Regression / 1975
Christian Muise, Sheila A. McIlraith, J. Christopher Beck
doi: 10.5591/978-1-57735-516-8/IJCAI11-330
Abstract

Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning / 1983
Raz Nissim, Jörg Hoffmann, Malte Helmert
doi: 10.5591/978-1-57735-516-8/IJCAI11-331
Abstract

Iterative Flattening Search for the Flexible Job Shop Scheduling Problem / 1991
Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith
doi: 10.5591/978-1-57735-516-8/IJCAI11-332
Abstract

Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling / 1997
Dario Pacino, Pascal Van Hentenryck
doi: 10.5591/978-1-57735-516-8/IJCAI11-333
Abstract

Computing Infinite Plans for LTL Goals Using a Classical Planner / 2003
Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner
doi: 10.5591/978-1-57735-516-8/IJCAI11-334
Abstract

Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent / 2009
Miquel Ramírez, Hector Geffner
doi: 10.5591/978-1-57735-516-8/IJCAI11-335
Abstract

Planning with SAT, Admissible Heuristics and A* / 2015
Jussi Rintanen
doi: 10.5591/978-1-57735-516-8/IJCAI11-336
Abstract

Replanning in Domains with Partial Information and Sensing Actions / 2021
Guy Shani, Ronen I. Brafman
doi: 10.5591/978-1-57735-516-8/IJCAI11-337
Abstract

Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion / 2027
Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato
doi: 10.5591/978-1-57735-516-8/IJCAI11-338
Abstract

On the Effectiveness of CNF and DNF Representations in Contingent Planning / 2033
Son Thanh To, Enrico Pontelli, Tran Cao Son
doi: 10.5591/978-1-57735-516-8/IJCAI11-339
Abstract

Bounded Intention Planning / 2039
Jason Wolfe, Stuart Russell
doi: 10.5591/978-1-57735-516-8/IJCAI11-340
Abstract

Probabilistic Goal Markov Decision Processes / 2046
Huan Xu, Shie Mannor
doi: 10.5591/978-1-57735-516-8/IJCAI11-341
Abstract

Robotics and Vision

Capturing an Evader in a Polygonal Environment with Obstacles / 2054
Deepak Bhadauria, Volkan Isler
doi: 10.5591/978-1-57735-516-8/IJCAI11-343
Abstract

Aesthetic Guideline Driven Photography by Robots / 2060
Raghudeep Gadde, Kamalakar Karlapalem
doi: 10.5591/978-1-57735-516-8/IJCAI11-344
Abstract

Accommodating Human Variability in Human-Robot Teams through Theory of Mind / 2066
Laura M. Hiatt, Anthony M. Harrison, J. Gregory Trafton
doi: 10.5591/978-1-57735-516-8/IJCAI11-345
Abstract

Robotic Object Detection: Learning to Improve the Classifiers Using Sparse Graphs for Path Planning / 2072
Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen
doi: 10.5591/978-1-57735-516-8/IJCAI11-346
Abstract

Conics with a Common Axis of Symmetry: Properties and Applications to Camera Calibration / 2079
Zijian Zhao
doi: 10.5591/978-1-57735-516-8/IJCAI11-347
Abstract

User-Dependent Aspect Model for Collaborative Activity Recognition / 2085
Vincent W. Zheng, Qiang Yang
doi: 10.5591/978-1-57735-516-8/IJCAI11-348
Abstract

Uncertainty in AI

Lifted Relational Kalman Filtering / 2092
Jaesik Choi, Abner Guzman-Rivera, Eyal Amir
doi: 10.5591/978-1-57735-516-8/IJCAI11-350
Abstract

New Complexity Results for MAP in Bayesian Networks / 2100
Cassio P. de Campos
doi: 10.5591/978-1-57735-516-8/IJCAI11-351
Abstract

Inference with Multinomial Data: Why to Weaken the Prior Strength / 2107
Cassio P. de Campos, Alessio Benavoli
doi: 10.5591/978-1-57735-516-8/IJCAI11-352
Abstract

Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo / 2113
Haris Dindo, Daniele Zambuto, Giovanni Pezzulo
doi: 10.5591/978-1-57735-516-8/IJCAI11-353
Abstract

Resolute Choice in Sequential Decision Problems with Multiple Priors / 2120
Hélène Fargier, Gildas Jeantet, Olivier Spanjaard
doi: 10.5591/978-1-57735-516-8/IJCAI11-354
Abstract

Pairwise Decomposition for Combinatorial Optimization in Graphical Models / 2126
Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex
doi: 10.5591/978-1-57735-516-8/IJCAI11-355
Abstract

Randomized Sensing in Adversarial Environments / 2133
Andreas Krause, Alex Roper, Daniel Golovin
doi: 10.5591/978-1-57735-516-8/IJCAI11-356
Abstract

Scalable Multiagent Planning Using Probabilistic Inference / 2140
Akshat Kumar, Shlomo Zilberstein, Marc Toussaint
doi: 10.5591/978-1-57735-516-8/IJCAI11-357
Abstract

A Trust Prediction Approach Capturing Agents’ Dynamic Behavior / 2147
Xin Liu, Anwitaman Datta
doi: 10.5591/978-1-57735-516-8/IJCAI11-358
Abstract

Log-Linear Description Logics / 2153
Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt
doi: 10.5591/978-1-57735-516-8/IJCAI11-359
Abstract

Eliciting Additive Reward Functions for Markov Decision Processes / 2159
Kevin Regan, Craig Boutilier
doi: 10.5591/978-1-57735-516-8/IJCAI11-360
Abstract

Robust Online Optimization of Reward-Uncertain MDPs / 2165
Kevin Regan, Craig Boutilier
doi: 10.5591/978-1-57735-516-8/IJCAI11-361
Abstract

Finding (α, ϑ)-Solutions via Sampled SCSPs / 2172
Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven Prestwich
doi: 10.5591/978-1-57735-516-8/IJCAI11-362
Abstract

Lifted Probabilistic Inference by First-Order Knowledge Compilation / 2178
Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt
doi: 10.5591/978-1-57735-516-8/IJCAI11-363
Abstract

Learning Optimal Bayesian Networks Using A* Search / 2186
Changhe Yuan, Brandon Malone, Xiaojian Wu
doi: 10.5591/978-1-57735-516-8/IJCAI11-364
Abstract

Bayesian Chain Classifiers for Multidimensional Classification / 2192
Julio H. Zaragoza, L. Enrique Sucar, Eduardo F. Morales, Concha Bielza, Pedro Larrañaga
doi: 10.5591/978-1-57735-516-8/IJCAI11-365
Abstract

Web and Knowledge-Based Information Systems

CCR — A Content-Collaborative Reciprocal Recommender for Online Dating / 2199
Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Pizzato, Judy Kay, Tomasz Rej
doi: 10.5591/978-1-57735-516-8/IJCAI11-367
Abstract

Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision / 2205
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka
doi: 10.5591/978-1-57735-516-8/IJCAI11-368
Abstract

Leveraging Unlabeled Data to Scale Blocking for Record Linkage / 2211
Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin, Yong Yu
doi: 10.5591/978-1-57735-516-8/IJCAI11-369
Abstract

A Convex Formulation of Modularity Maximization for Community Detection / 2218
Emprise Y. K. Chan, Dit-Yan Yeung
doi: 10.5591/978-1-57735-516-8/IJCAI11-370
Abstract

What to Ask to an Incomplete Semantic Web Reasoner? / 2226
Bernardo Cuenca Grau, Giorgos Stoilos
doi: 10.5591/978-1-57735-516-8/IJCAI11-371
Abstract

The Modular Structure of an Ontology: Atomic Decomposition / 2232
Chiara Del Vescovo, Bijan Parsia, Uli Sattler, Thomas Schneider
doi: 10.5591/978-1-57735-516-8/IJCAI11-372
Abstract

Fast Algorithm for Affinity Propagation / 2238
Yasuhiro Fujiwara, Go Irie, Tomoe Kitahara
doi: 10.5591/978-1-57735-516-8/IJCAI11-373
Abstract

Mining the Web for the “Voice of the Herd” to Track Stock Market Bubbles / 2244
Aaron Gerow, Mark T. Keane
doi: 10.5591/978-1-57735-516-8/IJCAI11-374
Abstract

Relevance Feedback between Web Search and the Semantic Web / 2250
Harry Halpin, Victor Lavrenko
doi: 10.5591/978-1-57735-516-8/IJCAI11-375
Abstract

Finding the Hidden Gems: Recommending Untagged Music / 2256
Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell
doi: 10.5591/978-1-57735-516-8/IJCAI11-376
Abstract

Fashion Coordinates Recommender System Using Photographs from Fashion Magazines / 2262
Tomoharu Iwata, Shinji Wanatabe, Hiroshi Sawada
doi: 10.5591/978-1-57735-516-8/IJCAI11-377
Abstract

Mining Longitudinal Network for Predicting Company Value / 2268
Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka
doi: 10.5591/978-1-57735-516-8/IJCAI11-378
Abstract

Context Sensitive Topic Models for Author Influence in Document Networks / 2274
Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles
doi: 10.5591/978-1-57735-516-8/IJCAI11-379
Abstract

Multi-Perspective Linking of News Articles within a Repository / 2281
Arpit Khurdiya, Lipika Dey, Nidhi Raj, Sk. Mirajul Haque
doi: 10.5591/978-1-57735-516-8/IJCAI11-380
Abstract

Social Abstract Argumentation / 2287
João Leite, João Martins

(Corrected version. For historical reasons, the previous version is here)

doi: 10.5591/978-1-57735-516-8/IJCAI11-381
Abstract

Cross-Domain Collaborative Filtering over Time / 2293
Bin Li, Xingquan Zhu, Ruijiang Li, Chengqi Zhang, Xiangyang Xue, Xindong Wu
doi: 10.5591/978-1-57735-516-8/IJCAI11-382
Abstract

Minimally Complete Recommendations / 2299
David McSherry
doi: 10.5591/978-1-57735-516-8/IJCAI11-383
Abstract

User Similarity from Linked Taxonomies: Subjective Assessments of Items / 2305
Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama, Ko Fujimura
doi: 10.5591/978-1-57735-516-8/IJCAI11-384
Abstract

LIMES — A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data / 2312
Axel-Cyrille Ngonga Ngomo, Sören Auer
doi: 10.5591/978-1-57735-516-8/IJCAI11-385
Abstract

Transfer Learning to Predict Missing Ratings via Heterogeneous User Feedbacks / 2318
Weike Pan, Nathan N. Liu, Evan W. Xiang, Qiang Yang
doi: 10.5591/978-1-57735-516-8/IJCAI11-386
Abstract

Making Better Informed Trust Decisions with Generalized Fact-Finding / 2324
Jeff Pasternack, Dan Roth
doi: 10.5591/978-1-57735-516-8/IJCAI11-387
Abstract

Short Text Conceptualization Using a Probabilistic Knowledgebase / 2330
Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen
doi: 10.5591/978-1-57735-516-8/IJCAI11-388
Abstract

A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere / 2337
Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li
doi: 10.5591/978-1-57735-516-8/IJCAI11-389
Abstract

Matching Large Ontologies Based on Reduction Anchors / 2343
Peng Wang, Yuming Zhou, Baowen Xu
doi: 10.5591/978-1-57735-516-8/IJCAI11-390
Abstract

Line Orthogonality in Adjacency Eigenspace with Application to Community Partition / 2349
Leting Wu, Xiaowei Ying, Xintao Wu, Zhi-Hua Zhou
doi: 10.5591/978-1-57735-516-8/IJCAI11-391
Abstract

Source-Selection-Free Transfer Learning / 2355
Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang
doi: 10.5591/978-1-57735-516-8/IJCAI11-392
Abstract

Predicting Epidemic Tendency through Search Behavior Analysis / 2361
Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru
doi: 10.5591/978-1-57735-516-8/IJCAI11-393
Abstract

Mining User Dwell Time for Personalized Web Search Re-Ranking / 2367
Songhua Xu, Hao Jiang, Francis Chi-Moon Lau
doi: 10.5591/978-1-57735-516-8/IJCAI11-394
Abstract

Efficient Searching Top-k Semantic Similar Words / 2373
Zhenglu Yang, Masaru Kitsuregawa
doi: 10.5591/978-1-57735-516-8/IJCAI11-395
Abstract

Recommender Systems from “Words of Few Mouths” / 2379
Richong Zhang, Thomas Tran, Yongyi Mao
doi: 10.5591/978-1-57735-516-8/IJCAI11-396
Abstract

Special Track on Integrated and Embedded Artificial Intelligence

Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments / 2386
Alejandro Agostini, Carme Torras, Florentin Wörgötter
doi: 10.5591/978-1-57735-516-8/IJCAI11-398
Abstract

Plan Recognition in Virtual Laboratories / 2392
Ofra Amir, Ya’akov (Kobi) Gal
doi: 10.5591/978-1-57735-516-8/IJCAI11-399
Abstract

A Comprehensive Approach to On-Board Autonomy Verification and Validation / 2398
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev
doi: 10.5591/978-1-57735-516-8/IJCAI11-400
Abstract

Non-Linear Monte-Carlo Search in Civilization II / 2404
S. R. K Branavan, David Silver, Regina Barzilay
doi: 10.5591/978-1-57735-516-8/IJCAI11-401
Abstract

Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach / 2411
Huanhuan Chen, Anthony G. Cohn
doi: 10.5591/978-1-57735-516-8/IJCAI11-402
Abstract

Enhancing Search Results with Semantic Annotation Using Augmented Browsing / 2418
Hong-Jie Dai, Wei-Chi Tsai, Richard Tzong-Han Tsai, Wen-Lian Hsu
doi: 10.5591/978-1-57735-516-8/IJCAI11-403
Abstract

Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins / 2424
Hieu Chi Dam, Tu Bao Ho, Ayumu Sugiyama
doi: 10.5591/978-1-57735-516-8/IJCAI11-404
Abstract

A Natural Language Question Answering System as a Participant in Human Q&A Portals / 2430
Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer
doi: 10.5591/978-1-57735-516-8/IJCAI11-405
Abstract

Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes / 2436
Martin Field, Stephanie Valentine, Julie Linsey, Tracy Hammond
doi: 10.5591/978-1-57735-516-8/IJCAI11-406
Abstract

Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour / 2442
Marc Hanheide, Charles Gretton, R. Dearden, Nick Hawes, Jeremy Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender
doi: 10.5591/978-1-57735-516-8/IJCAI11-407
Abstract

Integrated Learning for Goal-Driven Autonomy / 2450
Ulit Jaidee, Héctor Muñoz-Avila, David W. Aha
doi: 10.5591/978-1-57735-516-8/IJCAI11-408
Abstract

Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search / 2456
Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao
doi: 10.5591/978-1-57735-516-8/IJCAI11-409
Abstract

A New Search Engine Integrating Hierarchical Browsing and Keyword Search / 2464
Da Kuang, Xiao Li, Charles X. Ling
doi: 10.5591/978-1-57735-516-8/IJCAI11-410
Abstract

Resource-Bounded Crowd-Sourcing of Commonsense Knowledge / 2470
Yen-Ling Kuo, Jane Yung-jen Hsu
doi: 10.5591/978-1-57735-516-8/IJCAI11-411
Abstract

A Real-Time Opponent Modeling System for Rush Football / 2476
Kennard Laviers, Gita Sukthankar
doi: 10.5591/978-1-57735-516-8/IJCAI11-412
Abstract

Coordinating Logistics Operations with Privacy Guarantees / 2482
Thomas Léauté, Boi Faltings
doi: 10.5591/978-1-57735-516-8/IJCAI11-413
Abstract

Learning to Identify Review Spam / 2488
Fangtao Li, Minlie Huang, Yi Yang, Xiaoyan Zhu
doi: 10.5591/978-1-57735-516-8/IJCAI11-414
Abstract

A System for Providing Differentiated QoS in Retail Banking / 2494
Sameep Mehta, Girish Chafle, Gyana Parija, Vikas Kedia
doi: 10.5591/978-1-57735-516-8/IJCAI11-415
Abstract

Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining / 2500
Sildomar T. Monteiro, Joop van de Ven, Fabio Ramos, Peter Hatherly
doi: 10.5591/978-1-57735-516-8/IJCAI11-416
Abstract

Interest Prediction on Multinomial, Time-Evolving Social Graph / 2507
Nozomi Nori, Danushka Bollegala, Mitsuru Ishizuka
doi: 10.5591/978-1-57735-516-8/IJCAI11-417
Abstract

An Agent Architecture for Prognostic Reasoning Assistance / 2513
Jean Oh, Felipe Meneguzzi, Katia Sycara, Timothy J. Norman
doi: 10.5591/978-1-57735-516-8/IJCAI11-418
Abstract

Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling, and Recommendations Based on Human Computer Interaction and Data Mining / 2519
Ismael Pascual-Nieto, Olga C. Santos, Diana Perez-Marin, Jesus G. Boticario
doi: 10.5591/978-1-57735-516-8/IJCAI11-419
Abstract

Integrating Learning into a BDI Agent for Environments with Changing Dynamics / 2525
Dhirendra Singh, Sebastian Sardina, Lin Padgham, Geoff James
doi: 10.5591/978-1-57735-516-8/IJCAI11-420
Abstract

Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems / 2531
Maarika Teose, Kiyan Ahmadizadeh, Eoin O’Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla Gomes, Yrjo Grohn
doi: 10.5591/978-1-57735-516-8/IJCAI11-421
Abstract

Kinship Verification through Transfer Learning / 2539
Siyu Xia, Ming Shao, Yun Fu
doi: 10.5591/978-1-57735-516-8/IJCAI11-422
Abstract

Cross-People Mobile-Phone Based Activity Recognition / 2545
Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu
doi: 10.5591/978-1-57735-516-8/IJCAI11-423
Abstract

CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method / 2551
Yabin Zheng, Chen Li, Maosong Sun
doi: 10.5591/978-1-57735-516-8/IJCAI11-424
Abstract

Best Paper Track

A Geometric View of Conjugate Priors / 2558
Arvind Agarwal, Hal Daumé III
doi: 10.5591/978-1-57735-516-8/IJCAI11-426
Abstract

Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage / 2564
Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian
doi: 10.5591/978-1-57735-516-8/IJCAI11-427
Abstract

Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width / 2570
Eli Ben-Sasson, Jan Johannsen
doi: 10.5591/978-1-57735-516-8/IJCAI11-428
Abstract

Community Detection in Social Networks through Community Formation Games / 2576
Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang
doi: 10.5591/978-1-57735-516-8/IJCAI11-429
Abstract

An Algorithm for Adapting Cases Represented in ALC / 2582
Julien Cojan, Jean Lieber
doi: 10.5591/978-1-57735-516-8/IJCAI11-430
Abstract

Exploring Protein Fragment Assembly Using CLP / 2590
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
doi: 10.5591/978-1-57735-516-8/IJCAI11-431
Abstract

Translation-Based Constraint Answer Set Solving / 2596
Christian Drescher, Toby Walsh
doi: 10.5591/978-1-57735-516-8/IJCAI11-432
Abstract

Incentive Engineering for Boolean Games / 2602
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge
doi: 10.5591/978-1-57735-516-8/IJCAI11-433
Abstract

A Flat Histogram Method for Computing the Density of States of Combinatorial Problems / 2608
Stefano Ermon, Carla Gomes, Bart Selman
doi: 10.5591/978-1-57735-516-8/IJCAI11-434
Abstract

picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices / 2614
Andrew Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita
doi: 10.5591/978-1-57735-516-8/IJCAI11-435
Abstract

Automatic Construction of Efficient Multiple Battery Usage Policies / 2620
Maria Fox, Derek Long, Daniele Magazzeni
doi: 10.5591/978-1-57735-516-8/IJCAI11-436
Abstract

Finite Model Computation via Answer Set Programming / 2626
Martin Gebser, Orkunt Sabuncu, Torsten Schaub
doi: 10.5591/978-1-57735-516-8/IJCAI11-437
Abstract

Measuring the Good and the Bad in Inconsistent Information / 2632
John Grant, Anthony Hunter
doi: 10.5591/978-1-57735-516-8/IJCAI11-438
Abstract

A Correctness Result for Reasoning about One-Dimensional Planning Problems / 2638
Yuxiao Hu, Hector J. Levesque
doi: 10.5591/978-1-57735-516-8/IJCAI11-439
Abstract

A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks / 2644
Mohsen Jamali, Martin Ester
doi: 10.5591/978-1-57735-516-8/IJCAI11-440
Abstract

Reinforcement Learning to Adjust Robot Movements to New Situations / 2650
Jens Kober, Erhan Oztop, Jan Peters
doi: 10.5591/978-1-57735-516-8/IJCAI11-441
Abstract

The Combined Approach to Ontology-Based Data Access / 2656
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
doi: 10.5591/978-1-57735-516-8/IJCAI11-442
Abstract

Reasoning and Proofing Services for Semantic Web Agents / 2662
Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades
doi: 10.5591/978-1-57735-516-8/IJCAI11-443
Abstract

Efficient Rule-Based Inferencing for OWL EL / 2668
Markus Krötzsch
doi: 10.5591/978-1-57735-516-8/IJCAI11-444
Abstract

Flexible Tree Matching / 2674
Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer
doi: 10.5591/978-1-57735-516-8/IJCAI11-445
Abstract

Enhancing Case Adaptation with Introspective Reasoning and Web Mining / 2680
David Leake, Jay Powell
doi: 10.5591/978-1-57735-516-8/IJCAI11-446
Abstract

Recommender Systems, Missing Data and Statistical Model Estimation / 2686
Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney
doi: 10.5591/978-1-57735-516-8/IJCAI11-447
Abstract

Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms / 2692
Dimitrios Mavroeidis
doi: 10.5591/978-1-57735-516-8/IJCAI11-448
Abstract

Ties Matter: Complexity of Voting Manipulation Revisited / 2698
Svetlana Obraztsova, Edith Elkind, Noam Hazon
doi: 10.5591/978-1-57735-516-8/IJCAI11-449
Abstract

An On-Line Algorithm for Semantic Forgetting / 2704
Heather S. Packer, Nicholas Gibbins, Nicholas R. Jennings
doi: 10.5591/978-1-57735-516-8/IJCAI11-450
Abstract

GUARDS — Innovative Application of Game Theory for National Airport Security / 2710
James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald
doi: 10.5591/978-1-57735-516-8/IJCAI11-451
Abstract

Norm Compliance of Rule-Based Cognitive Agents / 2716
Antonino Rotolo
doi: 10.5591/978-1-57735-516-8/IJCAI11-452
Abstract

Theoretical Justification of Popular Link Prediction Heuristics / 2722
Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore
doi: 10.5591/978-1-57735-516-8/IJCAI11-453
Abstract

Evaluation of Group Profiling Strategies / 2728
Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan
doi: 10.5591/978-1-57735-516-8/IJCAI11-454
Abstract

Connecting the Dots between News Articles / 2734
Dafna Shahaf, Carlos Guestrin
doi: 10.5591/978-1-57735-516-8/IJCAI11-455
Abstract

Learning Linear and Kernel Predictors with the 0–1 Loss Function / 2740
Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan
doi: 10.5591/978-1-57735-516-8/IJCAI11-456
Abstract

Adaptive Data Compression for Robot Perception / 2746
Mike Smith, Ingmar Posner, Paul Newman
doi: 10.5591/978-1-57735-516-8/IJCAI11-457
Abstract

Active Exploration for Robust Object Detection / 2752
Javier Velez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy
doi: 10.5591/978-1-57735-516-8/IJCAI11-458
Abstract

A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks / 2758
Shenghui Wang, Paul Groth
doi: 10.5591/978-1-57735-516-8/IJCAI11-459
Abstract

WSABIE: Scaling Up to Large Vocabulary Image Annotation / 2764
Jason Weston, Samy Bengio, Nicolas Usunier
doi: 10.5591/978-1-57735-516-8/IJCAI11-460
Abstract

Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization / 2771
Koji Yatani, Michael Novati, Andrew Trusty, Khai N. Truong
doi: 10.5591/978-1-57735-516-8/IJCAI11-461
Abstract

Large Linear Classification When Data Cannot Fit in Memory / 2777
Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-Jen Lin
doi: 10.5591/978-1-57735-516-8/IJCAI11-462
Abstract

Doctoral Consortium

Solving the Multiagent Selection and Scheduling Problem / 2784
James Boerkoel
doi: 10.5591/978-1-57735-516-8/IJCAI11-464
Abstract

Decision Support through Argumentation-Based Practical Reasoning / 2786
Federico Cerutti
doi: 10.5591/978-1-57735-516-8/IJCAI11-465
Abstract

Behaviour Recognition in Smart Homes / 2788
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen
doi: 10.5591/978-1-57735-516-8/IJCAI11-466
Abstract

Statement of Thesis Research: Multi-Robot Sampling Strategies for Large-Scale Oceanographic Experiments / 2790
Jnaneshwar Das
doi: 10.5591/978-1-57735-516-8/IJCAI11-467
Abstract

Control of Robotic Systems for Safe Interaction with Human Operators / 2792
Hao Ding
doi: 10.5591/978-1-57735-516-8/IJCAI11-468
Abstract

Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides / 2794
Márcio Dorn, Luciana S. Buriol, Luis C. Lamb
doi: 10.5591/978-1-57735-516-8/IJCAI11-469
Abstract

An Agent-Oriented Software Engineering Methodology to Develop Adaptive Virtual Organizations / 2796
Sergio Esparcia, Estefanía Argente, Vicente Botti
doi: 10.5591/978-1-57735-516-8/IJCAI11-470
Abstract

Towards Social Problem-Solving with Human Subjects / 2798
Daniel S. Farenzena, Ricardo M. Araujo, Luis C. Lamb
doi: 10.5591/978-1-57735-516-8/IJCAI11-471
Abstract

Towards Spatial Methods for Socially Assistive Robotics: Validation with Children with Autism Spectrum Disorders / 2800
David Feil-Seifer
doi: 10.5591/978-1-57735-516-8/IJCAI11-472
Abstract

Regret Minimization in Multiplayer Extensive Games / 2802
Richard Gibson, Duane Szafron
doi: 10.5591/978-1-57735-516-8/IJCAI11-473
Abstract

Combinatorial Aggregation / 2804
Umberto Grandi
doi: 10.5591/978-1-57735-516-8/IJCAI11-474
Abstract

Combining Spatial and Temporal Aspects of Prediction Problems to Improve Prediction Performance / 2806
William Groves
doi: 10.5591/978-1-57735-516-8/IJCAI11-475
Abstract

A Decision-Theoretic Academic Advisor: Extended Abstract / 2808
Joshua T. Guerin
doi: 10.5591/978-1-57735-516-8/IJCAI11-476
Abstract

Belief Revision on Computation Tree Logic / 2810
Paulo T. Guerra, Renata Wassermann
doi: 10.5591/978-1-57735-516-8/IJCAI11-477
Abstract

Distributed Constraint Optimization Problems Related with Soft Arc Consistency / 2812
Patricia Gutierrez, Pedro Meseguer
doi: 10.5591/978-1-57735-516-8/IJCAI11-478
Abstract

A Trust and Reputation Model for Supply Chain Management / 2814
Yasaman Haghpanah
doi: 10.5591/978-1-57735-516-8/IJCAI11-479
Abstract

Graph Pruning and Symmetry Breaking on Grid Maps / 2816
Daniel Harabor
doi: 10.5591/978-1-57735-516-8/IJCAI11-480
Abstract

Towards Scalable MDP Algorithms / 2818
Andrey Kolobov, Mausam, Daniel S. Weld
doi: 10.5591/978-1-57735-516-8/IJCAI11-481
Abstract

Talking about Trust in Heterogeneous Multi-Agent Systems / 2820
Andrew Koster, Jordi Sabater-Mir, Marco Schorlemmer
doi: 10.5591/978-1-57735-516-8/IJCAI11-482
Abstract

An Analysis of Multiobjective Search Algorithms and Heuristics / 2822
Enrique Machuca
doi: 10.5591/978-1-57735-516-8/IJCAI11-483
Abstract

On Temporal Regulations and Commitment Protocols / 2824
Elisa Marengo, Matteo Baldoni, Cristina Baroglio
doi: 10.5591/978-1-57735-516-8/IJCAI11-484
Abstract

Contributions to Personalizable Knowledge Integration / 2826
Maria Vanina Martinez
doi: 10.5591/978-1-57735-516-8/IJCAI11-485
Abstract

Decision Making under Uncertainty: Social Choice and Manipulation / 2828
Nicholas Mattei
doi: 10.5591/978-1-57735-516-8/IJCAI11-486
Abstract

RDFKB: A Semantic Web Knowledge Base / 2830
James P. McGlothlin, Latifur Khan, Bhavani Thuraisingham
doi: 10.5591/978-1-57735-516-8/IJCAI11-487
Abstract

Research Proposal: Cooperation among Self Interested Agents / 2832
Reshef Meir
doi: 10.5591/978-1-57735-516-8/IJCAI11-488
Abstract

Temporal Defeasible Argumentation in Multi-Agent Planning / 2834
Sergio Pajares, Eva Onaindia
doi: 10.5591/978-1-57735-516-8/IJCAI11-489
Abstract

Human Behavior Analysis from Video Data Using Bag-of-Gestures / 2836
Víctor Ponce, Mario Gorga, Xavier Baró, Sergio Escalera
doi: 10.5591/978-1-57735-516-8/IJCAI11-490
Abstract

Multi-Agent Coordination: DCOPs and Beyond / 2838
Marc Pujol-Gonzalez
doi: 10.5591/978-1-57735-516-8/IJCAI11-491
Abstract

Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning / 2840
Sindhu V. Raghavan
doi: 10.5591/978-1-57735-516-8/IJCAI11-492
Abstract

From an Agent Logic to an Agent Programming Language for Partially Observable Stochastic Domains / 2842
Gavin Rens
doi: 10.5591/978-1-57735-516-8/IJCAI11-493
Abstract

Agent-Based Negotiation Teams / 2844
Victor Sanchez-Anguix, Vicente Julian, Ana García-Fornes
doi: 10.5591/978-1-57735-516-8/IJCAI11-494
Abstract

A Method for Evaluating and Standardizing Ontologies / 2846
A. Patrice Seyed
doi: 10.5591/978-1-57735-516-8/IJCAI11-495
Abstract

Towards a Model-Centric Cognitive Architecture for Service Robots / 2848
Andreas Steck
doi: 10.5591/978-1-57735-516-8/IJCAI11-496
Abstract

Sensorimotor Models of Space and Object Geometry / 2850
Jeremy Stober
doi: 10.5591/978-1-57735-516-8/IJCAI11-497
Abstract

Multiagent Hierarchical Learning from Demonstration / 2852
Keith Sullivan
doi: 10.5591/978-1-57735-516-8/IJCAI11-498
Abstract

Heuristic Search under Quality and Time Bounds / 2854
Jordan T. Thayer
doi: 10.5591/978-1-57735-516-8/IJCAI11-499
Abstract

On the Impact of Belief State Representation in Planning under Uncertainty / 2856
Son Thanh To
doi: 10.5591/978-1-57735-516-8/IJCAI11-500
Abstract

Autonomous Object Manipulation: A Semantic-Driven Approach / 2858
Nicola Vitucci
doi: 10.5591/978-1-57735-516-8/IJCAI11-501
Abstract

Tractable Massively Multi-Agent Pathfinding with Solution Quality and Completeness Guarantees / 2860
Ko-Hsin Cindy Wang
doi: 10.5591/978-1-57735-516-8/IJCAI11-502
Abstract

Input Parameter Calibration in Forest Fire Spread Prediction: Taking the Intelligent Way / 2862
Kerstin Wendt, Ana Cortés
doi: 10.5591/978-1-57735-516-8/IJCAI11-503
Abstract

Transfer Learning in Spatial Reasoning Puzzles / 2864
Baylor Wetzel
doi: 10.5591/978-1-57735-516-8/IJCAI11-504
Abstract

Trust Mechanisms for Online Systems (Extended Abstract) / 2866
Jens Witkowski
doi: 10.5591/978-1-57735-516-8/IJCAI11-505
Abstract

Mechanism Design for Dynamic Environments: Online Double Auctions / 2868
Dengji Zhao
doi: 10.5591/978-1-57735-516-8/IJCAI11-506
Abstract

Index / 2871