| 2014 | A Dynamic Logic Framework for Abstract Argumentation. Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
| 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 | A Psychology-Inspired Approach to Automated Narrative Text Comprehension. Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2014 | A Temporal Logic of Strategic Knowledge. Xiaowei Huang, Ron van der Meyden |
| 2014 | ASP Encodings of Acyclicity Properties. Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 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 |
| 2014 | An Abductive Reasoning Approach to the Belief Bias Effect. Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler |
| 2014 | An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications. Alessio Lomuscio, Jakub Michaliszyn |
| 2014 | An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella |
| 2014 | Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. Hannes Strass, Johannes Peter Wallner |
| 2014 | Answering Instance Queries Relaxed by Concept Similarity. Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan |
| 2014 | Appropriate Causal Models and Stability of Causation. Joseph Y. Halpern |
| 2014 | Area Chairs and Program Committee. |
| 2014 | Axiomatizing Rationality. Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass |
| 2014 | Axioms .2 and .4 as Interaction Axioms. Guillaume Aucher |
| 2014 | Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments. Andreas Herzig |
| 2014 | Belief Change and Base Dependence. Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich |
| 2014 | Belief Change and Semiorders. Pavlos Peppas, Mary-Anne Williams |
| 2014 | Belief Revision in the Propositional Closure of a Qualitative Algebra. Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber |
| 2014 | Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas. Yuping Shen, Xishun Zhao |
| 2014 | Certain Answers as Objects and Knowledge. Leonid Libkin |
| 2014 | Characteristics of Multiple Viewpoints in Abstract Argumentation. Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran |
| 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 | Concept Dissimilarity with Triangle Inequality. Felix Distel, Jamal Atif, Isabelle Bloch |
| 2014 | Conference Committee. |
| 2014 | Constructive Negation in Extensional Higher-Order Logic Programming. Angelos Charalambidis, Panos Rondogiannis |
| 2014 | Datalog+/-: Questions and Answers. Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris |
| 2014 | David Poole's Specificity Revised. Claus-Peter Wirth, Frieder Stolzenburg |
| 2014 | Decidable Gödel Description Logics without the Finitely-Valued Model Property. Stefan Borgwardt, Felix Distel, Rafael Peñaloza |
| 2014 | Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. Gerhard Lakemeyer, Hector J. Levesque |
| 2014 | Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith |
| 2014 | Dynamic Causal Calculus. Alexander Bochman |
| 2014 | EGuaranteeNash for Boolean Games Is NEXP-Hard. Egor Ianovski, Luke Ong |
| 2014 | Exact Learning of Lightweight Description Logic Ontologies. Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
| 2014 | Finite Model Reasoning in Horn Description Logics. Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider |
| 2014 | First-Order Default Logic Revisited. Yi Zhou |
| 2014 | Forgetting in Action. David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher |
| 2014 | Generalized Multi-Context Systems. Shahab Tasharrofi, Eugenia Ternovska |
| 2014 | Heuristic Guided Optimization for Propositional Planning. Andreas Sideris, Yannis Dimopoulos |
| 2014 | How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs. Sjur Kristoffer Dyrkolbotn |
| 2014 | How to Progress Beliefs in Continuous Domains. Vaishak Belle, Hector J. Levesque |
| 2014 | Interval Methods for Judgment Aggregation in Argumentation. Richard Booth, Edmond Awad, Iyad Rahwan |
| 2014 | Invited Talks. Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith |
| 2014 | Justified Beliefs by Justified Arguments. Davide Grossi, Wiebe van der Hoek |
| 2014 | Knowledge Maps of Web Graphs. Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò |
| 2014 | Lightweight Description Logics and Branching Time: A Troublesome Marriage. Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider |
| 2014 | Linear Programs for Measuring Inconsistency in Probabilistic Logics. Nico Potyka |
| 2014 | Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. Vernon Asuncion, Yan Zhang, Heng Zhang |
| 2014 | Minimal Change in AGM Revision for Non-Classical Logics. Márcio Moretto Ribeiro, Renata Wassermann |
| 2014 | Model Checking Unbounded Artifact-Centric Systems. Alessio Lomuscio, Jakub Michaliszyn |
| 2014 | Nested Regular Path Queries in Description Logics. Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus |
| 2014 | Nominal Schemas in Description Logics: Complexities Clarified. Markus Krötzsch, Sebastian Rudolph |
| 2014 | On Egalitarian Belief Merging. Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
| 2014 | On OBDDs for CNFs of Bounded Treewidth. Igor Razgon |
| 2014 | On Redundant Topological Constraints. Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long |
| 2014 | On the Progression of Knowledge in Multiagent Systems. Vaishak Belle, Gerhard Lakemeyer |
| 2014 | On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | Ontology-Based Monitoring of Dynamic Systems. Franz Baader |
| 2014 | Polynomial Combined Rewritings for Existential Rules. Georg Gottlob, Marco Manna, Andreas Pieris |
| 2014 | Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. Michel Ludwig, Boris Konev |
| 2014 | Predicting Performance of OWL Reasoners: Locally or Globally? Viachaslau Sazonau, Uli Sattler, Gavin Brown |
| 2014 | Preface. |
| 2014 | Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 Chitta Baral, Giuseppe De Giacomo, Thomas Eiter |
| 2014 | Probabilistic Sentential Decision Diagrams. Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche |
| 2014 | Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra. Peng Zhang, Jochen Renz |
| 2014 | Query Inseparability for Description Logic Knowledge Bases. Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2014 | Reasoning about Equilibria in Game-Like Concurrent Systems. Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge |
| 2014 | Reasoning with Uncertain Inputs in Possibilistic Networks. Salem Benferhat, Karim Tabia |
| 2014 | Relational Logistic Regression. Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole |
| 2014 | Representing and Reasoning about Time Travel Narratives: Foundational Concepts. Leora Morgenstern |
| 2014 | Rough Set Semantics for Identity on the Web. Wouter Beek, Stefan Schlobach, Frank van Harmelen |
| 2014 | Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. Francesco Belardinelli |
| 2014 | Simultaneous Learning and Prediction. Loizos Michael |
| 2014 | Skolemization for Weighted First-Order Model Counting. Guy Van den Broeck, Wannes Meert, Adnan Darwiche |
| 2014 | SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. Andrea Marrella, Massimo Mecella, Sebastian Sardiña |
| 2014 | Sponsors. |
| 2014 | Stable Model Semantics for Guarded Existential Rules and Description Logics. Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz |
| 2014 | Stable Models of Multi-Valued Formulas: Partial versus Total Functions. Michael Bartholomew, Joohyung Lee |
| 2014 | State-Boundedness in Data-Aware Dynamic Systems. Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch |
| 2014 | Strong Equivalence of Non-Monotonic Temporal Theories. Pedro Cabalar, Martín Diéguez |
| 2014 | Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs. Peter Schüller |
| 2014 | The Parameterized Complexity of Reasoning Problems Beyond NP. Ronald de Haan, Stefan Szeider |
| 2014 | The Semantics of Gringo and Infinitary Propositional Formulas. Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang |
| 2014 | The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. Marc Denecker, Joost Vennekens |
| 2014 | Towards a Knowledge Level Analysis of Forgetting. James P. Delgrande |
| 2014 | Tracking Beliefs and Intentions in the Werewolf Game. Codruta Liliana Gîrlea, Eyal Amir, Roxana Girju |
| 2014 | Transforming Situation Calculus Action Theories for Optimised Reasoning. Christopher James Ewin, Adrian R. Pearce, Stavros Vassos |
| 2014 | Tutorials. Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati |
| 2014 | Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. Matthias Thimm |
| 2014 | Using Answer Set Programming for Solving Boolean Games. Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé |
| 2014 | Vienna Summer of Logic. Matthias Baaz, Thomas Eiter, Helmut Veith |