| 2016 | Bisimulations on Data Graphs. | Sergio Abriola, Pablo Barcel, Diego Figueira, Santiago Figueira |
| 2016 | Infinite Paths in the Situation Calculus: Axiomatization and Properties. | Shakil M. Khan, Yves Lesprance |
| 2016 | The Ultimate Guide to Forgetting in Answer Set Programming. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2014 | First-Order Default Logic Revisited. | Yi Zhou |
| 2014 | Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra. | Peng Zhang, Jochen Renz |
| 2014 | Sponsors. | |
| 2014 | Preface. | |
| 2014 | Area Chairs and Program Committee. | |
| 2014 | Conference Committee. | |
| 2014 | David Poole's Specificity Revised. | Claus-Peter Wirth, Frieder Stolzenburg |
| 2014 | Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. | Matthias Thimm |
| 2014 | Generalized Multi-Context Systems. | Shahab Tasharrofi, Eugenia Ternovska |
| 2014 | Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. | Hannes Strass, Johannes Peter Wallner |
| 2014 | Heuristic Guided Optimization for Propositional Planning. | Andreas Sideris, Yannis Dimopoulos |
| 2014 | Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas. | Yuping Shen, Xishun Zhao |
| 2014 | Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. | Peter Schller |
| 2014 | Predicting Performance of OWL Reasoners: Locally or Globally? | Viachaslau Sazonau, Uli Sattler, Gavin Brown |
| 2014 | Minimal Change in AGM Revision for Non-Classical Logics. | Mrcio Moretto Ribeiro, Renata Wassermann |
| 2014 | On OBDDs for CNFs of Bounded Treewidth. | Igor Razgon |
| 2014 | Forgetting in Action. | David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher |
| 2014 | Linear Programs for Measuring Inconsistency in Probabilistic Logics. | Nico Potyka |
| 2014 | An Abductive Reasoning Approach to the Belief Bias Effect. | Lus Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hlldobler |
| 2014 | Belief Change and Semiorders. | Pavlos Peppas, Mary-Anne Williams |
| 2014 | Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). | Fabio Patrizi, Stavros Vassos |
| 2014 | Aggregative Deontic Detachment for Normative Reasoning. | Xavier Parent, Leon van der Torre |