Invited Presentations
| Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning | |
| Chitta Baral, Ian Horrocks, Yoav Shoham |
| Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract) | |
| Chitta Baral |
| Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning | |
| Leonardo de Moura, Carsten Lutz, Monica Mc Schraefel, Bernhard Nebel |
Abduction and Diagnosis
| Complexity of Propositional Abduction for Restricted Sets of Boolean Functions | |
| Nadia Creignou, Johannes Schmidt, Michael Thomas |
| New Advances in Sequential Diagnosis | |
| Sajjad Ahmed Siddiqi, Jinbo Huang |
| Diagnosis as Planning Revisited | |
| Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
Agents, Multiagent Systems, and Distributed Reasoning
| Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems | |
| Francesco Belardinelli, Alessio Lomuscio |
| Multi-Agent Only-Knowing Revisited | |
| Vaishak Belle, Gerhard Lakemeyer |
| Distributed Nonmonotonic Multi-Context Systems | |
| Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| Modelling Combinatorial Auctions in Linear Logic | |
| Daniele Porello, Ulle Endriss |
| Integrating Action Calculi and AgentSpeak: Closing the Gap | |
| Michael Thielscher |
| One Hundred Prisoners and a Lightbulb — Logic and Computation | |
| Hans van Ditmarsch, Jan van Eijck, William Wu |
Argumentation
| Abstract Dialectical Frameworks | |
| Gerhard Brewka, Stefan Woltran |
| Towards Fixed-Parameter Tractable Algorithms for Argumentation | |
| Wolfgang Dvorak, Reinhard Pichler, Stefan Woltran |
| Characterizing Strong Equivalence for Argumentation Frameworks | |
| Emilia Oikarinen, Stefan Woltran |
Belief Change, Counterfactuals, and Update
| Characterizing Updates in Dynamic Epistemic Logic | |
| Guillaume Aucher |
| Horn Clause Contraction Functions: Belief Set and Belief Base Approaches | |
| James Delgrande, Renata Wassermann |
| From Causal Models To Counterfactual Structures | |
| Joseph Y. Halpern |
| Taxonomy of Improvement Operators and the Problem of Minimal Change | |
| Sébastien Konieczny, Mattia Medina Grespan, Ramon Pino Pérez |
Decision Theory
| A Characterization of Optimality Criteria for Decision Making under Complete Ignorance | |
| Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis |
| I Don't Want to Think About it Now: Decision Theory with Costly Computation | |
| Joseph Y. Halpern |
Description Logics and Ontologies
| Query and Predicate Emptiness in Description Logics | |
| Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| Decidability of a Description Logic over Infinite-Valued Product Logic | |
| Marco Cerami, Francesc Esteva, Felix Bou |
| Pushing the Limits of Reasoning over Ontologies with Hidden Content | |
| Bernardo Cuenca Grau, Boris Motik |
| Status QIO: Conjunctive Query Entailment Is Decidable | |
| Birte Glimm, Sebastian Rudolph |
| Decomposing Description Logic Ontologies | |
| Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter |
| The Combined Approach to Query Answering in DL-Lite | |
| Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev |
| Understanding Ontological Levels | |
| Claudio Masolo |
| Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 | |
| Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| On the Complexity of Axiom Pinpointing in the EL Family of Description Logics | |
| Rafael Peñaloza, Barış Sertkaya |
| Improving Query Answering over DL-Lite Ontologies | |
| Riccardo Rosati, Alessandro Almatelli |
Inconsistency Handling
| On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information | |
| Ofer Arieli |
| Maximally Paraconsistent Three-Valued Logics | |
| Ofer Arieli, Arnon Avron, Anna Zamansky |
| A Class of df-Consistencies for Qualitative Constraint Networks | |
| Jean-François Condotta, Christophe Lecoutre |
| Finding Explanations of Inconsistency in Multi-Context Systems | |
| Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl |
| Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers | |
| Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi |
Planning
| Generalized Planning with Loops under Strong Fairness Constraints | |
| Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardina |
| A Correctness Result for Reasoning about One-Dimensional Planning Problems | |
| Yuxiao Hu, Hector J. Levesque |
Possibility Theory and Uncertainty
| On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System | |
| Agata Ciabattoni, Pavel Rusnok |
| Novel Semantical Approaches to Relational Probabilistic Conditionals | |
| Gabriele Kern-Isberner, Matthias Thimm |
| Probabilistic Description Logics for Subjective Uncertainty | |
| Carsten Lutz, Lutz Schröder |
| Preferential Semantics for Plausible Subsumption in Possibility Theory | |
| Guilin Qi, Zhizheng Zhang |
Preferences
| From Preference Logics to Preference Languages, and Back | |
| Meghyn Bienvenu, Jérôme Lang, Nic Wilson |
| Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms | |
| Ronen Brafman, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh |
Reasoning about Action and Action Programs
| State Defaults and Ramifications in the Unifying Action Calculus | |
| Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski |
| Situation Calculus Based Programs for Representing and Reasoning about Game Structures | |
| Giuseppe De Giacomo, Yves Lesperance, Adrian R. Pearce |
| Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering | |
| Hannaneh Hajishirzi, Eyal Amir |
Rule-Based Reasoning, Logic Programming, and Answer Set Programming
| Walking the Decidability Line for Rules with Existential Variables | |
| Jean-François Baget, Michel LeClere, Marie-Laure Mugnier |
| A Decidable Class of Groundable Formulas in the General Theory of Stable Models | |
| Michael Bartholomew, Joohyung Lee |
| Paracoherent Answer Set Programming | |
| Thomas Eiter, Michael Fink, Joao Moura |
| Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming | |
| Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber |
| Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough | |
| Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran |
| On the Progression Semantics and Boundedness of Answer Set Programs | |
| Yan Zhang, Yi Zhou |
Security, Spatial Reasoning, and Analogical Reasoning
| Independence and Functional Dependence Relations on Secrets | |
| Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp |
| Interpreting Topological Logics over Euclidean Spaces | |
| Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev |
| Reasoning with Logical Proportions | |
| Henri Prade, Gilles Richard |
Short Papers
| Reasoning about Context in Ambient Intelligence Environments: A Report from the Field | |
| Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis |
| Formalizing Psychological Knowledge in Answer Set Programming | |
| Marcello Balduccini, Sara Girotto |
| A Logical Understanding of Legal Interpretation | |
| Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre |
| Ontologies for Dates and Duration | |
| Michael Gruninger |
| From Justifications Towards Proofs for Ontology Engineering | |
| Matthew Horridge, Bijan Parsia |
| Joint Revision of Beliefs and Intention | |
| Thomas Icard, Eric Pacuit, Yoav Shoham |
| The Temporal Logic of Token Causes | |
| Samantha Kleinberg, Bud Mishra |
| An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets | |
| Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk |
| A Layered Graph Representation for Complex Regions | |
| Sanjiang Li |
| The Modular Structure of an Ontology: An Empirical Study | |
| Bijan Parsia, Thomas Schneider |
| Towards a Logic of Feature-Based Semantic Science Theories | |
| David Poole |
| Efficient Dominance Testing for Unconditional Preferences | |
| Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
| Set-Oriented Logical Connectives: Syntax and Semantics | |
| Stuart C. Shapiro |
| Towards Runtime Support for Norm-Governed Multi-Agent Systems | |
| Visara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis |
| Revising General Knowledge Bases in Description Logics | |
| Zhe Wang, Kewen Wang, Rodney Topor |
| Forgetting Revisited | |
| Yan Zhang, Yi Zhou |