| 2014 | Belief Change and Base Dependence. | Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich |
| 2014 | Representing and Reasoning about Time Travel Narratives: Foundational Concepts. | Leora Morgenstern |
| 2014 | Simultaneous Learning and Prediction. | Loizos Michael |
| 2014 | SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. | Andrea Marrella, Massimo Mecella, Sebastian Sardia |
| 2014 | Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. | Michel Ludwig, Boris Konev |
| 2014 | Tutorials. | Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati |
| 2014 | Model Checking Unbounded Artifact-Centric Systems. | Alessio Lomuscio, Jakub Michaliszyn |
| 2014 | An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. | Alessio Lomuscio, Jakub Michaliszyn |
| 2014 | A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. | Fangzhen Lin |
| 2014 | A Formalization of Programs in First-Order Logic with a Discrete Linear Order. | Fangzhen Lin |
| 2014 | Certain Answers as Objects and Knowledge. | Leonid Libkin |
| 2014 | Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. | Gerhard Lakemeyer, Hector J. Levesque |
| 2014 | Nominal Schemas in Description Logics: Complexities Clarified. | Markus Krtzsch, Sebastian Rudolph |
| 2014 | Exact Learning of Lightweight Description Logic Ontologies. | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
| 2014 | Probabilistic Sentential Decision Diagrams. | Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche |
| 2014 | Relational Logistic Regression. | Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole |
| 2014 | EGuaranteeNash for Boolean Games Is NEXP-Hard. | Egor Ianovski, Luke Ong |
| 2014 | A Temporal Logic of Strategic Knowledge. | Xiaowei Huang, Ron van der Meyden |
| 2014 | Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. | Andreas Herzig |
| 2014 | The Semantics of Gringo and Infinitary Propositional Formulas. | Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang |
| 2014 | State-Boundedness in Data-Aware Dynamic Systems. | Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch |
| 2014 | Appropriate Causal Models and Stability of Causation. | Joseph Y. Halpern |
| 2014 | The Parameterized Complexity of Reasoning Problems Beyond NP. | Ronald de Haan, Stefan Szeider |
| 2014 | Reasoning about Equilibria in Game-Like Concurrent Systems. | Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2014 | Lightweight Description Logics and Branching Time: A Troublesome Marriage. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Thomas Schneider |