22. IJCAI 2011: Barcelona, Catalonia, Spain

• 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 Guzman-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
  
• David McSherry:
  Minimally Complete Recommendations. 2299-2304
  
• Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama, Ko Fujimura:
  User Similarity from Linked Taxonomies: Subjective Assessments of Items. 2305-2311
  
• Axel-Cyrille Ngonga Ngomo, Sören Auer:
  LIMES — A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data. 2312-2317
  
• Weike Pan, Nathan Nan Liu, Evan Wei Xiang, Qiang Yang:
  Transfer Learning to Predict Missing Ratings via Heterogeneous User Feedbacks. 2318-2323
  
• Jeff Pasternack, Dan Roth:
  Making Better Informed Trust Decisions with Generalized Fact-Finding. 2324-2329
  
• Yangqiu Song, Haixun Wang, Zhongyuan Wang, Hongsong Li, Weizhu Chen:
  Short Text Conceptualization Using a Probabilistic Knowledgebase. 2330-2336
  
• Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li:
  A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere. 2337-2342
  
• Peng Wang, Yuming Zhou, Baowen Xu:
  Matching Large Ontologies Based on Reduction Anchors. 2343-2348
  
• Leting Wu, Xiaowei Ying, Xintao Wu, Zhi-Hua Zhou:
  Line Orthogonality in Adjacency Eigenspace with Application to Community Partition. 2349-2354
  
• Evan Wei Xiang, Sinno Jialin Pan, Weike Pan, Jian Su, Qiang Yang:
  Source-Selection-Free Transfer Learning. 2355-2360
  
• Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru:
  Predicting Epidemic Tendency through Search Behavior Analysis. 2361-2366
  
• Songhua Xu, Hao Jiang, Francis Chi-Moon Lau:
  Mining User Dwell Time for Personalized Web Search Re-Ranking. 2367-2372
  
• Zhenglu Yang, Masaru Kitsuregawa:
  Efficient Searching Top-k Semantic Similar Words. 2373-2378
  
• Richong Zhang, Thomas T. Tran, Yongyi Mao:
  Recommender Systems from “Words of Few Mouths”. 2379-2384
  

Special Track on Integrated and Embedded Artificial Intelligence

• Alejandro Agostini, Carme Torras, Florentin Wörgötter:
  Integrating Task Planning and Interactive Learning for Robots to Work in Human Environments. 2386-2391
  
• Ofra Amir, Ya'akov (Kobi) Gal:
  Plan Recognition in Virtual Laboratories. 2392-2397
  
• Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev:
  A Comprehensive Approach to On-Board Autonomy Verification and Validation. 2398-2403
  
• S. R. K. Branavan, David Silver, Regina Barzilay:
  Non-Linear Monte-Carlo Search in Civilization II. 2404-2410
  
• Huanhuan Chen, Anthony G. Cohn:
  Buried Utility Pipeline Mapping Based on Multiple Spatial Data Sources: A Bayesian Data Fusion Approach. 2411-2417
  
• Hong-Jie Dai, Wei-Chi Tsai, Richard Tzong-Han Tsai, Wen-Lian Hsu:
  Enhancing Search Results with Semantic Annotation Using Augmented Browsing. 2418-2423
  
• Hieu-Chi Dam, Tu Bao Ho, Ayumu Sugiyama:
  Simulation-Based Data Mining Solution to the Structure of Water Surrounding Proteins. 2424-2429
  
• Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer:
  A Natural Language Question Answering System as a Participant in Human Q&A Portals. 2430-2435
  
• Martin Field, Stephanie Valentine, Julie Linsey, Tracy Hammond:
  Sketch Recognition Algorithms for Comparing Complex and Unpredictable Shapes. 2436-2441
  
• Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Göbelbecker, Hendrik Zender:
  Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. 2442-2449
  
• Ulit Jaidee, Héctor Muñoz-Avila, David W. Aha:
  Integrated Learning for Goal-Driven Autonomy. 2450-2455
  
• Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, Tiejun Huang, Wen Gao:
  Learning Compact Visual Descriptor for Low Bit Rate Mobile Landmark Search. 2456-2463
  
• Da Kuang, Xiao Li, Charles X. Ling:
  A New Search Engine Integrating Hierarchical Browsing and Keyword Search. 2464-2469
  
• Yen-ling Kuo, Jane Yung-jen Hsu:
  Resource-Bounded Crowd-Sourcing of Commonsense Knowledge. 2470-2475
  
• Kennard Laviers, Gita Sukthankar:
  A Real-Time Opponent Modeling System for Rush Football. 2476-2481
  
• Thomas Léauté, Boi Faltings:
  Coordinating Logistics Operations with Privacy Guarantees. 2482-2487
  
• Fangtao Li, Minlie Huang, Yi Yang, Xiaoyan Zhu:
  Learning to Identify Review Spam. 2488-2493
  
• Sameep Mehta, Girish Chafle, Gyana R. Parija, Vikas Kedia:
  A System for Providing Differentiated QoS in Retail Banking. 2494-2499
  
• Sildomar T. Monteiro, Joop van de Ven, Fabio Ramos, Peter Hatherly:
  Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining. 2500-2506
  
• Nozomi Nori, Danushka Bollegala, Mitsuru Ishizuka:
  Interest Prediction on Multinomial, Time-Evolving Social Graph. 2507-2512
  
• Jean Oh, Felipe Meneguzzi, Katia P. Sycara, Timothy J. Norman:
  An Agent Architecture for Prognostic Reasoning Assistance. 2513-2518
  
• Ismael Pascual-Nieto, Olga C. Santos, Diana Pérez-Marín, Jesus Boticario:
  Extending Computer Assisted Assessment Systems with Natural Language Processing, User Modeling, and Recommendations Based on Human Computer Interaction and Data Mining. 2519-2524
  
• Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Geoff James:
  Integrating Learning into a BDI Agent for Environments with Changing Dynamics. 2525-2530
  
• Maarika Teose, Kiyan Ahmadizadeh, Eoin O'Mahony, Rebecca L. Smith, Zhao Lu, Stephen P. Ellner, Carla Gomes, Yrjo Grohn:
  Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems. 2531-2538
  
• Siyu Xia, Ming Shao, Yun Fu:
  Kinship Verification through Transfer Learning. 2539-2544
  
• Zhongtang Zhao, Yiqiang Chen, Junfa Liu, Zhiqi Shen, Mingjie Liu:
  Cross-People Mobile-Phone Based Activity Recognition. 2545-2550
  
• Yabin Zheng, Chen Li, Maosong Sun:
  CHIME: An Efficient Error-Tolerant Chinese Pinyin Input Method. 2551-2556
  

Best Paper Track

• Arvind Agarwal, Hal Daumé III:
  A Geometric View of Conjugate Priors. 2558-2563
  
• Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian:
  Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage. 2564-2569
  
• Eli Ben-Sasson, Jan Johannsen:
  Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width. 2570-2575
  
• Wei Chen, Zhenming Liu, Xiaorui Sun, Yajun Wang:
  Community Detection in Social Networks through Community Formation Games. 2576-2581
  
• Julien Cojan, Jean Lieber:
  An Algorithm for Adapting Cases Represented in ALC. 2582-2589
  
• Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
  Exploring Protein Fragment Assembly Using CLP. 2590-2595
  
• Christian Drescher, Toby Walsh:
  Translation-Based Constraint Answer Set Solving. 2596-2601
  
• Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge:
  Incentive Engineering for Boolean Games. 2602-2607
  
• Stefano Ermon, Carla P. Gomes, Bart Selman:
  A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. 2608-2613
  
• Andrew M. Finch, Wei Song, Kumiko Tanaka-Ishii, Eiichiro Sumita:
  picoTrans: Using Pictures as Input for Machine Translation on Mobile Devices. 2614-2619
  
• Maria Fox, Derek Long, Daniele Magazzeni:
  Automatic Construction of Efficient Multiple Battery Usage Policies. 2620-2625
  
• Martin Gebser, Orkunt Sabuncu, Torsten Schaub:
  Finite Model Computation via Answer Set Programming. 2626-2631
  
• John Grant, Anthony Hunter:
  Measuring the Good and the Bad in Inconsistent Information. 2632-2637
  
• Yuxiao Hu, Hector J. Levesque:
  A Correctness Result for Reasoning about One-Dimensional Planning Problems. 2638-2643
  
• Mohsen Jamali, Martin Ester:
  A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks. 2644-2649
  
• Jens Kober, Erhan Oztop, Jan Peters:
  Reinforcement Learning to Adjust Robot Movements to New Situations. 2650-2655
  
• Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
  The Combined Approach to Ontology-Based Data Access. 2656-2661
  
• Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades:
  Reasoning and Proofing Services for Semantic Web Agents. 2662-2667
  
• Markus Krötzsch:
  Efficient Rule-Based Inferencing for OWL EL. 2668-2673
  
• Ranjitha Kumar, Jerry O. Talton, Salman Ahmad, Tim Roughgarden, Scott R. Klemmer:
  Flexible Tree Matching. 2674-2679
  
• David B. Leake, Jay H. Powell:
  Enhancing Case Adaptation with Introspective Reasoning and Web Mining. 2680-2685
  
• Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney:
  Recommender Systems, Missing Data and Statistical Model Estimation. 2686-2691
  
• Dimitrios Mavroeidis:
  Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms. 2692-2697
  
• Svetlana Obraztsova, Edith Elkind, Noam Hazon:
  Ties Matter: Complexity of Voting Manipulation Revisited. 2698-2703
  
• Heather S. Packer, Nicholas Gibbins, Nicholas R. Jennings:
  An On-Line Algorithm for Semantic Forgetting. 2704-2709
  
• James Pita, Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald:
  GUARDS — Innovative Application of Game Theory for National Airport Security. 2710-2715
  
• Antonino Rotolo:
  Norm Compliance of Rule-Based Cognitive Agents. 2716-2721
  
• Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore:
  Theoretical Justification of Popular Link Prediction Heuristics. 2722-2727
  
• Christophe Senot, Dimitre Kostadinov, Makram Bouzid, Jérôme Picault, Armen Aghasaryan:
  Evaluation of Group Profiling Strategies. 2728-2733
  
• Dafna Shahaf, Carlos Guestrin:
  Connecting the Dots between News Articles. 2734-2739
  
• Shai Shalev-Shwartz, Ohad Shamir, Karthik Sridharan:
  Learning Linear and Kernel Predictors with the 0–1 Loss Function. 2740-2745
  
• Mike Smith, Ingmar Posner, Paul M. Newman:
  Adaptive Data Compression for Robot Perception. 2746-2751
  
• Javier Vélez, Garrett Hemann, Albert S. Huang, Ingmar Posner, Nicholas Roy:
  Active Exploration for Robust Object Detection. 2752-2757
  
• Shenghui Wang, Paul T. Groth:
  A Framework for Longitudinal Influence Measurement between Communication Content and Social Networks. 2758-2763
  
• Jason Weston, Samy Bengio, Nicolas Usunier:
  WSABIE: Scaling Up to Large Vocabulary Image Annotation. 2764-2770
  
• Koji Yatani, Michael Novati, Andrew Trusty, Khai N. Truong:
  Analysis of Adjective-Noun Word Pair Extraction Methods for Online Review Summarization. 2771-2776
  
• Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-Jen Lin:
  Large Linear Classification When Data Cannot Fit in Memory. 2777-2782