| 2012 | A Bipolar Framework for Combining Beliefs about Vague Propositions. Jonathan Lawry, Didier Dubois |
| 2012 | A Generic Querying Algorithm for Greedy Sets of Existential Rules. Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph |
| 2012 | Abstract Normative Systems: Semantics and Proof Theory. Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata |
| 2012 | Abstracting Abstraction in Search with Applications to Planning. Christer Bäckström, Peter Jonsson |
| 2012 | Achieving Completeness in Bounded Model Checking of Action Theories in ASP. Laura Giordano, Alberto Martelli, Daniele Theseider Dupré |
| 2012 | Acyclicity Conditions and their Application to Query Answering in Description Logics. Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
| 2012 | Ambiguous Language and Differences in Beliefs. Joseph Y. Halpern, Willemien Kets |
| 2012 | An Abstraction Technique for the Verification of Artifact-Centric Systems. Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2012 | An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. Carsten Lutz, Inanç Seylan, Frank Wolter |
| 2012 | An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities. Nic Wilson, Radu Marinescu |
| 2012 | Answer Set Programming via Mixed Integer Programming. Guohua Liu, Tomi Janhunen, Ilkka Niemelä |
| 2012 | Area Chairs and Program Committee. |
| 2012 | Assertion Absorption in Object Queries over Knowledge Bases. Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell |
| 2012 | Automated Verification of Epistemic Properties for General Game Playing. Sebastian Haufe, Michael Thielscher |
| 2012 | Belief Revision with Sensing and Fallible Actions. James P. Delgrande, Hector J. Levesque |
| 2012 | Belief Revision within Fragments of Propositional Logic. Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
| 2012 | Bounded Situation Calculus Action Theories and Decidable Verification. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi |
| 2012 | Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning. Jinbo Huang |
| 2012 | Complexity-Sensitive Decision Procedures for Abstract Argumentation. Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran |
| 2012 | Compositional Belief Merging. Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
| 2012 | Conference Committee. |
| 2012 | Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. Alban Grastien, Patrik Haslum, Sylvie Thiébaux |
| 2012 | Conjunctive Query Answering with OWL 2 QL. Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
| 2012 | Credibility-Limited Revision Operators in Propositional Logic. Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez |
| 2012 | Declarative Entity Resolution via Matching Dependencies and Answer Set Programs. Zeinab Bahmani, Leopoldo E. Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan |
| 2012 | Efficient Argumentation for Medical Decision-Making. Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams |
| 2012 | Efficiently Computable Datalog∃ Programs. Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
| 2012 | Exchanging Description Logic Knowledge Bases. Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov |
| 2012 | Extending Unification in EL Towards General TBoxes. Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | Fixed-Parameter Algorithms for Finding Minimal Models. Martin Lackner, Andreas Pfandler |
| 2012 | Fixpoints and Iterated Updates in Abstract Argumentation. Davide Grossi |
| 2012 | Forgetting in Logic Programs under Strong Equivalence. Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang |
| 2012 | From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP. Chitta Baral, Shanshan Liang |
| 2012 | Generalized Ontology-Based Production Systems. Riccardo Rosati, Enrico Franconi |
| 2012 | High Performance Query Answering over DL-Lite Ontologies. Mariano Rodriguez-Muro, Diego Calvanese |
| 2012 | Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction. Henri Prade, Gilles Richard |
| 2012 | Horn Belief Contraction: Remainders, Envelopes and Complexity. Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán |
| 2012 | Implicit Constraints for Qualitative Spatial and Temporal Reasoning. Jochen Renz |
| 2012 | Invited Talks. |
| 2012 | JASP: A Framework for Integrating Answer Set Programming with Java. Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca |
| 2012 | Justification Masking in Ontologies. Matthew Horridge, Bijan Parsia, Ulrike Sattler |
| 2012 | Lecture in Remembrance of John McCarthy. Leora Morgenstern |
| 2012 | Logic Programs with Intensional Functions. Vladimir Lifschitz |
| 2012 | Model Based Horn Contraction. Zhi Qiang Zhuang, Maurice Pagnucco |
| 2012 | Modelling Time and Reliability in Structured Argumentation Frameworks. Maximiliano Celmo Budán, Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari |
| 2012 | Non-Uniform Data Complexity of Query Answering in Description Logics. Carsten Lutz, Frank Wolter |
| 2012 | On Unit-Refutation Complete Formulae with Existentially Quantified Variables. Lucas Bordeaux, Mikolás Janota, João Marques-Silva, Pierre Marquis |
| 2012 | On the Small-Scope Hypothesis for Testing Answer-Set Programs. Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits |
| 2012 | Only-Knowing Meets Nonmonotonic Modal Logic. Gerhard Lakemeyer, Hector J. Levesque |
| 2012 | Ontology Evolution Under Semantic Constraints. Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov |
| 2012 | Ordered Epistemic Logic: Semantics, Complexity and Applications. Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker |
| 2012 | Paraconsistent Hybrid Theories. Michael Fink |
| 2012 | Paradoxes of Multiple Elections: An Approximation Approach. Vincent Conitzer, Lirong Xia |
| 2012 | Practical Reasoning with Nominals in the EL Family of Description Logics. Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancík |
| 2012 | Preface. |
| 2012 | Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith |
| 2012 | Query Containment in Description Logics Reconsidered. Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2012 | Ranking Sets of Possibly Interacting Objects Using Shapley Extensions. Stefano Moretti, Alexis Tsoukiàs |
| 2012 | Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework. Jianbing Ma, Salem Benferhat, Weiru Liu |
| 2012 | Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. Georg Gottlob, Thomas Schwentick |
| 2012 | Robust Equivalence Models for Semantic Updates of Answer-Set Programs. Martin Slota, João Leite |
| 2012 | Search Strategy Simulation in Constraint Booleanization. Jinbo Huang |
| 2012 | Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation. Chitta Baral, Juraj Dzifcak |
| 2012 | Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. Vinay K. Chaudhri, Tran Cao Son |
| 2012 | Stable Models in Generalized Possibilistic Logic. Didier Dubois, Henri Prade, Steven Schockaert |
| 2012 | Stable Models of Formulas with Intensional Functions. Michael Bartholomew, Joohyung Lee |
| 2012 | Stream Reasoning with Answer Set Programming: Preliminary Report. Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub |
| 2012 | Strong Equivalence of Qualitative Optimization Problems. Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
| 2012 | Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio |
| 2012 | Temporal Composite Actions with Constraints. Patrick Doherty, Jonas Kvarnström, Andrzej Szalas |
| 2012 | The Complexity of Explaining Negative Query Answers in DL-Lite. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni |
| 2012 | The Winograd Schema Challenge. Hector J. Levesque, Ernest Davis, Leora Morgenstern |
| 2012 | Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis. Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar |
| 2012 | Towards Parallel Nonmonotonic Reasoning with Billions of Facts. Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas |
| 2012 | Undecidability of Fuzzy Description Logics. Stefan Borgwardt, Rafael Peñaloza |
| 2012 | Weighted Attacks in Argumentation Frameworks. Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali |
| 2012 | Worst-Case Optimal Reasoning with Forest Logic Programs. Cristina Feier |