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

Beijing, China, 3–9 August 2013

Edited by
Francesca Rossi, University of Padova

Invited Talks

Computational Perspectives on Social Phenomena at Global Scales / 2
Jon Kleinberg
Abstract

Soft Robotics: The Next Generation of Intelligent Machines / 5
Rolf Pfeifer, Hugo Gravato Marques, Fumiya Iida
Abstract

Computational Disaster Management / 12
Pascal Van Hentenryck
Abstract

Technical Papers and Posters

Agent-Based and Multiagent Systems

Reasoning about Normative Update / 20
Natasha Alechina, Mehdi Dastani, Brian Logan
Abstract

Undecidability in Epistemic Planning / 27
Guillaume Aucher, Thomas Bolander
Abstract

Maximal Recursive Rule: A New Social Decision Scheme / 34
Haris Aziz
Abstract

Audit Games / 41
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha
Abstract

Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games / 48
Branislav Bosansky, Viliam Lisy , Jiri Cermák, Roman Vítek, Michal Pechoucek
Abstract

Externalities in Cake Cutting / 55
Simina Branzei, Ariel D. Procaccia, Jie Zhang
Abstract

Are There Any Nicely Structured Preference Profiles Nearby? / 62
Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger
Abstract

Conditional Restricted Boltzmann Machines for Negotiations in Highly Competitive and Complex Domains / 69
Siqi Chen, Haitham Bou Ammar, Karl Tuyls, Gerhard Weiss
Abstract

Kemeny Elections with Bounded Single-Peaked or Single-Crossing Width / 76
Denis Cornaz, Lucie Galand, Olivier Spanjaard
Abstract

Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations / 83
Mathijs M. de Weerdt, Enrico H. Gerding, Sebastian Stein, Valentin Robu, Nicholas R. Jennings
Abstract

Optimally Solving Dec-POMDPs as Continuous-State MDPs / 90
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet
Abstract

Elicitation and Approximately Stable Matching with Partial Preferences / 97
Joanna Drummond, Craig Boutilier
Abstract

C-Link: A Hierarchical Clustering Approach to Large-Scale Near-Optimal Coalition Formation / 106
Alessandro Farinelli, Manuele Bicego, Sarvapali Ramchurn, Mauro Zucchelli
Abstract

Control in the Presence of Manipulators: Cooperative and Competitive Cases / 113
Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra
Abstract

Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping / 120
Sam Ganzfried, Tuomas Sandholm
Abstract

Bargaining for Revenue Shares on Tree Trading Networks / 129
Arpita Ghosh, Satyen Kale, Kevin Lang, Benjamin Moseley
Abstract

A Matroid Approach to the Worst Case Allocation of Indivisible Goods / 136
Laurent Gourvès, Jérôme Monnot, Lydia Tlilane
Abstract

Audience-Based Uncertainty in Abstract Argument Games / 143
Davide Grossi, Wiebe van der Hoek
Abstract

Optimal Airline Ticket Purchasing Using Automated User-Guided Feature Selection / 150
William Groves, Maria Gini
Abstract

Revenue Maximization via Hiding Item Attributes / 157
Mingyu Guo, Argyrios Deligkas
Abstract

Opponent Modelling in Persuasion Dialogues / 164
Christos Hadjinikolis, Yiannis Siantos, Sanjay Modgil, Elizabeth Black, Peter McBurney
Abstract

Sequential Equilibrium in Computational Games / 171
Joseph Y. Halpern, Rafael Pass
Abstract

Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the Iterated Prisoner’s Dilemma / 177
The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts
Abstract

The Dynamics of Reinforcement Social Learning in Cooperative Multiagent Systems / 184
Jianye Hao, Ho-fung Leung
Abstract

Macau: A Basis for Evaluating Reputation Systems / 191
Christopher J. Hazard, Munindar P. Singh
Abstract

How to Change a Group’s Collective Decision? / 198
Noam Hazon, Raz Lin, Sarit Kraus
Abstract

A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search / 206
Di He, Wei Chen, Liwei Wang, Tie-Yan Liu
Abstract

A Framework to Choose Trust Models for Different E-Marketplace Environments / 213
Athirai A. Irissappane, Siwei Jiang, Jie Zhang
Abstract

Defender (Mis)Coordination in Security Games / 220
Albert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe
Abstract

A Social Welfare Optimal Sequential Allocation Procedure / 227
Thomas Kalinowski, Nina Narodytska, Toby Walsh
Abstract

An Intelligent Broker Agent for Energy Trading: An MDP Approach / 234
Rodrigue T. Kuate, Minghua He, Maria Chli, Hai H. Wang
Abstract

Agent Failures in All-Pay Auctions / 241
Yoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey S. Rosenschein
Abstract

Efficient Learning in Linearly Solvable MDP Models / 248
Ang Li, Paul R. Schrater
Abstract

Game-Theoretic Question Selection for Tests / 254
Yuqian Li, Vincent Conitzer
Abstract

Multi-Winner Social Choice with Incomplete Preferences / 263
Tyler Lu, Craig Boutilier
Abstract

An Ambiguity Aversion Framework of Security Game under Ambiguities / 271
Wenjun Ma, Xudong Luo, Weiru Liu
Abstract

Multi-Agent Team Formation: Diversity Beats Strength? / 279
Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe
Abstract

Control Complexity of Schulze Voting / 286
Curtis Menton, Preetjot Singh
Abstract

Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks / 293
Tomasz P. Michalak, Talal Rahwan, Nicholas R. Jennings, Piotr L. Szczepanski, Oskar Skibski, Ramasuri Narayanam, Michael J. Wooldridge
Abstract

Sufficient Plan-Time Statistics for Decentralized POMDPs / 302
Frans A. Oliehoek
Abstract

Efficient Vote Elicitation under Candidate Uncertainty / 309
Joel Oren, Yuval Filmus, Craig Boutilier
Abstract

A Proof-Theoretical View of Collective Rationality / 317
Daniele Porello
Abstract

Coalitional Games via Network Flows / 324
Talal Rahwan, Tri-Dung Nguyen, Tomasz P. Michalak, Maria Polukarov, Madalina Croitoru, Nicholas R. Jennings
Abstract

Opponent Models with Uncertainty for Strategic Argumentation / 332
Tjitze Rienstra, Matthias Thimm, Nir Oren
Abstract

Efficient Interdependent Value Combinatorial Auctions with Single Minded Bidders / 339
Valentin Robu, David C. Parkes, Takayuki Ito, Nicholas R. Jennings
Abstract

Efficiently Solving Joint Activity Based Security Games / 346
Eric Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe
Abstract

Fully Proportional Representation as Resource Allocation: Approximability Results / 353
Piotr Skowron, Piotr Faliszewski, Arkadii Slinko
Abstract

Bimodal Switching for Online Planning in Multiagent Settings / 360
Ekhlas Sonu, Prashant Doshi
Abstract

Analysis and Optimization of Multi-Dimensional Percentile Mechanisms / 367
Xin Sui, Craig Boutilier, Tuomas Sandholm
Abstract

Multi-Dimensional Single-Peaked Consistency and Its Approximations / 375
Xin Sui, Alex Francois-Nienaber, Craig Boutilier
Abstract

An Efficient Vector-Based Representation for Coalitional Games / 383
Long Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nicholas R. Jennings
Abstract

Endogenous Boolean Games / 390
Paolo Turrini
Abstract

Monte-Carlo Expectation Maximization for Dec-POMDPs / 397
Feng Wu, Shlomo Zilberstein, Nicholas R. Jennings
Abstract

Scaling-Up Security Games with Boundedly Rational Adversaries: A Cutting-Plane Approach / 404
Rong Yang, Albert Xin Jiang, Milind Tambe, Fernando Ordóñez
Abstract

Automated Generation of Interaction Graphs for Value-Factored Decentralized POMDPs / 411
William Yeoh, Akshat Kumar, Shlomo Zilberstein
Abstract

A Reputation Management Approach for Resource Constrained Trustee Agents / 418
Han Yu, Chunyan Miao, Bo An, Cyril Leung, Victor R. Lesser
Abstract

Multiwinner Elections under Preferences that Are Single-Peaked on a Tree / 425
Lan Yu, Hau Chan, Edith Elkind
Abstract

On Random Quotas and Proportional Representation in Weighted Voting Games / 432
Yair Zick
Abstract

Constraints, Satisfiability, and Search

Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics / 440
Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis
Abstract

Just-in-Time Compilation of Knowledge Bases / 447
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
Abstract

Maintaining Alternative Values in Constraint-Based Configuration / 454
Caroline Becker, Hélène Fargier
Abstract

Breakout Local Search for the Vertex Separator Problem / 461
Una Benlic, Jin-Kao Hao
Abstract

Detecting and Exploiting Subproblem Tractability / 468
Christian Bessiere, Clement Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh
Abstract

Constraint Acquisition via Partial Queries / 475
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Abstract

On the Complexity of Trick-Taking Card Games / 482
Édouard Bonnet, Florian Jamain, Abdallah Saffidine
Abstract

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses / 489
Shaowei Cai, Kaile Su
Abstract

A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with Time Windows and Job-Teaming Constraints / 496
Yilin Cai, Zizhen Zhang, Songshan Guo, Hu Qin, Andrew Lim
Abstract

On the Complexity of Global Scheduling Constraints under Structural Restrictions / 503
Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
Abstract

Breaking Symmetries in Graph Representation / 510
Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey
Abstract

Variable Elimination in Binary CSP via Forbidden Patterns / 517
David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Živný
Abstract

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability / 524
Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton
Abstract

An Approach to Abductive Reasoning in Equational Logic / 531
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
Abstract

Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming / 538
Lucie Galand, Julien Lesca, Patrice Perny
Abstract

Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability / 545
Gianluigi Greco, Francesco Scarcello
Abstract

Preserving Partial Solutions while Relaxing Constraint Networks / 552
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
Abstract

Sufficiency-Based Selection Strategy for MCTS / 559
Stefan Freyr Gudmundsson, Yngvi Björnsson
Abstract

DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOP / 566
Daisuke Hatano, Katsutoshi Hirayama
Abstract

Extending Simple Tabular Reduction with Short Supports / 573
Christopher Jefferson, Peter Nightingale
Abstract

Monte Carlo *-Minimax Search / 580
Marc Lanctot, Abdallah Saffidine, Joel Veness, Chris Archibald, Mark H. M. Winands
Abstract

Double-Wheel Graphs Are Graceful / 587
Ronan Le Bras, Carla P. Gomes, Bart Selman
Abstract

Predicting the Size of Depth-First Branch and Bound Search Trees / 594
Levi H. S. Lelis, Lars Otten, Rina Dechter
Abstract

Target-Value Search Revisited / 601
Carlos Linares López, Roni Stern, Ariel Felner
Abstract

Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering / 608
Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
Abstract

On Computing Minimal Correction Subsets / 615
Joao Marques-Silva, Federico Heras, Mikolas Janota, Alessandro Previti, Anton Belov
Abstract

Search Strategies for Optimal Multi-Way Number Partitioning / 623
Michael D. Moffitt
Abstract

Three Generalizations of the FOCUS Constraint / 630
Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh
Abstract

Subset Selection of Search Heuristics / 637
Chris Rayner, Nathan Sturtevant, Michael Bowling
Abstract

Semiring-Based Mini-Bucket Partitioning Schemes / 644
Emma Rollon, Javier Larrosa, Rina Dechter
Abstract

Improved Bin Completion for Optimal Bin Packing and Number Partitioning / 651
Ethan L. Schreiber, Richard E. Korf
Abstract

Forward Perimeter Search with Controlled Use of Memory / 659
Thorsten Schütt, Robert Döbbelin, Alexander Reinefeld
Abstract

Minimizing Writes in Parallel External Memory Search / 666
Nathan R. Sturtevant, Matthew J. Rutherford
Abstract

Towards Rational Deployment of Multiple Heuristics in A* / 674
David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas
Abstract

A Unified Approximate Nearest Neighbor Search Scheme by Combining Data Structure and Hashing / 681
Debing Zhang, Genmao Yang, Yao Hu, Zhongming Jin, Deng Cai, Xiaofei He
Abstract

Knowledge Representation, Reasoning, and Logic

Verifiable Equilibria in Boolean Games / 689
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael Wooldridge
Abstract

Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints / 696
Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis
Abstract

Exchanging OWL 2 QL Knowledge Bases / 703
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
Abstract

Temporal Description Logic for Ontology-Based Data Access / 711
Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
Abstract

Functional Stable Model Semantics and Answer Set Programming Modulo Theories / 718
Michael Bartholomew, Joohyung Lee
Abstract

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems / 725
Francesco Belardinelli, Alessio Lomuscio
Abstract

Reasoning about Continuous Uncertainty in the Situation Calculus / 732
Vaishak Belle, Hector J. Levesque
Abstract

Syntactic Computation of Hybrid Possibilistic Conditioning under Uncertain Inputs / 739
Salem Benferhat, Célia da Costa Pereira, Andrea G. B. Tettamanzi
Abstract

Automating Quantified Conditional Logics in HOL / 746
Christoph Benzmüller
Abstract

First-Order Rewritability of Atomic Queries in Horn Description Logics / 754
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Abstract

Conjunctive Regular Path Queries in Lightweight Description Logics / 761
Meghyn Bienvenu, Magdalena Ortiz, Mantas Šimkus
Abstract

Tractable Queries for Lightweight Description Logics / 768
Meghyn Bienvenu, Magdalena Ortiz, Mantas Šimkus, Guohui Xiao
Abstract

Tractable Approximations of Consistent Query Answering for Robust Ontology-Based Data Access / 775
Meghyn Bienvenu, Riccardo Rosati
Abstract

The Markov Assumption: Formalization and Impact / 782
Alexander Bochman
Abstract

Positive Subsumption in Fuzzy EL with General t-Norms / 789
Stefan Borgwardt, Rafael Peñaloza
Abstract

The Impact of Disjunction on Query Answering under Guarded-Based Existential Rules / 796
Pierre Bourhis, Michael Morak, Andreas Pieris
Abstract

Abstract Dialectical Frameworks Revisited / 803
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract

Verification of Inconsistency-Aware Knowledge and Action Bases / 810
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
Abstract

Automated Reasoning to Infer All Minimal Keys / 817
P. Cordero, M. Enciso, A. Mora
Abstract

Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? / 824
Nadia Creignou, Reinhard Pichler, Stefan Woltran
Abstract

Computing Datalog Rewritings Beyond Horn Ontologies / 832
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Abstract

Sequences of Mechanisms for Causal Reasoning in Artificial Intelligence / 839
Denver Dash, Mark Voortman, Martijn de Jongh
Abstract

Bounded Epistemic Situation Calculus Theories / 846
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Abstract

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces / 854
Giuseppe De Giacomo, Moshe Y. Vardi
Abstract

A Formal Account of Nondeterministic and Failed Actions / 861
James P. Delgrande, Hector J. Levesque
Abstract

Data Repair of Inconsistent DL-Programs / 869
Thomas Eiter, Michael Fink, Daria Stepanova
Abstract

Towards a Knowledge Compilation Map for Heterogeneous Representation Languages / 877
Hélène Fargier, Pierre Marquis, Alexandre Niveau
Abstract

Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues / 884
Hélène Fargier, Pierre Marquis, Nicolas Schmidt
Abstract

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions / 891
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Abstract

On the Complexity of Probabilistic Abstract Argumentation / 898
Bettina Fazzinga, Sergio Flesca, Francesco Parisi
Abstract

Representation and Reasoning about General Solid Rectangles / 905
Xiaoyu Ge, Jochen Renz
Abstract

Advanced Conflict-Driven Disjunctive Answer Set Solving / 912
Martin Gebser, Benjamin Kaufmann, Torsten Schaub
Abstract

A Strongly-Local Contextual Logic / 919
Michael James Gratton
Abstract

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols / 926
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Abstract

Iterated Boolean Games / 932
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
Abstract

Implicit Learning of Common Sense for Reasoning / 939
Brendan Juba
Abstract

Knowledge Compilation for Model Counting: Affine Decision Trees / 947
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
Abstract

Parameterized Complexity of Optimal Planning: A Detailed Map / 954
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
Abstract

Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC / 962
Agnieszka Kułacka, Dirk Pattinson, Lutz Schröder
Abstract

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals / 969
Gerhard Lakemeyer, Hector J. Levesque
Abstract

StarVars—Effective Reasoning about Relative Directions / 976
Jae Hee Lee, Jochen Renz, Diedrich Wolter
Abstract

Action Language BC: Preliminary Report / 983
Joohyung Lee, Vladimir Lifschitz, Fangkai Yang
Abstract

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes / 990
Joohyung Lee, Yunsong Meng
Abstract

Reasoning about State Constraints in the Situation Calculus / 997
Naiqi Li, Yi Fan, Yongmei Liu
Abstract

Analogico-Deductive Generation of Gödel’s First Incompleteness Theorem from the Liar Paradox / 1004
John Licato, Naveen Sundar Govindarajulu, Selmer Bringsjord, Michael Pomeranz, Logan Gittelson
Abstract

An Epistemic Halpern–Shoham Logic / 1010
Alessio R. Lomuscio, Jakub Michaliszyn
Abstract

Preference-Based Query Answering in Datalog+/– Ontologies / 1017
Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari
Abstract

Ontology-Based Data Access with Closed Predicates Is Inherently Intractable (Sometimes) / 1024
Carsten Lutz, Inanç Seylan, Frank Wolter
Abstract

Computing Stable Models for Nonmonotonic Existential Rules / 1031
Despoina Magka, Markus Krötzsch, Ian Horrocks
Abstract

The Route to Success – A Performance Comparison of Diagnosis Algorithms / 1039
Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
Abstract

Backdoors to Abduction / 1046
Andreas Pfandler, Stefan Rümmele, Stefan Szeider
Abstract

Behavioral Diagnosis of LTL Specifications at Operator Level / 1053
Ingo Pill, Thomas Quaritsch
Abstract

Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering / 1060
David Poole, Mark Crowley
Abstract

Learning from Polyhedral Sets / 1069
Salvatore Ruggieri
Abstract

Efficient Extraction and Representation of Spatial Information from Video Data / 1076
Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz
Abstract

Combining RCC5 Relations with Betweenness Information / 1083
Steven Schockaert, Sanjiang Li
Abstract

Interpolative Reasoning with Default Rules / 1090
Steven Schockaert, Henri Prade
Abstract

On Condensing a Sequence of Updates in Answer-Set Programming / 1097
Martin Slota, João Leite
Abstract

Nominal Schema Absorption / 1104
Andreas Steigmiller, Birte Glimm, Thorsten Liebig
Abstract

Granular Description of Qualitative Change / 1111
John G. Stell
Abstract

A Rational Extension of Stable Model Semantics to the Full Propositional Language / 1118
Shahab Tasharrofi
Abstract

Compact Rewritings for Existential Rules / 1125
Michaël Thomazo
Abstract

A Classification of First-Order Progressable Action Theories in Situation Calculus / 1132
Stavros Vassos, Fabio Patrizi
Abstract

An Alternative Axiomatization of DEL and Its Applications / 1139
Yanjing Wang, Guillaume Aucher
Abstract

Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators / 1147
Yanjing Wang, Jie Fan
Abstract

Multi-Agent Subset Space Logic / 1155
Yì N. Wáng, Thomas Ågotnes
Abstract

Forgetting for Answer Set Programs Revisited / 1162
Yisong Wang, Kewen Wang, Mingyi Zhang
Abstract

Transition Constraints: A Study on the Computational Complexity of Qualitative Change / 1169
Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel
Abstract

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events / 1176
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardina
Abstract

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions / 1183
Quan Yu, Ximing Wen, Yongmei Liu
Abstract

Most Specific Generalizations w.r.t. General EL-TBoxes / 1191
Benjamin Zarrieß, Anni-Yasmin Turhan
Abstract

First-Order Expressibility and Boundedness of Disjunctive Logic Programs / 1198
Heng Zhang, Yan Zhang
Abstract

Definability of Horn Revision from Horn Contraction / 1205
Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang
Abstract

Machine Learning

Learning Community-Based Preferences via Dirichlet Process Mixtures of Gaussian Processes / 1213
Ehsan Abbasnejad, Scott Sanner, Edwin V. Bonilla, Pascal Poupart
Abstract

An Ensemble of Bayesian Networks for Multilabel Classification / 1220
Antonucci Alessandro, Giorgio Corani, Denis Mauá, Sandra Gabaglio
Abstract

Self-Organized Neural Learning of Statistical Inference from High-Dimensional Data / 1226
Johannes Bauer, Stefan Wermter
Abstract

Basic Level in Formal Concept Analysis: Interesting Concepts and Psychological Ramifications / 1233
Radim Belohlavek, Martin Trnecka
Abstract

Exact Top-k Feature Selection via l2,0-Norm Constraint / 1240
Xiao Cai, Feiping Nie, Heng Huang
Abstract

Regularized Latent Least Square Regression for Cross Pose Face Recognition / 1247
Xinyuan Cai, Chunheng Wang, Baihua Xiao, Xue Chen, Ji Zhou
Abstract

Robust Tensor Clustering with Non-Greedy Maximization / 1254
Xiaochun Cao, Xingxing Wei, Yahong Han, Yi Yang, Dongdai Lin
Abstract

Central Clustering of Categorical Data with Automated Feature Weighting / 1260
Lifei Chen, Shengrui Wang
Abstract

Dimensionality Reduction with Generalized Linear Models / 1267
Mo Chen, Wei Li, Wei Zhang, Xiaogang Wang
Abstract

Generalized Relational Topic Models with Data Augmentation / 1273
Ning Chen, Jun Zhu, Fei Xia, Bo Zhang
Abstract

Domain Adaptation with Topical Correspondence Learning / 1280
Zheng Chen, Weixiong Zhang
Abstract

Bayesian Nonparametric Feature Construction for Inverse Reinforcement Learning / 1287
Jaedeug Choi, Kee-Eung Kim
Abstract

A Lossy Counting Based Approach for Learning on Streams of Graphs on a Budget / 1294
Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti
Abstract

Bootstrap Learning via Modular Concept Discovery / 1302
Eyal Dechter, Jon Malmaud, Ryan P. Adams Joshua B. Tenenbaum
Abstract

Topic Extraction from Online Reviews for Classification and Recommendation / 1310
Ruihai Dong, Markus Schaal, Michael P. O’Mahony, Barry Smyth
Abstract

Towards Robust Co-Clustering / 1317
Liang Du, Yi-Dong Shen
Abstract

Learning Finite Beta-Liouville Mixture Models via Variational Bayes for Proportional Data Clustering / 1323
Wentao Fan, Nizar Bouguila
Abstract

Optimizing Cepstral Features for Audio Classification / 1330
Zhouyu Fu, Guojun Lu, Kai Ming Ting, Dengsheng Zhang
Abstract

Uniform Convergence, Stability and Learnability for Ranking Problems / 1337
Wei Gao, Zhi-Hua Zhou
Abstract

Active Learning for Level Set Estimation / 1344
Alkis Gotovos, Nathalie Casati, Gregory Hitz, Andreas Krause
Abstract

Histogram of Oriented Displacements (HOD): Describing Trajectories of Human Joints for Action Recognition / 1351
Mohammad A. Gowayyed, Marwan Torki, Mohamed E. Hussein, Motaz El-Saban
Abstract

Multi-Prototype Label Ranking with Novel Pairwise-to-Total-Rank Aggregation / 1358
Mihajlo Grbovic, Nemanja Djuric, Slobodan Vucetic
Abstract

MiningZinc: A Modeling Language for Constraint-based Mining / 1365
Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen, Luc De Raedt
Abstract

Probabilistic Multi-Label Classification with Sparse Feature Learning / 1373
Yuhong Guo, Wei Xue
Abstract

Co-Regularized Ensemble for Feature Selection / 1380
Yahong Han, Yi Yang, Xiaofang Zhou
Abstract

Improving Traffic Prediction with Tweet Semantics / 1387
Jingrui He, Wei Shen, Phani Divakaruni, Laura Wynter, Rick Lawrence
Abstract

A General Framework for Interacting Bayes-Optimally with Self-Interested Agents Using Arbitrary Parametric Model and Model Prior / 1394
Trong Nghia Hoang, Kian Hsiang Low
Abstract

What Users Care About: A Framework for Social Content Alignment / 1401
Lei Hou, Juanzi Li, Xiaoli Li, Jiangfeng Qu, Xiaofei Guo, Ou Hui, Jie Tang
Abstract

Efficient Kernel Learning from Side Information Using ADMM / 1408
En-Liang Hu, James T. Kwok
Abstract

Active Learning via Neighborhood Reconstruction / 1415
Yao Hu, Debing Zhang, Zhongming Jin, Deng Cai, Xiaofei He
Abstract

Online Hashing / 1422
Long-Kai Huang, Qiang Yang, Wei-Shi Zheng
Abstract

Discovering Different Types of Topics: Factored Topic Models / 1429
Yun Jiang, Ashutosh Saxena
Abstract

Prior-Free Exploration Bonus for and beyond Near Bayes-Optimal Behavior / 1437
Kenji Kawaguchi, Hiroshi Sato
Abstract

Causal Inference with Rare Events in Large-Scale Time-Series Data / 1444
Samantha Kleinberg
Abstract

Active Learning for Teaching a Robot Grounded Relational Symbols / 1451
Johannes Kulick, Marc Toussaint, Tobias Lang, Manuel Lopes
Abstract

Adaptive Thresholding in Structure Learning of a Bayesian Network / 1458
Boaz Lerner, Michal Afek, Rafi Bojmel
Abstract

A Bayesian Factorised Covariance Model for Image Analysis / 1465
Jun Li, Dacheng Tao
Abstract

Low-Rank Coding with b-Matching Constraint for Semi-Supervised Classification / 1472
Sheng Li, Yun Fu
Abstract

Active Learning with Multi-Label SVM Classification / 1479
Xin Li, Yuhong Guo
Abstract

Large-Scale Spectral Clustering on Graphs / 1486
Jialu Liu, Chi Wang, Marina Danilevsky, Jiawei Han
Abstract

Learning Discriminative Representations from RGB-D Video Data / 1493
Li Liu, Ling Shao
Abstract

Online Expectation Maximization for Reinforcement Learning in POMDPs / 1501
Miao Liu, Xuejun Liao, Lawrence Carin
Abstract

The Multi-Feature Information Bottleneck with Application to Unsupervised Image Categorization / 1508
Zhengzheng Lou, Yangdong Ye, Xiaoqiang Yan
Abstract

Learning Canonical Correlations of Paired Tensor Sets Via Tensor-to-Vector Projection / 1516
Haiping Lu
Abstract

Learning Descriptive Visual Representation by Semantic Regularized Matrix Factorization / 1523
Zhiwu Lu, Yuxin Peng
Abstract

Thinking of Images as What They Are: Compound Matrix Regression for Image Classification / 1530
Zhigang Ma, Yi Yang, Feiping Nie, Nicu Sebe
Abstract

An Empirical Investigation of Ceteris Paribus Learnability / 1537
Loizos Michael, Elena Papageorgiou
Abstract

Statistical Tests for the Detection of the Arrow of Time in Vector Autoregressive Models / 1544
Pablo Morales-Mombiela, Daniel Hernández-Lobato, Alberto Suárez
Abstract

Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention Revisited / 1551
Stephen Muggleton, Dianhuan Lin
Abstract

Multi-Modal Image Annotation with Multi-Instance Multi-Label LDA / 1558
Cam-Tu Nguyen, De-Chuan Zhan, Zhi-Hua Zhou
Abstract

Adaptive Loss Minimization for Semi-Supervised Elastic Embedding / 1565
Feiping Nie, Hua Wang, Heng Huang, Chris Ding
Abstract

Early Active Learning via Robust Representation and Structured Sparsity / 1572
Feiping Nie, Hua Wang, Heng Huang, Chris Ding
Abstract

Annealed Importance Sampling for Structure Learning in Bayesian Networks / 1579
Teppo Niinimäki, Mikko Koivisto
Abstract

Graph Classification with Imbalanced Class Distributions and Noise / 1586
Shirui Pan, Xingquan Zhu
Abstract

Hierarchical Bayesian Matrix Factorization with Side Information / 1593
Sunho Park, Yong-Deok Kim, Seungjin Choi
Abstract

A Scalable Approach to Column-Based Low-Rank Matrix Approximation / 1600
Yifan Pi, Haoruo Peng, Shuchang Zhou, Zhihua Zhang
Abstract

Multiple Task Learning Using Iteratively Reweighted Least Square / 1607
Jian Pu, Yu-Gang Jiang, Jun Wang, Xiangyang Xue
Abstract

Active Learning from Relative Queries / 1614
Buyue Qian, Xiang Wang, Fei Wang, Hongfei Li, Jieping Ye, Ian Davidson
Abstract

Robust Unsupervised Feature Selection / 1621
Mingjie Qian, Chengxiang Zhai
Abstract

Path Integral Control by Reproducing Kernel Hilbert Space Embedding / 1628
Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar
Abstract

Machine-Learning-Based Circuit Synthesis / 1635
Lior Rokach, Meir Kalech, Gregory Provan, Alexander Feldman
Abstract

Weighted Path as a Condensed Pattern in a Single Attributed DAG / 1642
Jérémy Sanhes, Frédéric Flouvat, Nazha Selmaoui-Folcher, Claude Pasquier, Jean-François Boulicaut
Abstract

Multi-Dimensional Causal Discovery / 1649
Ulrich Schaechtle, Kostas Stathis, Stefano Bromuri
Abstract

Better Generalization with Forecasts / 1656
Tom Schaul, Mark Ring
Abstract

Supervised Hypothesis Discovery Using Syllogistic Patterns in the Biomedical Literature / 1663
Kazuhiro Seki, Kuniaki Uehara
Abstract

Guarantees of Augmented Trace Norm Models in Tensor Recovery / 1670
Ziqiang Shi, Jiqing Han, Tieran Zheng, Ji Li
Abstract

Hartigan’s K-Means Versus Lloyd’s K-Means — Is It Time for a Change? / 1677
Noam Slonim, Ehud Aharoni, Koby Crammer
Abstract

One-Class Conditional Random Fields for Sequential Anomaly Detection / 1685
Yale Song, Zhen Wen, Ching-Yung Lin, Randall Davis
Abstract

Measuring Statistical Dependence via the Mutual Information Dimension / 1692
Mahito Sugiyama, Karsten M. Borgwardt
Abstract

Unlearning from Demonstration / 1699
Keith Sullivan, Ahmed ElMolla, Bill Squires, Sean Luke
Abstract

Multi-View Maximum Entropy Discrimination / 1706
Shiliang Sun, Guoqing Chao
Abstract

Non-Negative Multiple Matrix Factorization / 1713
Koh Takeuchi, Katsuhiko Ishiguro, Akisato Kimura, Hiroshi Sawada
Abstract

Linear Bayesian Reinforcement Learning / 1721
Nikolaos Tziortziotis, Christos Dimitrakakis, Konstantinos Blekas
Abstract

Multi Class Learning with Individual Sparsity / 1729
Ben Zion Vatashsky, Koby Crammer
Abstract

Coupled Attribute Analysis on Numerical Data / 1736
Can Wang, Zhong She, Longbing Cao
Abstract

Manifold Alignment Preserving Global Geometry / 1743
Chang Wang, Sridhar Mahadevan
Abstract

Large Scale Online Kernel Classification / 1750
Jialei Wang, Steven C. H. Hoi, Peilin Zhao, Jinfeng Zhuang, Zhi-yong Liu
Abstract

Online Group Feature Selection / 1757
Jing Wang, Zhong-Qiu Zhao, Xuegang Hu, Yiu-ming Cheung, Meng Wang, Xindong Wu
Abstract

Nonconvex Relaxation Approaches to Robust Matrix Recovery / 1764
Shusen Wang, Dehua Liu, Zhihua Zhang
Abstract

A KNN Based Kalman Filter Gaussian Process Regression / 1771
Yali Wang, Brahim Chaib-draa
Abstract

Bayesian Optimization in High Dimensions via Random Embeddings / 1778
Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, Nando de Freitas
Abstract

Deep Feature Learning Using Target Priors with Applications in ECoG Signal Decoding for BCI / 1785
Zuoguan Wang, Siwei Lyu, Gerwin Schalk, Qiang Ji
Abstract

Euler Clustering / 1792
Jian-Sheng Wu, Wei-Shi Zheng, Jian-Huang Lai
Abstract

A Theoretic Framework of K-Means-Based Consensus Clustering / 1799
Junjie Wu, Hongfu Liu, Hui Xiong, Jie Cao
Abstract

Multi-Modal Distance Metric Learning / 1806
Pengtao Xie, Eric P. Xing
Abstract

A Probabilistic Approach to Latent Cluster Analysis / 1813
Zhipeng Xie, Rui Dong, Zhengheng Deng, Zhenying He, Weidong Yang
Abstract

Harmonious Hashing / 1820
Bin Xu, Jiajun Bu, Yue Lin, Chun Chen, Xiaofei He, Deng Cai
Abstract

Change-Point Detection with Feature Selection in High-Dimensional Time-Series Data / 1827
Makoto Yamada, Akisato Kimura, Futoshi Naya, Hiroshi Sawada
Abstract

On Robust Estimation of High Dimensional Generalized Linear Models / 1834
Eunho Yang, Ambuj Tewari, Pradeep Ravikumar
Abstract

Reduced Heteroscedasticity Linear Regression for Nyström Approximation / 1841
Hao Yang, Jianxin Wu
Abstract

Multi-View Discriminant Transfer Learning / 1848
Pei Yang, Wei Gao
Abstract

Smart Hashing Update for Fast Response / 1855
Qiang Yang, Long-Kai Huang, Wei-Shi Zheng, Yingbiao Ling
Abstract

Multi-Instance Multi-Label Learning with Weak Label / 1862
Shu-Jun Yang, Yuan Jiang, Zhi-Hua Zhou
Abstract

Protein Function Prediction by Integrating Multiple Kernels / 1869
Guoxian Yu, Huzefa Rangwala, Carlotta Domeniconi, Guoji Zhang, Zili Zhang
Abstract

Learning Domain Differences Automatically for Dependency Parsing Adaptation / 1876
Mo Yu, Tiejun Zhao, Yalong Bai
Abstract

Bilevel Visual Words Coding for Image Classification / 1883
Jiemi Zhang, Chenxia Wu, Deng Cai, Jianke Zhu
Abstract

Sparse Reconstruction for Weakly Supervised Semantic Segmentation / 1889
Ke Zhang, Wei Zhang, Yingbin Zheng, Xiangyang Xue
Abstract

Semi-Supervised Learning with Manifold Fitted Graphs / 1896
Tongtao Zhang, Rongrong Ji, Wei Liu, Dacheng Tao, Gang Hua
Abstract

Online Community Detection for Large Complex Networks / 1903
Wangsheng Zhang, Gang Pan, Zhaohui Wu, Shijian Li
Abstract

Multi-View Embedding Learning for Incompletely Labeled Data / 1910
Wei Zhang, Ke Zhang, Pan Gu, Xiangyang Xue
Abstract

Learning High-Order Task Relationships in Multi-Task Learning / 1917
Yu Zhang, Dit-Yan Yeung
Abstract

Lazy Paired Hyper-Parameter Tuning / 1924
Alice X. Zheng, Mikhail Bilenko
Abstract

Adaptive Error-Correcting Output Codes / 1932
Guoqiang Zhong, Mohamed Cheriet
Abstract

Accurate Probability Calibration for Multiple Classifiers / 1939
Leon Wenliang Zhong, James T. Kwok
Abstract

Shifted Subspaces Tracking on Sparse Outlier for Motion Segmentation / 1946
Tianyi Zhou, Dacheng Tao
Abstract

Persistent Homology: An Introduction and a New Text Representation for Natural Language Processing / 1953
Xiaojin Zhu
Abstract

Concept Learning for Cross-Domain Text Classification: A General Probabilistic Framework / 1960
Fuzhen Zhuang, Ping Luo, Peifeng Yin, Qing He, Zhongzhi Shi
Abstract

Multidisciplinary Topics and Applications

Automatically Generating Problems and Solutions for Natural Deduction / 1968
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
Abstract

Automated Grading of DFA Constructions / 1976
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
Abstract

Misleading Opinions Provided by Advisors: Dishonesty or Subjectivity / 1983
Hui Fang, Yang Bao, Jie Zhang
Abstract

Personalized Diagnosis for Over-Constrained Problems / 1990
Alexander Felfernig, Monika Schubert, Stefan Reiterer
Abstract

A Brain-Computer Interface to a Plan-Based Narrative / 1997
Stephen W. Gilroy, Julie Porteous, Fred Charles, Marc Cavazza, Eyal Soreq, Gal Raz, Limor Ikar, Ayelet Or-Borichov, Udi Ben-Arie, Ilana Klovatch, Talma Hendler
Abstract

Robust Median Reversion Strategy for On-Line Portfolio Selection / 2006
Dingjiang Huang, Junlong Zhou, Bin Li, Steven C. H. Hoi, Shuigeng Zhou
Abstract

A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments / 2013
Panagiotis Kouvaros, Alessio Lomuscio
Abstract

TutorialPlan: Automated Tutorial Generation from CAD Drawings / 2020
Wei Li, Yuanlin Zhang, George Fitzmaurice
Abstract

Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment / 2028
Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong
Abstract

Predicting Human Strategic Decisions Using Facial Expressions / 2035
Noam Peled, Moshe Bitan, Joseph Keshet, Sarit Kraus
Abstract

Employing Batch Reinforcement Learning to Control Gene Regulation
Abstract

without Explicitly Constructing Gene Regulatory Networks / 2042
Utku Sirin, Faruk Polat, Reda Alhajj
Abstract

Protein Function Prediction via Laplacian Network Partitioning Incorporating Function Category Correlations / 2049
Hua Wang, Heng Huang, Chris Ding
Abstract

Natural Language Processing

Identifying Useful Human Correction Feedback from an On-line Machine Translation Service / 2057
Alberto Barrón-Cedeño, Lluís Màrquez, Carlos A. Henríquez Q., Lluís Formiga, Enrique Romero, Jonathan May
Abstract

Mining for Analogous Tuples from an Entity-Relation Graph / 2064
Danushka Bollegala, Mitsuru Kusumoto, Yuichi Yoshida, Ken-ichi Kawarabayashi
Abstract

Leveraging Multi-Domain Prior Knowledge in Topic Models / 2071
Zhiyuan Chen, Arjun Mukherjee, Bing Liu, Meichun Hsu, Malu Castellanos, Riddhiman Ghosh
Abstract

Learning Topical Translation Model for Microblog Hashtag Suggestion / 2078
Zhuoye Ding, Xipeng Qiu, Qi Zhang, Xuanjing Huang
Abstract

Smoothing for Bracketing Induction / 2085
Xiangyu Duan, Min Zhang, Wenliang Chen
Abstract

Crowdsourcing-Assisted Query Structure Interpretation / 2092
Jun Han, Ju Fan, Lizhu Zhou
Abstract

PPSGen: Learning to Generate Presentation Slides for Academic Papers / 2099
Yue Hu, Xiaojun Wan
Abstract

End-to-End Coreference Resolution for Clinical Narratives / 2106
Prateek Jindal, Dan Roth
Abstract

A Clause-Level Hybrid Approach to Chinese Empty Element Recovery / 2113
Fang Kong, Guodong Zhou
Abstract

Joint Modeling of Argument Identification and Role Determination in Chinese Event Extraction with Discourse-Level Information / 2120
Peifeng Li, Qiaoming Zhu, Guodong Zhou
Abstract

Active Learning for Cross-Domain Sentiment Classification / 2127
Shoushan Li, Yunxia Xue, Zhongqing Wang, Guodong Zhou
Abstract

Opinion Target Extraction Using Partially-Supervised Word Alignment Model / 2134
Kang Liu, Liheng Xu, Yang Liu, Jun Zhao
Abstract

Joint and Coupled Bilingual Topic Model Based Sentence Representations for Language Model Adaptation / 2141
Shixiang Lu, Xiaoyin Fu, Wei Wei, Xingyuan Peng, Bo Xu
Abstract

Integrating Syntactic and Semantic Analysis into the Open Information Extraction Paradigm / 2148
Andrea Moro, Roberto Navigli
Abstract

Combine Constituent and Dependency Parsing via Reranking / 2155
Xiaona Ren, Xiao Chen, Chunyu Kit
Abstract

Fast Linearization of Tree Kernels over Large-Scale Data / 2162
Aliaksei Severyn, Alessandro Moschitti
Abstract

Answer Extraction from Passage Graph for Question Answering / 2169
Hong Sun, Nan Duan, Yajuan Duan, Ming Zhou
Abstract

Instance Selection and Instance Weighting for Cross-Domain Sentiment Classification via PU Learning / 2176
Rui Xia, Xuelei Hu, Jianfeng Lu, Jian Yang, Chengqing Zong
Abstract

Modeling Lexical Cohesion for Document-Level Machine Translation / 2183
Deyi Xiong, Guosheng Ben, Min Zhang, Yajuan Lü, Qun Liu
Abstract

A Text Scanning Mechanism Simulating Human Reading Process / 2190
Bei Xu, Hai Zhuge
Abstract

i, Poet: Automatic Chinese Poetry Composition through a Generative Summarization Framework under Constrained Optimization / 2197
Rui Yan, Han Jiang, Mirella Lapata, Shou-De Lin, Xueqiang Lv, Xiaoming Li
Abstract

Fusion of Word and Letter Based Metrics for Automatic MT Evaluation / 2204
Muyun Yang, Junguo Zhu, Sheng Li, Tiejun Zhao
Abstract

Improving Function Word Alignment with Frequency and Syntactic Information / 2211
Jingyi Zhang, Hai Zhao
Abstract

Cross Lingual Entity Linking with Bilingual Topic Model / 2218
Tao Zhang, Kang Liu, Jun Zhao
Abstract

Integrating Semantic Relatedness and Words’ Intrinsic Features for Keyword Extraction / 2225
Wei Zhang, Wei Feng, Jianyong Wang
Abstract

Partial-Tree Linearization: Generalized Word Ordering for Text Synthesis / 2232
Yue Zhang
Abstract

Improving Question Retrieval in Community Question Answering Using World Knowledge / 2239
Guangyou Zhou, Yang Liu, Fang Liu, Daojian Zeng, Jun Zhao
Abstract

Efficient Latent Structural Perceptron with Hybrid Trees for Semantic Parsing / 2246
Junsheng Zhou, Juhong Xu, Weiguang Qu
Abstract

Planning and Scheduling

Revisiting Regression in Planning / 2254
Vidal Alcázar, Daniel Borrajo, Susana Fernández, Raquel Fuentetaja
Abstract

Bridging the Gap Between Refinement and Heuristics in Abstraction / 2261
Christer Bäckström, Peter Jonsson
Abstract

An Admissible Heuristic for SAS+ Planning Obtained from the State Equation / 2268
Blai Bonet
Abstract

Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation / 2275
Blai Bonet, Hector Geffner
Abstract

Isomorph-Free Branch and Bound Search for Finite State Controllers / 2282
Marek Grześ, Pascal Poupart, Jesse Hoey
Abstract

Optimal Delete-Relaxed (and Semi-Relaxed) Planning with Conditional Effects / 2291
Patrik Haslum
Abstract

Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents / 2298
Trong Nghia Hoang, Kian Hsiang Low
Abstract

Controlling the Hypothesis Space in Probabilistic Plan Recognition / 2306
Froduald Kabanza, Julien Filion, Abder Rezak Benaskeur, Hengameh Irandoust
Abstract

Lifelong Learning for Acquiring the Wisdom of the Crowd / 2313
Ece Kamar, Ashish Kapoor, Eric Horvitz
Abstract

Pareto-Based Multiobjective AI Planning / 2321
Mostepha Khouadjia, Marc Schoenauer, Vincent Vidal, Johann Dréo, Pierre Savéant
Abstract

Flexible Execution of Partial Order Plans with Temporal Constraints / 2328
Christian Muise, J. Christopher Beck, Sheila A. McIlraith
Abstract

Towards a Second Generation Random Walk Planner: An Experimental Exploration / 2336
Hootan Nakhost, Martin Müller
Abstract

Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners / 2343
Fabio Patrizi, Nir Lipovetzky, Hector Geffner
Abstract

Fault-Tolerant Planning under Uncertainty / 2350
Luis Pineda, Yi Lu, Shlomo Zilberstein, Claudia V. Goldman
Abstract

Getting the Most Out of Pattern Databases for Classical Planning / 2357
Florian Pommerening, Gabriele Röger, Malte Helmert
Abstract

Computing Upper Bounds on Lengths of Transition Sequences / 2365
Jussi Rintanen, Charles Orgill Gretton
Abstract

Exploring Knowledge Engineering Strategies in Designing and Modelling a Road Traffic Accident Management Domain / 2373
Mohammad M. Shah, Lukáš Chrpa, Diane Kitchin, Thomas L. McCluskey, Mauro Vallati
Abstract

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning / 2380
Vikas Shivashankar, Ron Alford, Ugur Kuter, Dana Nau
Abstract

Plan Quality Optimisation via Block Decomposition / 2387
Fazlul Hasan Siddiqui, Patrik Haslum
Abstract

Symbolic Merge-and-Shrink for Cost-Optimal Planning / 2394
Álvaro Torralba, Carlos Linares López, Daniel Borrajo
Abstract

Problem Splitting Using Heuristic Search in Landmark Orderings / 2401
Simon Vernhes, Guillaume Infantes, Vincent Vidal
Abstract

Run-Time Improvement of Point-Based POMDP Policies / 2408
Minlue Wang, Richard Dearden
Abstract

Interactive Value Iteration for Markov Decision Processes with Unknown Rewards / 2415
Paul Weng, Bruno Zanuttini
Abstract

Flexibility and Decoupling in the Simple Temporal Problem / 2422
Michel Wilson, Tomas Klos, Cees Witteveen, Bob Huisman
Abstract

Continuously Relaxing Over-Constrained Conditional Temporal Problems through Generalized Conflict Learning and Resolution / 2429
Peng Yu, Brian Williams
Abstract

Robust Optimization for Hybrid MDPs with State-Dependent Noise / 2437
Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros
Abstract

Action-Model Acquisition from Noisy Plan Traces / 2444
Hankz Hankui Zhuo, Subbarao Kambhampati
Abstract

Refining Incomplete Planning Domain Models through Plan Traces / 2451
Hankz Hankui Zhuo, Tuan Nguyen, Subbarao Kambhampati
Abstract

Robotics and Vision

Handling Open Knowledge for Service Robots / 2459
Xiaoping Chen, Jianmin Ji, Zhiqiang Sui, Jiongkun Xie
Abstract

Human Action Recognition Using a Temporal Hierarchy of Covariance Descriptors on 3D Joint Locations / 2466
Mohamed E. Hussein, Marwan Torki, Mohammad A. Gowayyed, Motaz El-Saban
Abstract

Rolling Dispersion for Robot Teams / 2473
Elizabeth A. Jensen, Maria Gini
Abstract

Accelerated Robust Point Cloud Registration in Natural Environments through Positive and Unlabeled Learning / 2480
Maxime Latulippe, Alexandre Drouin, Philippe Giguère, François Laviolette
Abstract

Upper Confidence Weighted Learning for Efficient Exploration in Multiclass Prediction with Binary Feedback / 2488
Hung Ngo, Matthew Luciw, Ngo Anh Vien, Jürgen Schmidhuber
Abstract

Towards Active Event Recognition / 2495
Dimitri Ognibene, Yiannis Demiris
Abstract

Hierarchical Object Discovery and Dense Modelling from Motion Cues in RGB-D Video / 2502
Jörg Stückler, Sven Behnke
Abstract

Learning Visual Symbols for Parsing Human Poses in Images / 2510
Fang Wang, Yi Li
Abstract

Uncertainty in AI

A Consensual Linear Opinion Pool / 2518
Arthur Carvalho, Kate Larson
Abstract

An Exact Algorithm for Computing the Same-Decision Probability / 2525
Suming Chen, Arthur Choi, Adnan Darwiche
Abstract

Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks / 2532
Chia-Li Kuo, David Buchman, Arzoo Katiyar, David Poole
Abstract

Inference for a New Probabilistic Constraint Logic / 2540
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter Koopman
Abstract

Map Matching with Inverse Reinforcement Learning / 2547
Takayuki Osogami, Rudy Raymond
Abstract

Accurate Integration of Crowdsourced Labels Using Workers’ Self-Reported Confidence Scores / 2554
Satoshi Oyama, Yukino Baba, Yuko Sakurai, Hisashi Kashima
Abstract

Look versus Leap: Computing Value of Information with High-Dimensional Streaming Evidence / 2561
Stephanie Rosenthal, Dan Bohus, Ece Kamar, Eric Horvitz
Abstract

The Inclusion-Exclusion Rule and Its Application to the Junction Tree Algorithm / 2568
David Smith, Vibhav Gogate
Abstract

Sample Complexity of Risk-Averse Bandit-Arm Selection / 2576
Jia Yuan Yu, Evdokia Nikolova
Abstract

A Generalization of SAT and #SAT for Robust Policy Evaluation / 2583
Erik Zawadzki, André Platzer, Geoffery J. Gordon
Abstract

Web and Knowledge-Based Information Systems

Link Label Prediction in Signed Social Networks / 2591
Priyanka Agrawal, Vikas K. Garg, Ramasuri Narayanam
Abstract

Multi-View K-Means Clustering on Big Data / 2598
Xiao Cai, Feiping Nie, Heng Huang
Abstract

Where You Like to Go Next: Successive Point-of-Interest Recommendation / 2605
Chen Cheng, Haiqin Yang, Michael R. Lyu, Irwin King
Abstract

Celebrity Recommendation with Collaborative Social Topic Regression / 2612
Xuetao Ding, Xiaoming Jin, Yujia Li, Lianghao Li
Abstract

A Novel Bayesian Similarity Measure for Recommender Systems / 2619
Guibing Guo, Jie Zhang, Neil Yorke-Smith
Abstract

Cross-Domain Collaborative Filtering via Bilinear Multilevel Analysis / 2626
Liang Hu, Jian Cao, Guandong Xu, Jie Wang, Zhiping Gu, Longbing Cao
Abstract

Social Spammer Detection in Microblogging / 2633
Xia Hu, Jiliang Tang, Yanchao Zhang, Huan Liu
Abstract

Listening to the Crowd: Automated Analysis of Events via Aggregated Twitter Sentiment / 2640
Yuheng Hu, Fei Wang, Subbarao Kambhampati
Abstract

Social Trust Prediction Using Rank-k Matrix Recovery / 2647
Jin Huang, Feiping Nie, Heng Huang, Yu Lei, Chris Ding
Abstract

Context-Dependent Conceptualization / 2654
Dongwoo Kim, Haixun Wang, Alice Oh
Abstract

Predicting Knowledge in an Ontology Stream / 2662
Freddy Lécué, Jeff Z. Pan
Abstract

A Unified Framework for Reputation Estimation in Online Rating Systems / 2670
Guang Ling, Irwin King, Michael R. Lyu
Abstract

Synthesizing Union Tables from the Web / 2677
Xiao Ling, Alon Halevy, Fei Wu, Cong Yu
Abstract

Recommendation Using Textual Opinions / 2684
Claudiu-Cristian Musat, Yizhong Liang, Boi Faltings
Abstract

GBPR: Group Preference Based Bayesian Personalized Ranking for One-Class Collaborative Filtering / 2691
Weike Pan, Li Chen
Abstract

Promoting Diversity in Recommendation by Entropy Regularizer / 2698
Lijing Qin, Xiaoyan Zhu
Abstract

SCMF: Sparse Covariance Matrix Factorization for Collaborative Filtering / 2705
Jianping Shi, Naiyan Wang, Yang Xia, Dit-Yan Yeung, Irwin King, Jiaya Jia
Abstract

Exploiting Local and Global Social Context for Recommendation / 2712
Jiliang Tang, Xia Hu, Huiji Gao, Huan Liu
Abstract

Collaborative Topic Regression with Social Regularization for Tag Recommendation / 2719
Hao Wang, Binyi Chen, Wu-Jun Li
Abstract

Online Egocentric Models for Citation Networks / 2726
Hao Wang, Wu-Jun Li
Abstract

Boosting Cross-Lingual Knowledge Linking via Concept Annotation / 2733
Zhichun Wang, Juanzi Li, Jie Tang
Abstract

PageRank with Priors: An Influence Propagation Perspective / 2740
Biao Xiang, Qi Liu, Enhong Chen, Hui Xiong, Yi Zheng, Yu Yang
Abstract

Social Collaborative Filtering by Trust / 2747
Bo Yang, Yu Lei, Dayou Liu, Jiming Liu
Abstract

Parametric Local Multimodal Hashing for Cross-View Similarity Search / 2754
Deming Zhai, Hong Chang, Yi Zhen, Xianming Liu, Xilin Chen, Wen Gao
Abstract

Social Influence Locality for Modeling Retweeting Behaviors / 2761
Jing Zhang, Biao Liu, Jie Tang, Ting Chen, Juanzi Li
Abstract

Automatic Name-Face Alignment to Enable Cross-Media News Retrieval / 2768
Yuejie Zhang, Wei Wu, Yang Li, Cheng Jin, Xiangyang Xue, Jianping Fan
Abstract

Special Track on Artificial Intelligence and Computational Sustainability

Technical Papers

Assessing the Resilience of Socio-Ecosystems: Coupling Viability Theory and Active Learning with kd-Trees — Application to Bilingual Societies / 2776
Isabelle Alvarez, Ricardo de Aldama, Sophie Martin, Romain Reuillon
Abstract

Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions / 2783
Sean Brennan, Adam Sadilek, Henry Kautz
Abstract

Short-Term Wind Power Forecasting Using Gaussian Processes / 2790
Niya Chen, Zheng Qian, Xiaofeng Meng, Ian T. Nabney
Abstract

Semi-Supervised Learning for Integration of Aerosol Predictions from Multiple Satellite Instruments / 2797
Nemanja Djuric, Lakesh Kansakar, Slobodan Vucetic
Abstract

Deep Sparse Coding Based Recursive Disaggregation Model for Water Conservation / 2804
Haili Dong, Bingsheng Wang, Chang-Tien Lu
Abstract

Optimal Pricing for Improving Efficiency of Taxi Systems / 2811
Jiarui Gan, Bo An, Haizhong Wang, Xiaoming Sun, Zhongzhi Shi
Abstract

Estimating Reference Evapotranspiration for Irrigation Management in the Texas High Plains / 2819
Daniel Holman, Mohan Sridharan, Prasanna Gowda, Dana Porter, Thomas Marek, Terry Howell, Jerry Moorhead
Abstract

Information Fusion Based Learning for Frugal Traffic State Sensing / 2826
Vikas Joshi, Nithya Rajamani, Takayuki Katsuki, Naveen Prathapaneni, L. V. Subramaniam
Abstract

A Multi-Objective Memetic Algorithm for Vehicle Resource Allocation in Sustainable Transportation Planning / 2833
Hoong Chuin Lau, Lucas Agussurja, Shih-Fen Cheng, Pang Jin Tan
Abstract

Crowdsourcing Backdoor Identification for Combinatorial Optimization / 2840
Ronan Le Bras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover
Abstract

Evolution of Common-Pool Resources and Social Welfare in Structured Populations / 2848
Jean-Sébastien Lerat, The Anh Han, Tom Lenaerts
Abstract

Tag-Weighted Topic Model for Mining Semi-Structured Documents / 2855
Shuangyin Li, Jiefei Li, Rong Pan
Abstract

Manifold Alignment Based on Sparse Local Structures of More Corresponding Pairs / 2862
Xiaojie Li, Jian Cheng Lv, Zhang Yi
Abstract

A Global Constrained Optimization Method for Designing Road Networks with Small Diameters / 2869
Teng Ma, Yuexian Hou, Xiaozhao Zhao, Dawei Song
Abstract

Bayesian Joint Inversions for the Exploration of Earth Resources / 2877
Alistair Reid, Simon O’Callaghan, Edwin V. Bonilla, Lachlan McCalman, Tim Rawling, Fabio Ramos
Abstract

Dynamic Taxi and Ridesharing: A Framework and Heuristics for the Optimization Problem / 2885
Douglas O. Santos, Eduardo C. Xavier
Abstract

An Active Learning Approach to Home Heating in the Smart Grid / 2892
Mike Shann, Sven Seuken
Abstract

Planning with MIP for Supply Restoration in Power Distribution Systems / 2900
Sylvie Thiébaux, Carleton Coffrin, Hassan Hijazi, John Slaney
Abstract

Forecasting Multi-Appliance Usage for Smart Home Energy Management / 2908
Ngoc Cuong Truong, James McInerney, Long Tran-Thanh, Enrico Costanza, Sarvapali D. Ramchurn
Abstract

Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances / 2915
Menkes van den Briel, Paul Scott, Sylvie Thiébaux
Abstract

Parameter Learning for Latent Network Diffusion / 2923
Xiaojian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein
Abstract

Towards Effective Prioritizing Water Pipe Replacement and Rehabilitation / 2931
Junchi Yan, Yu Wang, Ke Zhou, Jin Huang, Chunhua Tian, Hongyuan Zha, Weishan Dong
Abstract

Improved Integer Programming Approaches for Chance-Constrained Stochastic Programming / 2938
Hiroki Yanagisawa, Takayuki Osogami
Abstract

A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring / 2945
Davide Zilli, Oliver Parson, Geoff V. Merrett, Alex Rogers
Abstract

Data Challenge

Forecast Oriented Classification of Spatio-Temporal Extreme Events / 2952
Zhengzhang Chen, Yusheng Xie, Yu Cheng, Kunpeng Zhang, Ankit Agrawal, Wei-keng Liao, Nagiza F. Samatova, Alok Choudhary
Abstract

Adaptive Management of Migratory Birds under Sea Level Rise / 2955
Samuel Nicol, Olivier Buffet, Takuya Iwamura, Iadine Chadès
Abstract

Detecting and Tracking Disease Outbreaks by Mining Social Media Data / 2958
Yusheng Xie, Zhengzhang Chen, Yu Cheng, Kunpeng Zhang, Ankit Agrawal, Wei-keng Liao, Alok Choudhary
Abstract

Sister Conferences Track

Best Papers

Twitter-Based User Modeling for News Recommendations / 2962
Fabian Abel, Qi Gao, Geert-Jan Houben, Ke Tao
Abstract

Language-Based Games (Extended Abstract) / 2967
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
Abstract

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract) / 2972
Maria Luisa Bonet, Sam Buss
Abstract

The Complexity of One-Agent Refinement Modal Logic / 2977
Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat
Abstract

An Introduction to String Re-Writing Kernel / 2982
Fan Bu, Hang Li, Xiaoyan Zhu
Abstract

Optimal Valve Placement in Water Distribution Networks with CLP(FD) / 2987
Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini
Abstract

Bayesian Probabilities for Constraint-Based Causal Discovery / 2992
Tom Claassen, Tom Heskes
Abstract

Satisfiability Modulo Constraint Handling Rules (Extended Abstract) / 2997
Gregory James Duck
Abstract

Case Adaptation with Qualitative Algebras / 3002
Valmi Dufour-Lussier, Florence Le Ber, Jean Lieber, Laura Martin
Abstract

Improving the Effectiveness of Time-Based Display Advertising (Extended Abstract) / 3007
Daniel G. Goldstein, R. Preston McAfee, Siddharth Suri
Abstract

Preference-Based CBR: General Ideas and Basic Principles / 3012
Eyke Hüllermeier, Weiwei Cheng
Abstract

Sound, Complete, and Minimal Query Rewriting for Existential Rules / 3017
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Abstract

Collaborative Filtering on Ordinal User Feedback / 3022
Yehuda Koren, Joseph Sill
Abstract

Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract) / 3027
Till Mossakowski, Christoph Lange, Oliver Kutz
Abstract

Discovering Alignments in Ontologies of Linked Data / 3032
Rahul Parundekar, Craig A. Knoblock, José Luis Ambite
Abstract

A New Trajectory Deformation Algorithm Based on Affine Transformations / 3037
Quang-Cuong Pham, Yoshihiko Nakamura
Abstract

A Case-Based Solution to the Cold-Start Problem in Group Recommenders / 3042
Lara Quijano-Sánchez, Derek Bridge, Belén Díaz-Agudo, Juan Antonio Recio-García
Abstract

Data Mining a Trillion Time Series Subsequences under Dynamic Time Warping / 3047
Thanawin Rakthanmanon, Bilson Campana, Abdullah Mueen, Gustavo Batista, Brandon Westover, Qiang Zhu, Jesin Zakaria, Eamonn Keogh
Abstract

On Stochastic Optimal Control and Reinforcement Learning by Approximate Inference (Extended Abstract) / 3052
Konrad Rawlik, Marc Toussaint, Sethu Vijayakumar
Abstract

At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures / 3057
Tom A. Rodden, Joel E. Fischer, Nadia Pantidi, Khaled Bachour, Stuart Moran
Abstract

Decision Generalisation from Game Logs in No Limit Texas Hold’em / 3062
Jonathan Rubin, Ian Watson
Abstract

Modeling the Interplay of People’s Location, Interactions, and Social Ties / 3067
Adam Sadilek, Henry Kautz, Jeffrey P. Bigham
Abstract

Active Evaluation of Ranking Functions Based on Graded Relevance (Extended Abstract) / 3072
Christoph Sawade, Steffen Bickel, Timo von Oertzen, Tobias Scheffer, Niels Landwehr
Abstract

CLiMF: Collaborative Less-Is-More Filtering / 3077
Yue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha Larson, Nuria Oliver, Alan Hanjalic
Abstract

Statistical Parsing with Probabilistic Symbol-Refined Tree Substitution Grammars / 3082
Hiroyuki Shindo, Yusuke Miyao, Akinori Fujino, Masaaki Nagata
Abstract

Exact Recovery of Sparsely-Used Dictionaries / 3087
Daniel A. Spielman, Huan Wang, John Wright
Abstract

The RoboEarth Language: Representing and Exchanging Knowledge about Actions, Objects, and Environments (Extended Abstract) / 3091
Moritz Tenorth, Alexander Perzylo, Reinhard Lafrenz, Michael Beetz
Abstract

Socioscope: Spatio-Temporal Signal Recovery from Social Media (Extended Abstract) / 3096
Jun-Ming Xu, Aniruddha Bhargava, Robert Nowak, Xiaojin Zhu
Abstract

Using Strategic Logics to Reason about Agent Programs / 3101
Nitin Yadav, Sebastian Sardina
Abstract

User-Centered Programming by Demonstration: Stylistic Elements of Behavior / 3106
James E. Young, Kentaro Ishii, Takeo Igarashi, Ehud Sharlin
Abstract

Best Theses

Scalable Dynamic Nonparametric Bayesian Models of Content and Users / 3111
Amr Ahmed, Eric Xing
Abstract

Improving Combinatorial Optimization: Extended Abstract / 3116
Geoffrey Chu
Abstract

Cultural Diversity for Virtual Characters (Extended Abstract) / 3121
Birgit Endrass
Abstract

Landmark-Based Heuristics and Search Control for Automated Planning (Extended Abstract) / 3126
Silvia Richter
Abstract

Learning Probabilistic Models for Mobile Manipulation Robots / 3131
Jürgen Sturm, Wolfram Burgard
Abstract

Social Norms for Self-Policing Multi-Agent Systems and Virtual Societies (Extended Abstract) / 3136
Daniel Villatoro
Abstract

Journal Track

Evaluating Indirect Strategies for Chinese–Spanish Statistical Machine Translation: Extended Abstract / 3142
Marta R. Costa-jussà, Carlos A. Henríquez, Rafael E. Banchs
Abstract

Communicating Open Systems (Extended Abstract) / 3146
Mark d’Inverno, Michael Luck, Pablo Noriega, Juan A. Rodriguez-Aguilar, Carles Sierra
Abstract

The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary (Extended Abstract) / 3151
Tiziano Flati, Roberto Navigli
Abstract

Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures: Extended Abstract / 3156
Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta
Abstract

YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia (Extended Abstract) / 3161
Johannes Hoffart, Fabian M. Suchanek, Klaus Berberich, Gerhard Weikum
Abstract

Modeling Social Causality and Responsibility Judgment in Multi-Agent Interactions: Extended Abstract / 3166
Wenji Mao, Jonathan Gratch
Abstract

The Extended Global Cardinality Constraint: An Empirical Survey (Extended Abstract) / 3171
Peter Nightingale
Abstract

Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity: Extended Abstract / 3175
Ricardo Ribeiro, David Martins de Matos
Abstract

Generalized Biwords for Bitext Compression and Translation Spotting: Extended Abstract / 3180
Felipe Sánchez-Martínez, Rafael C. Carrasco, Miguel A. Martínez-Prieto, Joaquín Adiego
Abstract

Computing Text Semantic Relatedness Using the Contents and Links of a Hypertext Encyclopedia: Extended Abstract / 3185
Majid Yazdani, Andrei Popescu-Belis
Abstract

On the Approximation Ability of Evolutionary Optimization with Application to Minimum Set Cover: Extended Abstract / 3190
Yang Yu, Xin Yao, Zhi-Hua Zhou
Abstract

Learning Qualitative Models from Numerical Data: Extended Abstract / 3195
Jure Zabkar, Martin Mozina, Ivan Bratko, Janez Demsar
Abstract

Doctoral Consortium

Decision-Theoretic Approximations for Machine Learning / 3201
M. Ehsan Abbasnejad
Abstract

Managing Qualitative Preferences and Constraints in a Dynamic Environment / 3203
Eisa Alanazi, Malek Mouhoub
Abstract

Towards a Deeper Understanding of Nonmonotonic Reasoning with Degrees / 3205
Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock
Abstract

Capabilities in Heterogeneous Multi Robot Systems / 3207
Jennifer Buehler
Abstract

Negotiation Algorithms for Large Agreement Spaces / 3209
Dave de Jonge
Abstract

Trust Modeling for Opinion Evaluation by Coping with Subjectivity and Dishonesty / 3211
Hui Fang
Abstract

High-Level Program Execution in Multi-Agent Settings / 3213
Liangda Fang
Abstract

Using Domain Knowledge to Systematically Guide Feature Selection / 3215
William Groves
Abstract

Improving the Performance of Recommender Systems by Alleviating the Data Sparsity and Cold Start Problems / 3217
Guibing Guo
Abstract

Strategic Interactions among Agents with Bounded Rationality / 3219
Pablo Hernandez-Leal, Enrique Munoz de Cote, L. Enrique Sucar
Abstract

Problem Transformations and Algorithm Selection for CSPs / 3221
Barry Hurley, Barry O’Sullivan
Abstract

Rolling Dispersion and Exploration for Robot Teams / 3223
Elizabeth A. Jensen
Abstract

Towards the Design of Robust Trust and Reputation Systems / 3225
Siwei Jiang
Abstract

Maintaining Soft Arc Consistencies in BnB-ADOPT+ during Search / 3227
Ka Man Lei
Abstract

Concept Generation in Language Evolution / 3229
Martha Lewis, Jonathan Lawry
Abstract

Normative Conflict Detection and Resolution in Cooperating Institutions / 3231
Tingting Li
Abstract

Dynamic of Argumentation Frameworks / 3233
Jean-Guy Mailly
Abstract

Approximation Algorithms for Max-Sum-Product Problems / 3235
Denis Deratani Mauá
Abstract

On Teaching Collaboration to a Team of Autonomous Agents via Imitation / 3237
Saleha Raza
Abstract

Semi-Supervised Structuring of Complex Data / 3239
Marian-Andrei Rizoiu
Abstract

Object Recognition Based on Visual Grammars and Bayesian Networks / 3241
Elías Ruiz, L. Enrique Sucar
Abstract

Adapting Surface Sketch Recognition Techniques for Surfaceless Sketches / 3243
Paul Taele, Tracy Anne Hammond
Abstract

Ontology Based Query Answering with Existential Rules / 3245
Michaël Thomazo
Abstract

Behavior Composition Optimization / 3247
Nitin Yadav
Abstract

Incorporating Expert Judgement into Bayesian Network Machine Learning / 3249
Yun Zhou, Norman Fenton, Martin Neil, Cheng Zhu
Abstract

Arbitration and Stability in Cooperative Games with Overlapping Coalitions / 3251
Yair Zick
Abstract

Index / 3253

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

Beijing, China, 3–9 August 2013

Edited by
Francesca Rossi, University of Padova

Sponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)

Published by
AAAI Press / International Joint Conferences on Artificial Intelligence

Contents

Invited Talks

Technical Papers and Posters

Agent-Based and Multiagent Systems

Constraints, Satisfiability, and Search

Knowledge Representation, Reasoning, and Logic

Machine Learning

Multidisciplinary Topics and Applications

Natural Language Processing

Planning and Scheduling

Robotics and Vision

Uncertainty in AI

Web and Knowledge-Based Information Systems

Special Track on Artificial Intelligence and Computational Sustainability

Technical Papers

Data Challenge

Sister Conferences Track

Best Papers

Best Theses

Journal Track

Doctoral Consortium

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

Beijing, China, 3–9 August 2013

Edited by Francesca Rossi, University of Padova

Sponsored byInternational Joint Conferences on Artificial Intelligence (IJCAI)

Published by AAAI Press / International Joint Conferences on Artificial Intelligence

Contents

Invited Talks

Technical Papers and Posters

Agent-Based and Multiagent Systems

Technical Papers

Data Challenge

Best Papers

Best Theses

Edited by
Francesca Rossi, University of Padova

Sponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)

Published by
AAAI Press / International Joint Conferences on Artificial Intelligence