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