| 2014 | Skolemization for Weighted First-Order Model Counting. | Guy Van den Broeck, Wannes Meert, Adnan Darwiche |
| 2014 | Query Inseparability for Description Logic Knowledge Bases. | Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2014 | Decidable Gdel Description Logics without the Finitely-Valued Model Property. | Stefan Borgwardt, Felix Distel, Rafael Pealoza |
| 2014 | Interval Methods for Judgment Aggregation in Argumentation. | Richard Booth, Edmond Awad, Iyad Rahwan |
| 2014 | Dynamic Causal Calculus. | Alexander Bochman |
| 2014 | Axiomatizing Rationality. | Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
| 2014 | Nested Regular Path Queries in Description Logics. | Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2014 | Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design. | Mehul Bhatt, Carl Schultz, Madhura Thosar |
| 2014 | Reasoning with Uncertain Inputs in Possibilistic Networks. | Salem Benferhat, Karim Tabia |
| 2014 | On the Progression of Knowledge in Multiagent Systems. | Vaishak Belle, Gerhard Lakemeyer |
| 2014 | How to Progress Beliefs in Continuous Domains. | Vaishak Belle, Hector J. Levesque |
| 2014 | Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. | Francesco Belardinelli |
| 2014 | Rough Set Semantics for Identity on the Web. | Wouter Beek, Stefan Schlobach, Frank van Harmelen |
| 2014 | Stable Models of Multi-Valued Formulas: Partial versus Total Functions. | Michael Bartholomew, Joohyung Lee |
| 2014 | Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. | Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith |
| 2014 | Vienna Summer of Logic. | Matthias Baaz, Thomas Eiter, Helmut Veith |
| 2014 | Invited Talks. | Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith |
| 2014 | Ontology-Based Monitoring of Dynamic Systems. | Franz Baader |
| 2014 | Axioms .2 and .4 as Interaction Axioms. | Guillaume Aucher |
| 2014 | Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. | Vernon Asuncion, Yan Zhang, Heng Zhang |
| 2012 | Model Based Horn Contraction. | Zhi Qiang Zhuang, Maurice Pagnucco |
| 2012 | Invited Talks. | |
| 2012 | Preface. | |
| 2012 | Area Chairs and Program Committee. | |
| 2012 | Conference Committee. | |