• 
  Preface.
• 
  Conference Organization.
• 
  Program Committee.
• 
  Conference Sponsorship.
• 
  Awards and Distinguished Papers.
• 
  Keynote and Invited Speakers.
• 
  IJCAI Organization.
• 
  Past IJCAI Conferences.

Invited Talk and Research Excellence Paper

• 
  Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, Mausam: Open Information Extraction: The Second Generation. 3-10
• 
  Robert A. Kowalski: Artificial Intelligence and Human Thinking. 11-16

Technical Papers and Posters

Agent-Based and Multiagent Systems

• 
  Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman: Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections. 18-23
• 
  Dimitrios Antos, Avi Pfeffer: Using Emotions to Enhance Decision-Making. 24-30
• 
  Christopher Archibald, Yoav Shoham: Hustling in Repeated Zero-Sum Games with Imperfect Execution. 31-36
• 
  John Augustine, Ning Chen, Edith Elkind, Angelo Fanelli, Nick Gravin, Dmitry Shiryaev: Dynamics of Profit-Sharing Games. 37-42
• 
  Haris Aziz, Felix Brandt, Hans Georg Seedig: Optimal Partitions in Additively Separable Hedonic Games. 43-48
• 
  Yoram Bachrach, Edith Elkind, Piotr Faliszewski: Coalitional Voting Manipulation: A Game-Theoretic Perspective. 49-54
• 
  Nadja Betzler, Rolf Niedermeier, Gerhard J. Woeginger: Unweighted Coalitional Manipulation under the Borda Rule Is NP-Hard. 55-60
• 
  Katrien Beuls, Sebastian Höfer: Simulating the Emergence of Grammatical Agreement in Multi-Agent Language Games. 61-66
• 
  Eleanor Birrell, Rafael Pass: Approximately Strategy-Proof Voting. 67-72
• 
  Sylvain Bouveret, Jérôme Lang: A General Elicitation-Free Protocol for Allocating Indivisible Goods. 73-78
• 
  Felix Brandt: Group-Strategyproof Irresolute Social Choice Functions. 79-84
• 
  Felix Brandt, Markus Brill, Hans Georg Seedig: On the Fixed-Parameter Tractability of Composition-Consistent Tournament Solutions. 85-90
• 
  Simina Brânzei, Kate Larson: Social Distance Games. 91-96
• 
  Logan Brooks, Wayne Iba, Sandip Sen: Modeling the Emergence and Convergence of Norms. 97-102
• 
  Nils Bulling, Mehdi Dastani: Verifying Normative Behaviour via Normative Mechanism Design. 103-108
• 
  Nils Bulling, Wojciech Jamroga: Alternating Epistemic Mu-Calculus. 109-114
• 
  Chris Burnett, Timothy J. Norman, Katia P. Sycara: Trust Decision-Making in Multi-Agent Systems. 115-120
• 
  Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski: Manipulation in Group Argument Evaluation. 121-126
• 
  Ioannis Caragiannis, John K. Lai, Ariel D. Procaccia: Towards More Expressive Cake Cutting. 127-132
• 
  Ruggiero Cavallo: Efficient Mechanisms with Risky Participation. 133-138
• 
  Roberto Centeno, Holger Billhardt: Using Incentive Mechanisms for an Adaptive Regulation of Open Multi-Agent Systems. 139-145
• 
  Meng Chang, Minghua He, Xudong Luo: AstonCAT-Plus: An Efficient Specialist for the TAC Market Design Tournament. 146-151
• 
  Ning Chen, Arpita Ghosh: A Market Clearing Solution for Social Lending. 152-157
• 
  Vincent Conitzer, Jérôme Lang, Lirong Xia: Hypercubewise Preference Aggregation in Multi-Issue Domains. 158-163
• 
  Célia da Costa Pereira, Andrea Tettamanzi, Serena Villata: Changing One's Mind: Erase or Rewind? 164-171
• 
  Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Multi-Agent Soft Constraint Aggregation via Sequential Voting. 172-177
• 
  Marco De Luca, Dave Cliff: Human-Agent Auction Interactions: Adaptive-Aggressive Agents Dominate. 178-185
• 
  Edith Elkind, Jérôme Lang, Abdallah Saffidine: Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion. 186-191
• 
  Can Erdogan, Manuela M. Veloso: Action Selection via Learning Behavior Patterns in Multi-Robot Systems. 192-197
• 
  Xiuyi Fan, Francesca Toni: Assumption-Based Argumentation Dialogues. 198-203
• 
  Umberto Grandi, Ulle Endriss: Binary Aggregation with Integrity Constraints. 204-209
• 
  John Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman: Manipulating Boolean Games through Communication. 210-215
• 
  Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of the Core over Coalition Structures. 216-221
• 
  Anat Hashavit, Shaul Markovitch: Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments. 222-227
• 
  Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard: A Dynamic Logic of Normative Systems. 228-233
• 
  Martin Hoefer, Michal Penn, Maria Polukarov, Alexander Skopalik, Berthold Vöcking: Considerate Equilibrium. 234-239
• 
  Xiaowei Huang, Patrick Maupin, Ron van der Meyden: Model Checking Knowledge in Pursuit Evasion Games. 240-245
• 
  Egor Ianovski, Lan Yu, Edith Elkind, Mark C. Wilson: The Complexity of Safe Manipulation under Scoring Rules. 246-251
• 
  Wojciech Jamroga, Nils Bulling: Comparing Variants of Strategic Ability. 252-257
• 
  Michael Johanson, Kevin Waugh, Michael H. Bowling, Martin Zinkevich: Accelerating Best Response Calculation in Large Extensive Games. 258-265
• 
  Alexander Kleiner, Bernhard Nebel, Vittorio A. Ziparo: A Mechanism for Dynamic Ride Sharing Based on Parallel Auctions. 266-272
• 
  Dmytro Korzhyk, Vincent Conitzer, Ronald Parr: Security Games with Multiple Attacker Resources. 273-279
• 
  Tyler Lu, Craig Boutilier: Budgeted Social Choice: From Consensus to Personalized Decision Making. 280-286
• 
  Tyler Lu, Craig Boutilier: Robust Approximation and Incremental Elicitation in Voting Protocols. 287-293
• 
  Ryan Luna, Kostas E. Bekris: Push and Swap: Fast Cooperative Path-Finding with Completeness Guarantees. 294-300
• 
  Reshef Meir, Jeffrey S. Rosenschein, Enrico Malizia: Subsidies, Stability, and Restricted Cooperation in Coalitional Games. 301-306
• 
  Javier Morales, Maite López-Sánchez, Marc Esteva: Using Experience to Generate New Regulations. 307-312
• 
  Peter Novák, Wojciech Jamroga: Agents, Actions and Goals in Dynamic Environments. 313-318
• 
  Svetlana Obraztsova, Edith Elkind: On the Complexity of Voting Manipulation under Randomized Tie-Breaking. 319-324
• 
  Joni Pajarinen, Jaakko Peltonen: Efficient Planning for Factored Infinite-Horizon DEC-POMDPs. 325-331
• 
  Sébastien Picault, Philippe Mathieu: An Interaction-Oriented Model for Multi-Scale Simulation. 332-337
• 
  Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings: Minimum Search to Establish Worst-Case Guarantees in Coalition Structure Generation. 338-343
• 
  Jonathan Rubin, Ian Watson: On Combining Decisions from Multiple Expert Imitators for Performance. 344-349
• 
  Tyrel Russell, Peter van Beek: An Empirical Study of Seeding Manipulations and Their Prevention. 350-356
• 
  Isabelle Stanton, Virginia Vassilevska Williams: Rigging Tournament Brackets for Weaker Players. 357-364
• 
  Nathan R. Sturtevant, Vadim Bulitko: Learning Where You Are Going and from Whence You Came: h- and g-Cost Learning in Real-Time Heuristic Search. 365-370
• 
  Toshiharu Sugawara: Emergence and Stability of Social Conventions in Conflict Situations. 371-378
• 
  Pingzhong Tang, Tuomas Sandholm: Approximating Optimal Combinatorial Auctions for Complements Using Restricted Welfare Maximization. 379-385
• 
  Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo: Generalizing Envy-Freeness toward Group of Agents. 386-392
• 
  Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo: Concise Characteristic Function Representations in Coalitional Games Based on Agent Types. 393-399
• 
  Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi: Facing Openness with Socio-Cognitive Trust and Categories. 400-405
• 
  Serena Villata, Guido Boella, Leendert van der Torre: Attack Semantics for Abstract Argumentation. 406-413
• 
  Daniel Villatoro, Giulia Andrighetto, Jordi Sabater-Mir, Rosaria Conte: Dynamic Sanctioning for Robust and Cost-Efficient Norm Compliance. 414-419
• 
  Daniel Villatoro, Jordi Sabater-Mir, Sandip Sen: Social Instruments for Robust Convention Emergence. 420-425
• 
  Simeon Visser, John Thangarajah, James Harland: Reasoning about Preferences in Intelligent Agent Systems. 426-431
• 
  Colin R. Williams, Valentin Robu, Enrico H. Gerding, Nicholas R. Jennings: Using Gaussian Processes to Optimise Concession in Complex Negotiations against Unknown Opponents. 432-438
• 
  Feng Wu, Shlomo Zilberstein, Xiaoping Chen: Online Planning for Ad Hoc Autonomous Agent Teams. 439-445
• 
  Lirong Xia, Vincent Conitzer: A Maximum Likelihood Approach towards Aggregating Partial Orders. 446-451
• 
  Lirong Xia, David M. Pennock: An Efficient Monte-Carlo Algorithm for Pricing Combinatorial Prediction Markets for Tournaments. 452-457
• 
  Rong Yang, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe, Richard John: Improving Resource Allocation Strategy against Human Adversaries in Security Games. 458-464
• 
  Zhengyu Yin, Milind Tambe: Continuous Time Planning for Multiagent Teams with Temporal Constraints. 465-471
• 
  Dengji Zhao, Dongmo Zhang, Laurent Perrussel: Mechanism Design for Double Auctions with Temporal Constraints. 472-477
• 
  Xiaoming Zheng, Sven Koenig: Generalized Reaction Functions for Solving Complex-Task Allocation Problems. 478-483
• 
  Hankz Hankui Zhuo, Lei Li: Multi-Agent Plan Recognition with Partial Team Traces and Plan Libraries. 484-489
• 
  Yair Zick, Alexander Skopalik, Edith Elkind: The Shapley Value as a Function of the Quota in Weighted Voting Games. 490-496

Constraints, Satisfiability, and Search

• 
  Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen: Tackling the Partner Units Configuration Problem. 497-503
• 
  Anton Belov, Matti Järvisalo, Zbigniew Stachniak: Depth-Driven Circuit-Level Stochastic Local Search for SAT. 504-509
• 
  Manuel Bodirsky, Martin Hils, Alex Krimkevitch: Tractable Set Constraints. 510-515
• 
  Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears: Symmetries and Lazy Clause Generation. 516-521
• 
  Michael R. Fellows, Tobias Friedrich, Danny Hermelin, Nina Narodytska, Frances A. Rosamond: Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable. 522-527
• 
  Marcelo Finger, Glauber De Bona: Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. 528-533
• 
  Timothy Furtak, Michael Buro: Using Payoff-Similarity to Speed Up Search. 534-539
• 
  Serge Gaspers, Stefan Szeider: Kernels for Global Constraints. 540-545
• 
  Alexandra Goultiaeva, Allen Van Gelder, Fahiem Bacchus: A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas. 546-553
• 
  Patricia Gutierrez, Pedro Meseguer, William Yeoh: Generalizing ADOPT and BnB-ADOPT. 554-559
• 
  Daisuke Hatano, Katsutoshi Hirayama: Dynamic SAT with Decision Change Costs: Formalization and Solutions. 560-565
• 
  Edith Hemaspaandra, Henning Schnoor: Minimization for Generalized Boolean Formulas. 566-571
• 
  Federico Heras, João Marques-Silva: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. 572-577
• 
  Carlos Hernández, Jorge A. Baier: Real-Time Heuristic Search with Depression Avoidance. 578-583
• 
  Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe: Evaluations of Hash Distributed A* in Optimal Sequence Alignment. 584-590
• 
  Richard E. Korf: A Hybrid Recursive Multi-Way Number Partitioning Algorithm. 591-596
• 
  Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu: Constraint Programming on Infinite Data Streams. 597-604
• 
  Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon: Minimum Satisfiability and Its Applications. 605-610
• 
  Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu: Large Hinge Width on Sparse Random Hypergraphs. 611-616
• 
  Jeffrey Richard Long, Michael Buro: Real-Time Opponent Modeling in Trick-Taking Card Games. 617-622
• 
  Peter Nightingale, Ian P. Gent, Christopher Jefferson, Ian Miguel: Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. 623-628
• 
  Pierre Ouellet, Claude-Guy Quimper: The Multi-Inter-Distance Constraint. 629-634
• 
  François Pachet, Pierre Roy, Gabriele Barbieri: Finite-Length Markov Processes with Constraints. 635-642
• 
  Thierry Petit, Nicolas Beldiceanu, Xavier Lorca: A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. 643-648
• 
  Christopher D. Rosin: Nested Rollout Policy Adaptation for Monte Carlo Tree Search. 649-654
• 
  Satomi Baba, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo: Real-Time Solving of Quantified CSPs Based on Monte-Carlo Game Tree Search. 655-661
• 
  Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner: The Increasing Cost Tree Search for Optimal Multi-Agent Pathfinding. 662-667
• 
  Trevor Scott Standley, Richard E. Korf: Complete Algorithms for Cooperative Pathfinding Problems. 668-673
• 
  Jordan Tyler Thayer, Wheeler Ruml: Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates. 674-679
• 
  David Tolpin, Solomon Eyal Shimony: Rational Deployment of CSP Heuristics. 680-686
• 
  Justin Yip, Pascal Van Hentenryck: Symmetry Breaking via LexLeader Feasibility Checkers. 687-692
• 
  Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang: Heuristic Algorithms for Balanced Multi-Way Number Partitioning. 693-698
• 
  Zhaoyi Zhang, Songshan Guo, Wenbin Zhu, Wee-Chong Oon, Andrew Lim: Space Defragmentation Heuristic for 2D and 3D Bin Packing Problems. 699-704

Knowledge Representation, Reasoning, and Logic

• 
  Ofer Arieli, Arnon Avron, Anna Zamansky: What Is an Ideal Logic for Reasoning with Inconsistency?. 706-711
• 
  Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo: Walking the Complexity Lines for Generalized Guarded Existential Rules. 712-717
• 
  Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt: Query Reasoning on Trees with Types, Interleaving, and Counting. 718-723
• 
  Michael Bartholomew, Joohyung Lee, Yunsong Meng: First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. 724-730
• 
  Nuno Belard, Yannick Pencolé, Michel Combacau: A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems. 731-737
• 
  Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi: A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. 738-743
• 
  Vaishak Belle, Gerhard Lakemeyer: On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. 744-749
• 
  Salem Benferhat, Julien Hué, Sylvain Lagrue, Julien Rossit: Interval-Based Possibilistic Logic. 750-755
• 
  Manuel Bodirsky, Stefan Wölfl: RCC8 Is Polynomial on Networks of Bounded Treewidth. 756-761
• 
  Piero A. Bonatti, Marco Faella, Luigi Sauro: On the Complexity of EL with Defeasible Inclusions. 762-767
• 
  Stefan Borgwardt, Rafael Peñaloza: Description Logics over Lattices with Multi-Valued Ontologies. 768-773
• 
  Félix Bou, Marco Cerami, Francesc Esteva: Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete. 774-779
• 
  Gerhard Brewka, Paul E. Dunne, Stefan Woltran: Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs. 780-785
• 
  Gerhard Brewka, Thomas Eiter, Michael Fink, Antonius Weinzierl: Managed Multi-Context Systems. 786-791
• 
  Jan Broersen: Modeling Attempt and Action Failure in Probabilistic STIT Logic. 792-797
• 
  Diego Calvanese, Domenico Carbotta, Magdalena Ortiz: A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. 798-804
• 
  Diego Calvanese, Magdalena Ortiz, Mantas Simkus: Containment of Regular Path Queries under Description Logic Constraints. 805-812
• 
  Giovanni Casini, Umberto Straccia: Defeasible Inheritance-Based Description Logics. 813-818
• 
  Adnan Darwiche: SDD: A New Canonical Representation of Propositional Knowledge Bases. 819-826
• 
  Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. 827-832
• 
  James P. Delgrande: Revising by an Inconsistent Set of Formulas. 833-838
• 
  James P. Delgrande, Pavlos Peppas: Revising Horn Theories. 839-844
• 
  Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco: Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. 845-850
• 
  Wolfgang Dvorák, Paul E. Dunne, Stefan Woltran: Parametric Properties of Ideal Semantics. 851-856
• 
  David Fernández Duque: Tangled Modal Logic for Spatial Reasoning. 857-862
• 
  Johannes Klaus Fichte, Stefan Szeider: Backdoors to Tractable Answer-Set Programming. 863-868
• 
  Guido Fiorino: Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World. 869-874
• 
  Enrico Franconi, David Toman: Fixpoints in Temporal Description Logics. 875-880
• 
  Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi: Succinctness of Epistemic Languages. 881-886
• 
  Scott E. Friedman, Kenneth D. Forbus: Repairing Incorrect Knowledge with Model Formulation and Metareasoning. 887-893
• 
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Low Complexity DLs: The Logics EL^⊥T_min and DL-Lite_c T_min. 894-899
• 
  Stephan Gspandl, Ingo Pill, Michael Reip, Gerald Steinbauer, Alexander Ferrein: Belief Management for High-Level Robot Programs. 900-905
• 
  Torsten Hahmann, Michael Grüninger: Multidimensional Mereotopology with Betweenness. 906-911
• 
  Arjen Hommersom, Peter J. F. Lucas: Generalising the Interaction Rules in Probabilistic Logic. 912-917
• 
  Yuxiao Hu, Giuseppe De Giacomo: Generalized Planning: Synthesizing Plans that Work for Multiple Environments. 918-923
• 
  Katsumi Inoue: Logic Programming for Boolean Networks. 924-930
• 
  Peter Jonsson, Tomas Lööw: Discrete-Time Temporal Reasoning with Horn DLRs. 931-936
• 
  Gabriele Kern-Isberner, Patrick Krümpelmann: A Constructive Approach to Independent and Evidence Retaining Belief Revision by General Information Sets. 937-942
• 
  Samantha Kleinberg: A Logic for Causal Inference in Time Series with Discrete and Continuous Variables. 943-950
• 
  Sébastien Konieczny, Pierre Marquis, Nicolas Schwind: Belief Base Rationalization for Propositional Merging. 951-956
• 
  Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. 957-962
• 
  Markus Krötzsch, Sebastian Rudolph: Extending Decidable Existential Rules by Joining Acyclicity and Guardedness. 963-968
• 
  Gianfranco Lamperti, Marina Zanella: Context-Sensitive Diagnosis of Discrete-Event Systems. 969-975
• 
  Yongmei Liu, Ximing Wen: On the Progression of Knowledge in the Situation Calculus. 976-982
• 
  Carsten Lutz, Robert Piro, Frank Wolter: Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. 983-988
• 
  Carsten Lutz, Frank Wolter: Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. 989-995
• 
  Pierre Marquis: Existential Closures for Knowledge Compilation. 996-1001
• 
  Pierre Marquis, Nicolas Schwind: Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging. 1002-1007
• 
  Yoshihiro Maruyama: Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. 1008-1013
• 
  Loizos Michael: Causal Learnability. 1014-1020
• 
  Sanjay Modgil, Henry Prakken: Revisiting Preferences and Argumentation. 1021-1026
• 
  Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm: Reasoning-Supported Interactive Revision of Knowledge Bases. 1027-1032
• 
  Sebastian Ordyniak, Stefan Szeider: Augmenting Tractable Fragments of Abstract Argumentation. 1033-1038
• 
  Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus: Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ. 1039-1044
• 
  David Pearce, Levan Uridia: An Approach to Minimal Belief via Objective Belief. 1045-1050
• 
  Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu: An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. 1051-1056
• 
  Riccardo Rosati: On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. 1057-1062
• 
  Chiaki Sakama: Dishonest Reasoning by Abduction. 1063-1064
• 
  Chiaki Sakama, Tran Cao Son, Enrico Pontelli: A Logical Formulation for Negotiation among Dishonest Agents. 1069-1074
• 
  Lutz Schröder, Dirk Pattinson: Description Logics and Fuzzy Probability. 1075-1081
• 
  Yi-Dong Shen: Well-Supported Semantics for Description Logic Programs. 1081-1086
• 
  Sajjad Ahmed Siddiqi: Computing Minimum-Cardinality Diagnoses by Model Relaxation. 1087-1092
• 
  Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks: Consequence-Based Reasoning beyond Horn Ontologies. 1093-1098
• 
  Balder ten Cate, Enrico Franconi, Inanç Seylan: Beth Definability in Expressive Description Logics. 1099-1106
• 
  Michael Thielscher: The General Game Playing Description Language Is Universal. 1107-1112
• 
  Bas van Gijzel, Henry Prakken: Relating Carneades with Abstract Argumentation. 1113-1119
• 
  Matthias Westphal, Stefan Wölfl, Bernhard Nebel, Jochen Renz: On Qualitative Route Descriptions: Representation and Computational Complexity. 1120-1125
• 
  Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou: Translating First-Order Theories into Logic Programs. 1126-1131
• 
  Zhi Qiang Zhuang, Maurice Pagnucco: Transitively Relational Partial Meet Horn Contraction. 1132-1138

Machine Learning

• 
  Margareta Ackerman, Shai Ben-David: Discerning Linkage-Based Algorithms among Hierarchical Clustering Methods. 1140-1145
• 
  Alejandro Agostini, Enric Celaya: A Competitive Strategy for Function Approximation in Q-Learning. 1146-1151
• 
  Babak Ahmadi, Kristian Kersting, Scott Sanner: Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter. 1152-1158
• 
  Saeed Amizadeh, Shuguang Wang, Milos Hauskrecht: An Efficient Framework for Constructing Generalized Locally-Induced Text Metrics. 1159-1164
• 
  Henry Anaya-Sánchez, José Martínez Sotoca, Adolfo Martínez Usó: Semi-Supervised Learning from a Translation Model between Data Distributions. 1165-1170
• 
  David Andrzejewski, Xiaojin Zhu, Mark Craven, Benjamin Recht: A Framework for Incorporating General Domain Knowledge into Latent Dirichlet Allocation Using First-Order Logic. 1171-1177
• 
  Evgeniy Bart: Improving Performance of Topic Models by Variable Grouping. 1178-1185
• 
  Wei Bian, Dacheng Tao: Learning a Distance Metric by Empirical Loss Minimization. 1186-1191
• 
  Sam Blasiak, Huzefa Rangwala: A Hidden Markov Model Variant for Sequence Classification. 1192-1197
• 
  Karl Bringmann, Tobias Friedrich, Frank Neumann, Markus Wagner: Approximation-Guided Evolutionary Multi-Objective Optimization. 1198-1203
• 
  Bin Cao, Xiaochuan Ni, Jian-Tao Sun, Gang Wang, Qiang Yang: Distance Metric Learning under Covariate Shift. 1204-1210
• 
  Luiz A. Celiberto, Jackson Paul Matsuura, Ramon López de Mántaras, Reinaldo A. C. Bianchi: Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application. 1211-1217
• 
  Jeffrey Chan, Samantha Lam, Conor Hayes: Increasing the Scalability of the Fitting of Generalised Block Models for Social Networks. 1218-1224
• 
  Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D. Lawrence: Concept Labeling: Building Text Classifiers with Minimal Supervision. 1225-1230
• 
  Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen: Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance. 1231-1236
• 
  Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber: Flexible, High Performance Convolutional Neural Networks for Image Classification. 1237-1242
• 
  Luis C. Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz: Automatic State Abstraction from Demonstration. 1243-1248
• 
  Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain: Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates. 1249-1254
• 
  João Gama, Petr Kosina: Learning Decision Rules from Data Streams. 1255-1260
• 
  Loukas Georgiou, William John Teahan: Constituent Grammatical Evolution. 1261-1268
• 
  Robby Goetschalckx, Pascal Poupart, Jesse Hoey: Continuous Correlated Beta Processes. 1269-1274
• 
  Pinghua Gong, Changshui Zhang: A Fast Dual Projected Newton Method for l₁-Regularized Least Squares. 1275-1280
• 
  Valerio Grossi, Alessandro Sperduti: Kernel-Based Selective Ensemble Learning for Streams of Trees. 1281-1287
• 
  Quanquan Gu, Chris H. Q. Ding, Jiawei Han: On Trivial Solution and Scale Transfer Problems in Graph Regularized NMF. 1288-1293
• 
  Quanquan Gu, Zhenhui Li, Jiawei Han: Joint Feature Selection and Subspace Learning. 1294-1299
• 
  Yuhong Guo, Suicheng Gu: Multi-Label Classification Using Conditional Dependency Networks. 1300-1305
• 
  Thomas Guyet, Rene Quiniou: Extracting Temporal Patterns from Interval-Based Sequences. 1306-1311
• 
  Kiana Hajebi, Yasin Abbasi-Yadkori, Hossein Shahbazi, Hong Zhang: Fast Approximate Nearest-Neighbor Search with k-Nearest Neighbor Graph. 1312-1317
• 
  José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez: Gaussianity Measures for Detecting the Direction of Causal Time Series. 1318-1323
• 
  Chenping Hou, Feiping Nie, Dongyun Yi, Yi Wu: Feature Selection via Joint Embedding Learning and Sparse Regression. 1324-1329
• 
  Frederik Janssen, Johannes Fürnkranz: Heuristic Rule-Based Regression via Dynamic Reduction to Classification. 1330-1335
• 
  Ankur Kamthe, Miguel Á. Carreira-Perpiñán, Alberto Cerpa: Adaptation of a Mixture of Multivariate Bernoulli Distributions. 1336-1341
• 
  Mehdi Kaytoue, Sergei O. Kuznetsov, Amedeo Napoli: Revisiting Numerical Pattern Mining with Formal Concept Analysis. 1342-1347
• 
  Wesley Kerr, Anh Tran, Paul R. Cohen: Activity Recognition with Finite State Machines. 1348-1353
• 
  Varun Raj Kompella, Matthew D. Luciw, Jürgen Schmidhuber: Incremental Slow Feature Analysis. 1354-1359
• 
  Shaishav Kumar, Raghavendra Udupa: Learning Hash Functions for Cross-View Similarity Search. 1360-1365
• 
  Wenye Li, Dale Schuurmans: Modular Community Detection in Networks. 1366-1371
• 
  Guoqing Liu, Jianxin Wu, Suiping Zhou: Probit Classifiers with a Generalized Gaussian Scale Mixture Prior. 1372-1377
• 
  Haifeng Liu, Zheng Yang, Zhaohui Wu: Locality-Constrained Concept Factorization. 1378-1383
• 
  Dijun Luo, Chris H. Q. Ding, Heng Huang: Cluster Indicator Decomposition for Efficient Matrix Factorization. 1384-1389
• 
  Dijun Luo, Heng Huang: Ball Ranking Machine for Content-Based Multimedia Retrieval. 1390-1395
• 
  Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen: Combining Supervised and Unsupervised Models via Unconstrained Probabilistic Embedding. 1396-1401
• 
  Daniele Masato, Timothy J. Norman, Wamberto Weber Vasconcelos, Katia P. Sycara: Agent-Oriented Incremental Team and Activity Recognition. 1402-1407
• 
  Arman Melkumyan, Fabio Ramos: Multi-Kernel Gaussian Processes. 1408-1413
• 
  Sriraam Natarajan, Saket Joshi, Prasad Tadepalli, Kristian Kersting, Jude W. Shavlik: Imitation Learning in Relational Domains: A Functional-Gradient Boosting Approach. 1414-1420
• 
  Minh Nhut Nguyen, Xiaoli Li, See-Kiong Ng: Positive Unlabeled Leaning for Time Series Classification. 1421-1426
• 
  Tam T. Nguyen, Kuiyu Chang, Siu Cheung Hui: Distribution-Aware Online Classifiers. 1427-1432
• 
  Feiping Nie, Heng Huang, Chris H. Q. Ding, Dijun Luo, Hua Wang: Robust Principal Component Analysis with Non-Greedy l₁-Norm Maximization. 1433-1438
• 
  Tatdow Pansombut, William Hendrix, Zekai Jacob Gao, Brent E. Harrison, Nagiza F. Samatova: Biclustering-Driven Ensemble of Bayesian Belief Network Classifiers for Underdetermined Problems. 1439-1445
• 
  Prashant P. Reddy, Manuela M. Veloso: Strategy Learning for Autonomous Agents in Smart Grid Markets. 1446-1451
• 
  Mark B. Ring, Tom Schaul: Q-Error as a Selection Mechanism in Modular Reinforcement-Learning Systems. 1452-1457
• 
  Rajhans Samdani, Wen-tau Yih: Domain Adaptation with Ensemble of Feature Groups. 1458-1464
• 
  Suchi Saria, Andrew Duchi, Daphne Koller: Discovering Deformable Motifs in Continuous Time Series Data. 1465-1471
• 
  Taisuke Sato: A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. 1472-1477
• 
  Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Fredrick H. M. Semazzi, Alok N. Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova: Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction. 1478-1484
• 
  Hossam Sharara, Lise Getoor, Myra Norton: Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders. 1485-1490
• 
  Kilho Shin, Danny Fernandes, Seiya Miyazaki: Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison, and a Fast Algorithm. 1491-1497
• 
  Noam Slonim, Elad Yom-Tov, Koby Crammer: Active Online Classification via Information Maximization. 1498-1504
• 
  Dengdi Sun, Chris H. Q. Ding, Bin Luo, Jin Tang: Angular Decomposition. 1505-1510
• 
  Swee Chuan Tan, Kai Ming Ting, Fei Tony Liu: Fast Anomaly Detection for Streaming Data. 1511-1516
• 
  Luís Torgo, Elsa Lopes: Utility-Based Fraud Detection. 1517-1522
• 
  Kewei Tu, Vasant Honavar: On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars. 1523-1528
• 
  Sicco Verwer, Mathijs de Weerdt, Cees Witteveen: Learning Driving Behavior by Timed Syntactic Pattern Recognition. 1529-1534
• 
  Chang Wan, Rong Pan, Jiefei Li: Bi-Weighting Domain Adaptation for Cross-Language Text Classification. 1535-1540
• 
  Chang Wang, Sridhar Mahadevan: Heterogeneous Domain Adaptation Using Manifold Alignment. 1541-1546
• 
  Chang Wang, Sridhar Mahadevan: Jointly Learning Data-Dependent Label and Locality-Preserving Projections. 1547-1552
• 
  Hua Wang, Feiping Nie, Heng Huang, Fillia Makedon: Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering. 1553-1558
• 
  Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou: Local and Structural Consistency for Multi-Manifold Clustering. 1559-1564
• 
  David Wingate, Noah D. Goodman, Daniel M. Roy, Leslie Pack Kaelbling, Joshua B. Tenenbaum: Bayesian Policy Search with Policy Priors. 1565-1570
• 
  Ou Wu, Weiming Hu, Jun Gao: Learning to Rank under Multiple Annotators. 1571-1576
• 
  Yanshan Xiao, Bo Liu, Jie Yin, Longbing Cao, Chengqi Zhang, Zhifeng Hao: Similarity-Based Approach for Positive and Unlabeled Learning. 1577-1582
• 
  Eleftherios Spyromitros Xioufis, Myra Spiliopoulou, Grigorios Tsoumakas, Ioannis P. Vlahavas: Dealing with Concept Drift and Class Imbalance in Multi-Label Stream Classification. 1583-1588
• 
  Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou: l_{2, 1}-Norm Regularized Discriminative Feature Selection for Unsupervised Learning. 1589-1594
• 
  Jiho Yoo, Seungjin Choi: Matrix Co-Factorization on Compressed Sensing. 1595-1602
• 
  Yang Yu, Yu-Feng Li, Zhi-Hua Zhou: Diversity Regularized Machine. 1603-1608
• 
  Min-Ling Zhang: LIFT: Multi-Label Learning with Label-Specific Features. 1609-1614
• 
  Wei Zhang, Xiangyang Xue, Jianping Fan, Xiaojing Huang, Bin Wu, Mingjie Liu: Multi-Kernel Multi-Label Learning with Max-Margin Concept Network. 1615-1620
• 
  Xu-Yao Zhang, Kaizhu Huang, Cheng-Lin Liu: Pattern Field Classification with Style Normalized Transformation. 1621-1626

Multidisciplinary Topics and Applications

• 
  Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V. S. Subrahmanian: Finding "Unexplained" Activities in Video. 1628-1634
• 
  Emad A. M. Andrews, Anthony J. Bonner: Explaining Genetic Knock-Out Effects Using Cost-Based Abduction. 1635-1640
• 
  Joanna Bryson, Philip P. Kime: Just an Artifact: Why Machines Are Perceived as Moral Agents. 1641-1646
• 
  Mike Chung, Willy Cheung, Reinhold Scherer, Rajesh P. N. Rao: A Hierarchical Architecture for Adaptive Brain-Computer Interfacing. 1647-1652
• 
  Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer: A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. 1653-1658
• 
  Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres: Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. 1659-1664
• 
  Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh: OCS-14 : You Can Get Occluded in Fourteen Ways. 1665-1670
• 
  Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou, Weiwu Hu, Zhiwei Xu: Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations. 1671-1677
• 
  Amin Haji Abolhassani, James J. Clark: Visual Task Inference Using Hidden Markov Models. 1678-1683
• 
  Han The Anh, Luís Moniz Pereira, Francisco C. Santos: The Role of Intention Recognition in the Evolution of Cooperative Behavior. 1684-1689
• 
  Chao He, Xueqi Cheng, Jiafeng Guo, Huawei Shen: Multi-Select Faceted Navigation Based on Minimum Description Length Principle. 1690-1696
• 
  Mark Hoogendoorn, Rianne van Lambalgen, Jan Treur: Modeling Situation Awareness in Human-Like Agents Using Mental Models. 1697-1704
• 
  Wu-Jun Li, Dit-Yan Yeung, Zhihua Zhang: Generalized Latent Factor Models for Social Network Analysis. 1705-1710
• 
  Qiang Lou, Zoran Obradovic: Modeling Multivariate Spatio-Temporal Remote Sensing Data with Large Gaps. 1711-1716
• 
  Santiago Ontañón, Jichen Zhu: On the Role of Domain Knowledge in Analogy-Based Story Generation. 1717-1722
• 
  Kayur Patel, Steven M. Drucker, James Fogarty, Ashish Kapoor, Desney S. Tan: Using Multiple Models to Understand Data. 1723-1728
• 
  Thomas Plötz, Nils Y. Hammerla, Patrick Olivier: Feature Learning for Activity Recognition in Ubiquitous Computing. 1729-1734
• 
  Jan Treur: A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns. 1735-1742
• 
  Jan Treur: A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions. 1743-1749
• 
  Alice X. Zheng, John Dunagan, Ashish Kapoor: Active Graph Reachability Reduction for Network Security and Software Engineering. 1750-1756

Natural Language Processing

• 
  Muhammad Arshad Ul Abedin, Vincent Ng, Latifur Khan: Learning Cause Identifiers from Annotator Rationales. 1758-1763
• 
  Shane Bergsma, Benjamin Van Durme: Learning Bilingual Lexicons Using the Visual Similarity of Labeled Web Images. 1764-1769
• 
  Fan Bu, Yu Hao, Xiaoyan Zhu: Semantic Relationship Discovery with Wikipedia Structure. 1770-1775
• 
  Mengen Chen, Xiaoming Jin, Dou Shen: Short Text Classification Improved by Learning Multi-Granularity Topics. 1776-1781
• 
  Michael Connor, Cynthia Fisher, Dan Roth: Online Latent Structure Training for Language Acquisition. 1782-1787
• 
  Pascal Denis, Philippe Muller: Predicting Globally-Coherent Temporal Structures from Texts via Endpoint Inference and Graph Decomposition. 1788-1793
• 
  Dan Goldwasser, Dan Roth: Learning from Natural Instructions. 1794-1800
• 
  Hugo Gonçalo Oliveira, Paulo Gomes: Automatic Discovery of Fuzzy Synsets from Dictionary Definitions. 1801-1806
• 
  Shafiq R. Joty, Giuseppe Carenini, Chin-Yew Lin: Unsupervised Modeling of Dialog Acts in Asynchronous Conversations. 1807-1813
• 
  Fang Kong, Guodong Zhou: Improve Tree Kernel-Based Event Pronoun Resolution with Competitive Information. 1814-1819
• 
  Fangtao Li, Nathan Nan Liu, Hongwei Jin, Kai Zhao, Qiang Yang, Xiaoyan Zhu: Incorporating Reviewer and Product Information for Review Rating Prediction. 1820-1825
• 
  Shoushan Li, Zhongqing Wang, Guodong Zhou, Sophia Yat Mei Lee: Semi-Supervised Learning for Imbalanced Sentiment Classification. 1826-1831
• 
  Xiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong: Collective Semantic Role Labeling for Tweets with Clustering. 1832-1837
• 
  Chi-kiu Lo, Dekai Wu: SMT Versus AI Redux: How Semantic Frames Evaluate MT More Accurately. 1838-1845
• 
  Jun Matsuno, Toru Ishida: Constraint Optimization Approach to Context Based Word Selection. 1846-1851
• 
  Ana Cristina Mendes, Luísa Coheur: An Approach to Answer Selection in Question-Answering Based on Semantic Relations. 1852-1857
• 
  Smaranda Muresan: Learning for Deep Language Understanding. 1858-1865
• 
  Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu: Improving Topic Evaluation Using Conceptual Knowledge. 1866-1871
• 
  Roberto Navigli, Paola Velardi, Stefano Faralli: A Graph-Based Algorithm for Inducing Lexical Taxonomies from Scratch. 1872-1877
• 
  Olivier Pietquin, Matthieu Geist, Senthilkumar Chandramohan: Sample Efficient On-Line Learning of Optimal Dialogue Policies with Kalman Temporal Differences. 1878-1883
• 
  Altaf Rahman, Vincent Ng: Ensemble-Based Coreference Resolution. 1884-1889
• 
  Benjamin Rozenfeld, Ronen Feldman: Unsupervised Lexicon Acquisition for HPSG-Based Relation Extraction. 1890-1895
• 
  Ulli Waltinger, Alexa Breuing, Ipke Wachsmuth: Interfacing Virtual Agents with Collaborative Knowledge: Open Domain Question Answering Using Wikipedia-Based Topic Models. 1896-1902
• 
  Li Zhang: Affect Sensing in Metaphorical Phenomena and Dramatic Interaction Context. 1903-1908
• 
  Wei Zhang, Yan Chuan Sim, Jian Su, Chew Lim Tan: Entity Linking with Effective Acronym Expansion, Instance Selection, and Topic Modeling. 1909-1914
• 
  Yuejie Zhang, Lei Cen, Cheng Jin, Xiangyang Xue, Jianping Fan: Learning Inter-Related Statistical Query Translation Models for English-Chinese Bi-Directional CLIR. 1915-1920
• 
  Yuejie Zhang, Lei Cen, Wei Wu, Cheng Jin, Xiangyang Xue: Fusion of Multiple Features and Supervised Learning for Chinese OOV Term Detection and POS Guessing. 1921-1926

Planning and Scheduling

• 
  Jennifer L. Barry, Leslie Pack Kaelbling, Tomás Lozano-Pérez: DetH*: Approximate Hierarchical Solution of Large Markov Decision Processes. 1928-1935
• 
  Blai Bonet, Hector Geffner: Planning under Partial Observability by Classical Replanning: Theory and Experiments. 1936-1941
• 
  Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman: Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. 1942-1948
• 
  Jicheng Fu, Vincent Ng, Farokh B. Bastani, I-Ling Yen: Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems. 1949-1954
• 
  Thomas Geier, Pascal Bercher: On the Decidability of HTN Planning with Task Insertion. 1955-1961
• 
  Derek Hao Hu, Qiang Yang: Transfer Learning for Activity Recognition via Sensor Mapping. 1962-1967
• 
  Dongho Kim, Jaesong Lee, Kee-Eung Kim, Pascal Poupart: Point-Based Value Iteration for Constrained POMDPs. 1968-1974
• 
  Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck: Monitoring the Execution of Partial-Order Plans via Regression. 1975-1982
• 
  Raz Nissim, Jörg Hoffmann, Malte Helmert: Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. 1983-1990
• 
  Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith: Iterative Flattening Search for the Flexible Job Shop Scheduling Problem. 1991-1996
• 
  Dario Pacino, Pascal Van Hentenryck: Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling. 1997-2002
• 
  Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner: Computing Infinite Plans for LTL Goals Using a Classical Planner. 2003-2008
• 
  Miquel Ramírez, Hector Geffner: Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent. 2009-2014
• 
  Jussi Rintanen: Planning with SAT, Admissible Heuristics and A*. 2015-2020
• 
  Guy Shani, Ronen I. Brafman: Replanning in Domains with Partial Information and Sensing Actions. 2021-2026
• 
  Matthijs T. J. Spaan, Frans A. Oliehoek, Christopher Amato: Scaling Up Optimal Heuristic Search in Dec-POMDPs via Incremental Expansion. 2027-2032
• 
  Son Thanh To, Enrico Pontelli, Tran Cao Son: On the Effectiveness of CNF and DNF Representations in Contingent Planning. 2033-2038
• 
  Jason Wolfe, Stuart J. Russell: Bounded Intention Planning. 2039-2045
• 
  Huan Xu, Shie Mannor: Probabilistic Goal Markov Decision Processes. 2046-2052

Robotics and Vision

• 
  Deepak Bhadauria, Volkan Isler: Capturing an Evader in a Polygonal Environment with Obstacles. 2054-2059
• 
  Raghudeep Gadde, Kamalakar Karlapalem: Aesthetic Guideline Driven Photography by Robots. 2060-2065
• 
  Laura M. Hiatt, Anthony M. Harrison, J. Gregory Trafton: Accommodating Human Variability in Human-Robot Teams through Theory of Mind. 2066-2071
• 
  Zhaoyin Jia, Ashutosh Saxena, Tsuhan Chen: Robotic Object Detection: Learning to Improve the Classifiers Using Sparse Graphs for Path Planning. 2072-2078
• 
  Zijian Zhao: Conics with a Common Axis of Symmetry: Properties and Applications to Camera Calibration. 2079-1084
• 
  Vincent Wenchen Zheng, Qiang Yang: User-Dependent Aspect Model for Collaborative Activity Recognition. 2085-2090

Uncertainty in AI

• 
  Jaesik Choi, Abner Guzmán-Rivera, Eyal Amir: Lifted Relational Kalman Filtering. 2092-2099
• 
  Cassio Polpo de Campos: New Complexity Results for MAP in Bayesian Networks. 2100-2106
• 
  Cassio Polpo de Campos, Alessio Benavoli: Inference with Multinomial Data: Why to Weaken the Prior Strength. 2107-2112
• 
  Haris Dindo, Daniele Zambuto, Giovanni Pezzulo: Motor Simulation via Coupled Internal Models Using Sequential Monte Carlo. 2113-2119
• 
  Hélène Fargier, Gildas Jeantet, Olivier Spanjaard: Resolute Choice in Sequential Decision Problems with Multiple Priors. 2120-2125
• 
  Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex: Pairwise Decomposition for Combinatorial Optimization in Graphical Models. 2126-2132
• 
  Andreas Krause, Alex Roper, Daniel Golovin: Randomized Sensing in Adversarial Environments. 2133-2139
• 
  Akshat Kumar, Shlomo Zilberstein, Marc Toussaint: Scalable Multiagent Planning Using Probabilistic Inference. 2140-2146
• 
  Xin Liu, Anwitaman Datta: A Trust Prediction Approach Capturing Agents' Dynamic Behavior. 2147-2152
• 
  Mathias Niepert, Jan Noessner, Heiner Stuckenschmidt: Log-Linear Description Logics. 2153-2158
• 
  Kevin Regan, Craig Boutilier: Eliciting Additive Reward Functions for Markov Decision Processes. 2159-2164
• 
  Kevin Regan, Craig Boutilier: Robust Online Optimization of Reward-Uncertain MDPs. 2165-2171
• 
  Roberto Rossi, Brahim Hnich, S. Armagan Tarim, Steven David Prestwich: Finding (α, ϑ)-Solutions via Sampled SCSPs. 2172-2177
• 
  Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt: Lifted Probabilistic Inference by First-Order Knowledge Compilation. 2178-2185
• 
  Changhe Yuan, Brandon M. Malone, XiaoJian Wu: Learning Optimal Bayesian Networks Using A* Search. 2186-2191
• 
  Julio H. Zaragoza, Luis Enrique Sucar, Eduardo F. Morales, Concha Bielza, Pedro Larrañaga: Bayesian Chain Classifiers for Multidimensional Classification. 2192-2197

Web and Knowledge-Based Information Systems

• 
  Joshua Akehurst, Irena Koprinska, Kalina Yacef, Luiz Augusto Sangoi Pizzato, Judy Kay, Tomasz Rej: CCR - A Content-Collaborative Reciprocal Recommender for Online Dating. 2199-2204
• 
  Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka: Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision. 2205-2210
• 
  Yunbo Cao, Zhiyuan Chen, Jiamin Zhu, Pei Yue, Chin-Yew Lin, Yong Yu: Leveraging Unlabeled Data to Scale Blocking for Record Linkage. 2211-2217
• 
  Emprise Y. K. Chan, Dit-Yan Yeung: A Convex Formulation of Modularity Maximization for Community Detection. 2218-2225
• 
  Bernardo Cuenca Grau, Giorgos Stoilos: What to Ask to an Incomplete Semantic Web Reasoner?. 2226-2231
• 
  Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider: The Modular Structure of an Ontology: Atomic Decomposition. 2232-2237
• 
  Yasuhiro Fujiwara, Go Irie, Tomoe Kitahara: Fast Algorithm for Affinity Propagation. 2238-2243
• 
  Aaron Gerow, Mark T. Keane: Mining the Web for the "Voice of the Herd" to Track Stock Market Bubbles. 2244-2249
• 
  Harry Halpin, Victor Lavrenko: Relevance Feedback between Web Search and the Semantic Web. 2250-2255
• 
  Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell: Finding the Hidden Gems: Recommending Untagged Music. 2256-2261
• 
  Tomoharu Iwata, Shinji Wanatabe, Hiroshi Sawada: Fashion Coordinates Recommender System Using Photographs from Fashion Magazines. 2262-2267
• 
  Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka: Mining Longitudinal Network for Predicting Company Value. 2268-2273
• 
  Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles: Context Sensitive Topic Models for Author Influence in Document Networks. 2274-2280
• 
  Arpit Khurdiya, Lipika Dey, Nidhi Raj, S. K. Mirajul Haque: Multi-Perspective Linking of News Articles within a Repository. 2281-2286
• 
  João Leite, João Martins: Social Abstract Argumentation. 2287-2292
• 
  Bin Li, Xingquan Zhu, Ruijiang Li, Chengqi Zhang, Xiangyang Xue, Xindong Wu: Cross-Domain Collaborative Filtering over Time. 2293-2298
•