| 2010 | Paracoherent Answer Set Programming. | Thomas Eiter, Michael Fink, Joo Moura |
| 2010 | Towards Fixed-Parameter Tractable Algorithms for Argumentation. | Wolfgang Dvork, Reinhard Pichler, Stefan Woltran |
| 2010 | One Hundred Prisoners and a Lightbulb - Logic and Computation. | Hans van Ditmarsch, Jan van Eijck, William Wu |
| 2010 | Horn Clause Contraction Functions: Belief Set and Belief Base Approaches. | James P. Delgrande, Renata Wassermann |
| 2010 | Distributed Nonmonotonic Multi-Context Systems. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2010 | Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. | Nadia Creignou, Johannes Schmidt, Michael Thomas |
| 2010 | A Class of df-Consistencies for Qualitative Constraint Networks. | Jean-Franois Condotta, Christophe Lecoutre |
| 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 | Decidability of a Description Logic over Infinite-Valued Product Logic. | Marco Cerami, Francesc Esteva, Flix Bou |
| 2010 | Abstract Dialectical Frameworks. | Gerhard Brewka, Stefan Woltran |
| 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 | A Logical Understanding of Legal Interpretation. | Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre |
| 2010 | From Preference Logics to Preference Languages, and Back. | Meghyn Bienvenu, Jrme Lang, Nic Wilson |
| 2010 | Multi-Agent Only-Knowing Revisited. | Vaishak Belle, Gerhard Lakemeyer |
| 2010 | Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2010 | State Defaults and Ramifications in the Unifying Action Calculus. | Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski |
| 2010 | A Decidable Class of Groundable Formulas in the General Theory of Stable Models. | Michael Bartholomew, Joohyung Lee |
| 2010 | Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. | Chitta Baral, Ian Horrocks, Yoav Shoham |
| 2010 | Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract). | Chitta Baral |
| 2010 | Formalizing Psychological Knowledge in Answer Set Programming. | Marcello Balduccini, Sara Girotto |
| 2010 | Walking the Decidability Line for Rules with Existential Variables. | Jean-Franois Baget, Michel Leclre, Marie-Laure Mugnier |
| 2010 | Query and Predicate Emptiness in Description Logics. | Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| 2010 | Characterizing Updates in Dynamic Epistemic Logic. | Guillaume Aucher |
| 2010 | Maximally Paraconsistent Three-Valued Logics. | Ofer Arieli, Arnon Avron, Anna Zamansky |
| 2010 | On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. | Ofer Arieli |