| 2018 | A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo |
| 2018 | A General Approach to Reasoning with Probabilities - Extended Abstract. Federico Cerutti, Matthias Thimm |
| 2018 | A Generator of Hard 2QBF Formulas and ASP Programs. Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
| 2018 | A Hybrid Approach to Optimization in Answer Set Programming. Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo |
| 2018 | A Model-Based Approach to Visual Reasoning on CNLVR Dataset. Shailaja Sampat, Joohyung Lee |
| 2018 | A Novel Automata-Theoretic Approach to Timeline-Based Planning. Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
| 2018 | A Parameterized Complexity View on Description Logic Reasoning. Ronald de Haan |
| 2018 | A SAT-Based Approach For PSPACE Modal Logics. Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2018 | A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak |
| 2018 | Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2018 | An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari |
| 2018 | Approximating Certainty in Querying Data and Metadata. Cristina Civili, Leonid Libkin |
| 2018 | Approximating Perfect Recall When Model Checking Strategic Abilities. Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2018 | Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences. Kristijonas Cyras, Tiago Oliveira |
| 2018 | Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change. Gabriele Kern-Isberner |
| 2018 | Bayesian Model Selection in Statistical Construction of Justification. Hiroyuki Kido |
| 2018 | Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel |
| 2018 | Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. Francesco Belardinelli, Catalin Dima, Aniello Murano |
| 2018 | Changing Observations in Epistemic Temporal Logic. Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation. Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet |
| 2018 | Combining the Causal Judgments of Experts with Possibly Different Focus Areas. Meir Friedenberg, Joseph Y. Halpern |
| 2018 | Compiling Away Soft Trajectory Constraints in Planning. Benedict Wright, Robert Mattmüller, Bernhard Nebel |
| 2018 | Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic. Benjamin Zarrieß |
| 2018 | Computing Logic Programs with Ordered Disjunction Using asprin. Joohyung Lee, Zhun Yang |
| 2018 | Constructive Logic Covers Argumentation and Logic Programming. Jorge Fandinno, Luis Fariñas del Cerro |
| 2018 | Continuous Dynamical Systems for Weighted Bipolar Argumentation. Nico Potyka |
| 2018 | Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. Alisa Kovtunova, Rafael Peñaloza |
| 2018 | Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2018 | Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report. Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Rantsoudis |
| 2018 | ExactLearner: A Tool for Exact Learning of EL Ontologies. Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki |
| 2018 | Exploiting Treewidth for Counting Projected Answer Sets. Johannes Klaus Fichte, Markus Hecher |
| 2018 | Extension Enforcement under Grounded Semantics in Abstract Argumentation. Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo |
| 2018 | Finite LTL Synthesis with Environment Assumptions and Quality Measures. Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
| 2018 | Finite Query Answering in Expressive Description Logics with Transitive Roles. Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak |
| 2018 | From Knowledge Graph Embedding to Ontology Embedding? An Analysis of the Compatibility between Vector Space Representations and Rules. Víctor Gutiérrez-Basulto, Steven Schockaert |
| 2018 | Gradual Semantics Accounting for Similarity between Arguments. Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet |
| 2018 | Gradual Semantics for Weighted Graphs: An Unifying Approach. Leila Amgoud, Dragan Doder |
| 2018 | Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan |
| 2018 | Hunting for Tractable Languages for Judgment Aggregation. Ronald de Haan |
| 2018 | If Nothing Is Accepted - Repairing Argumentation Frameworks. Ringo Baumann, Markus Ulbricht |
| 2018 | Incorporating Relevance in Epistemic States in Belief Revision. James P. Delgrande, Pavlos Peppas |
| 2018 | Introducing Temporal Stable Models for Linear Dynamic Logic. Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
| 2018 | Knowledge Compilation in the Multi-Agent Epistemic Logic Kn. Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen |
| 2018 | Knowledge Representation and Reasoning in Answering Science Questions: A Case Study for Food Web Questions. Arindam Mitra, Chitta Baral, Peter Clark |
| 2018 | Knowledge-Based Transfer Learning Explanation. Jiaoyan Chen, Freddy Lécué, Jeff Z. Pan, Ian Horrocks, Huajun Chen |
| 2018 | Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si |
| 2018 | Making Repairs in Description Logics More Gentle. Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza |
| 2018 | Measuring Similarity between Logical Arguments. Leila Amgoud, Victor David |
| 2018 | Metric Temporal Extensions of DL-Lite and Interval-Rigid Names. Veronika Thost |
| 2018 | Navigability with Bounded Recall. Kaya Deuser, Pavel Naumov |
| 2018 | New Inference Relations from Maximal Consistent Subsets. Sébastien Konieczny, Pierre Marquis, Srdjan Vesic |
| 2018 | Omission-Based Abstraction for Answer Set Programs. Zeynep G. Saribatur, Thomas Eiter |
| 2018 | On Belief Promotion. Nicolas Schwind, Sébastien Konieczny, Pierre Marquis |
| 2018 | On Laws and Counterfactuals in Causal Reasoning. Alexander Bochman |
| 2018 | On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell |
| 2018 | On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. Richard Booth, Jake Chandler |
| 2018 | On the Progression of Situation Calculus Universal Theories with Constants. Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña |
| 2018 | Parametrised Difference Revision. Pavlos Peppas, Mary-Anne Williams |
| 2018 | Partial-State Progression for Stream Reasoning with Metric Temporal Logic. Daniel de Leng, Fredrik Heintz |
| 2018 | Preference Aggregation with Incomplete CP-Nets. Adrian Haret, Arianna Novaro, Umberto Grandi |
| 2018 | Preference Relations by Approximation. Mario Alviano, Javier Romero, Torsten Schaub |
| 2018 | Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. Michael Thielscher, Francesca Toni, Frank Wolter |
| 2018 | Probabilistic Abstract Argumentation Based on SCC Decomposability. Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre |
| 2018 | Probabilistic Coalition Structure Generation. Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
| 2018 | Probabilistic Strength of Arguments with Structure. Henry Prakken |
| 2018 | Propositional Belief Merging with OWA Operators. Henrique Viana, João F. L. Alcântara |
| 2018 | Propositional and Predicate Logics of Incomplete Information. Marco Console, Paolo Guagliardo, Leonid Libkin |
| 2018 | Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference. Hua Hua, Jochen Renz, Xiaoyu Ge |
| 2018 | Quantified Markov Logic Networks. Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka |
| 2018 | Query Answering for Rough EL Ontologies. Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan |
| 2018 | Query Expressibility and Verification in Ontology-Based Data Access. Carsten Lutz, Johannes Marti, Leif Sabellek |
| 2018 | Reachability Analysis for Neural Agent-Environment Systems. Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano |
| 2018 | Reasoning about Knowledge and Strategies under Hierarchical Information. Bastien Maubert, Aniello Murano |
| 2018 | Reasoning with Justifiable Exceptions in Contextual Hierarchies. Loris Bozzato, Luciano Serafini, Thomas Eiter |
| 2018 | Relaxing and Restraining Queries for OBDA - Extended Abstract. Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz, Mantas Simkus |
| 2018 | SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. Da Shen, Yuliya Lierler |
| 2018 | SOGrounder: Modelling and Solving Second-Order Logic. Matthias van der Hallen, Gerda Janssens |
| 2018 | Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. Stefano Bistarelli, Francesco Santini |
| 2018 | Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2018 | Strategic Coalitions in Systems with Catastrophic Failures. Pavel Naumov, Kevin Ros |
| 2018 | Structure Learning for Relational Logistic Regression: An Ensemble Approach. Nandini Ramanan, Gautam Kunapuli, Tushar Khot, Bahare Fatemi, Seyed Mehran Kazemi, David Poole, Kristian Kersting, Sriraam Natarajan |
| 2018 | Studies in Credibility-Limited Base Revision. Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis |
| 2018 | Symbolic Verification of Golog Programs with First-Order BDDs. Jens Claßen |
| 2018 | Synthesis under Assumptions. Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2018 | The Combined Approach to Query Answering in Horn-ALCHOIQ. David Carral, Irina Dragoste, Markus Krötzsch |
| 2018 | The Window Validity Problem in Rule-Based Stream Reasoning. Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2018 | Towards Belief Contraction without Compactness. Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann |
| 2018 | Towards Explainable Inference about Object Motion using Qualitative Reasoning. Xiaoyu Ge, Jochen Renz, Hua Hua |
| 2018 | Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. Jori Bomanson, Tomi Janhunen, Antonius Weinzierl |
| 2018 | Two AGM-Style Characterizations of Model Repair. Paulo T. Guerra, Renata Wassermann |
| 2018 | Updating Belief in Arguments in Epistemic Graphs. Anthony Hunter, Sylwia Polberg, Nico Potyka |
| 2018 | Variable Elimination for DLP-Functions. Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran |
| 2018 | Weight Learning in a Probabilistic Extension of Answer Set Programs. Joohyung Lee, Yi Wang |
| 2018 | iCon: A Diagrammatic Theorem Prover for Ontologies. Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato |