| 2020 | A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument. Christoph Benzmüller |
| 2020 | A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev |
| 2020 | A First-Order Logic of Limited Belief Based on Possible Worlds. Gerhard Lakemeyer, Hector J. Levesque |
| 2020 | A Preference-Based Approach to Defeasible Deontic Inference. James P. Delgrande |
| 2020 | A Semantic Perspective on Omission Abstraction in ASP. Zeynep G. Saribatur, Thomas Eiter |
| 2020 | A Three-valued Approach to Strategic Abilities under Imperfect Information. Francesco Belardinelli, Vadim Malvone |
| 2020 | A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2020 | An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo |
| 2020 | An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son |
| 2020 | An ExpTime Upper Bound for ALC with Integers. Nadia Labai, Magdalena Ortiz, Mantas Simkus |
| 2020 | An Optimization Approach to Robust Goal Obfuscation. Sara Bernardini, Fabio Fagnani, Santiago Franco |
| 2020 | Analyzing Differentiable Fuzzy Implications. Emile van Krieken, Erman Acar, Frank van Harmelen |
| 2020 | Answer Set Programming with Composed Predicate Names. Mario Alviano |
| 2020 | Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation. Jean-Guy Mailly, Julien Rossit |
| 2020 | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. Wolfgang Dvorák, Anna Rapberger, Stefan Woltran |
| 2020 | Argumentation as a Framework for Interactive Explanations for Recommendations. Antonio Rago, Oana Cocarascu, Christos Bechlivanidis, Francesca Toni |
| 2020 | Balancing Expressiveness and Inexpressiveness in View Design. Michael Benedikt, Pierre Bourhis, Louis Jachiet, Efthymia Tsamoura |
| 2020 | Bipolar Abstract Argumentation with Dual Attacks and Supports. Nico Potyka |
| 2020 | Boolean Role Inclusions in DL-Lite With and Without Time. Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2020 | Changing Beliefs about Domain Dynamics in the Situation Calculus. Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2020 | Choosing What to Believe - New Results in Selective Revision. Fillipe Resina, Marco Garapa, Renata Wassermann, Eduardo Fermé, Maurício D. Luís Reis |
| 2020 | Comparing Weak Admissibility Semantics to their Dung-style Counterparts - Reduct, Modularization, and Strong Equivalence in Abstract Argumentation. Ringo Baumann, Gerhard Brewka, Markus Ulbricht |
| 2020 | Computing Cores for Existential Rules with the Standard Chase and ASP. Markus Krötzsch |
| 2020 | Concept Contraction in the Description Logic EL. Tjitze Rienstra, Claudia Schon, Steffen Staab |
| 2020 | Containment of Simple Conjunctive Regular Path Queries. Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner |
| 2020 | Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2020 | DatalogMTL over the Integer Timeline. Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2020 | Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. Simon Rey, Ulle Endriss, Ronald de Haan |
| 2020 | Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus. Jens Claßen, James P. Delgrande |
| 2020 | Dynamic Awareness. Joseph Y. Halpern, Evan Piermont |
| 2020 | Entity Type Recognition - Dealing with the Diversity of Knowledge. Fausto Giunchiglia, Mattia Fumagalli |
| 2020 | Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
| 2020 | Explainable Planning Using Answer Set Programming. Van Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh |
| 2020 | Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's Disease. Zhiwei Zeng, Zhiqi Shen, Benny Toh Hsiang Tan, Jing Jih Chin, Cyril Leung, Yu Wang, Ying Chi, Chunyan Miao |
| 2020 | Explanations for Negative Query Answers under Existential Rules. Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius |
| 2020 | Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao |
| 2020 | Fine-Grained Complexity of Temporal Problems. Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov |
| 2020 | Finite Controllability for Ontology-Mediated Query Answering of CRPQ. Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2020 | Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. Robert Ganian, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider |
| 2020 | High-level Programming via Generalized Planning and LTL Synthesis. Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin |
| 2020 | Independence and D-separation in Abstract Argumentation. Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao |
| 2020 | Inputs, Outputs, and Composition in the Logic of Information Flows. Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche |
| 2020 | Jokes and Belief Revision. Florence Dupin de Saint-Cyr, Henri Prade |
| 2020 | Knowledge-Preserving Certain Answers for SQL-like Queries. Etienne Toussaint, Paolo Guagliardo, Leonid Libkin |
| 2020 | Lightweight Parallel Multi-Agent Epistemic Planning. Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey |
| 2020 | Logical Separability of Incomplete Data under Ontologies. Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2020 | Logics of Preference when There Is No Best. Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer |
| 2020 | Modeling Affordances and Functioning for Personalized Robotic Assistance. Alessandro Umbrico, Gabriella Cortellessa, Andrea Orlandini, Amedeo Cesta |
| 2020 | Modelling the Polysemy of Spatial Prepositions in Referring Expressions. Adam Richard-Bollans, Lucía Gómez Álvarez, Anthony G. Cohn |
| 2020 | Module Checking of Pushdown Multi-agent Systems. Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2020 | Multi-head Guarded Existential Rules Over Fixed Signatures. Georg Gottlob, Marco Manna, Andreas Pieris |
| 2020 | Neuro-Symbolic Probabilistic Argumentation Machines. Régis Riveret, Son N. Tran, Artur S. d'Avila Garcez |
| 2020 | Non-Monotonic Ontology-based Abstractions of Data Services. Gianluca Cima, Maurizio Lenzerini, Antonella Poggi |
| 2020 | Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging. Nicolas Schwind, Sébastien Konieczny |
| 2020 | Nondeterministic Strategies and their Refinement in Strategy Logic. Giuseppe De Giacomo, Bastien Maubert, Aniello Murano |
| 2020 | On Finite Entailment of Non-Local Queries in Description Logics. Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak |
| 2020 | On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu |
| 2020 | On Tractable Representations of Binary Neural Networks. Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi |
| 2020 | On Tractable XAI Queries based on Compiled Representations. Gilles Audemard, Frédéric Koriche, Pierre Marquis |
| 2020 | On the Approximability of Weighted Model Integration on DNF Structures. Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov |
| 2020 | On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. Jean Christoph Jung, Carsten Lutz, Thomas Zeume |
| 2020 | On the Reversibility of Actions in Planning. Michael Morak, Lukás Chrpa, Wolfgang Faber, Daniel Fiser |
| 2020 | Ontology-guided Semantic Composition for Zero-shot Learning. Jiaoyan Chen, Freddy Lécué, Yuxia Geng, Jeff Z. Pan, Huajun Chen |
| 2020 | Ordinal Polymatrix Games with Incomplete Information. Nahla Ben Amor, Hélène Fargier, Régis Sabbadin, Meriem Trabelsi |
| 2020 | Plausible Reasoning about EL-Ontologies using Concept Interpolation. Yazmín Ibáñez-García, Víctor Gutiérrez-Basulto, Steven Schockaert |
| 2020 | Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |
| 2020 | Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. Diego Calvanese, Esra Erdem, Michael Thielscher |
| 2020 | Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation. Meghyn Bienvenu, Camille Bourgaux |
| 2020 | Rational Defeasible Belief Change. Giovanni Casini, Thomas Meyer, Ivan Varzinczak |
| 2020 | Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents. Sarah Keren, Sara Bernardini, Kofi Kwapong, David C. Parkes |
| 2020 | Reasoning about Measures of Unmeasurable Sets. Marco Console, Matthias F. J. Hofer, Leonid Libkin |
| 2020 | Reasoning with Contextual Knowledge and Influence Diagrams. Erman Acar, Rafael Peñaloza |
| 2020 | Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation. Anthony Hunter |
| 2020 | Revision by Conditionals: From Hook to Arrow. Jake Chandler, Richard Booth |
| 2020 | SAT-Based ATL Satisfiability Checking. Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2020 | Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from Text. Michael Stewart, Wei Liu |
| 2020 | Signature-Based Abduction for Expressive Description Logics. Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt |
| 2020 | Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. David Buckingham, Daniel Kasenberg, Matthias Scheutz |
| 2020 | Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. Andreas Niskanen, Matti Järvisalo |
| 2020 | Spatial Reasoning about String Loops and Holes in Temporal ASP. Pedro Cabalar, Paulo E. Santos |
| 2020 | Stable and Supported Semantics in Continuous Vector Spaces. Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo |
| 2020 | Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. Massimiliano de Leoni, Paolo Felli, Marco Montali |
| 2020 | Symbolic Solutions for Symbolic Constraint Satisfaction Problems. Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
| 2020 | Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases. Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka |
| 2020 | Syntax Splitting for Iterated Contractions. Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | Temporal Logic Monitoring Rewards via Transducers. Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca |
| 2020 | Token-based Execution Semantics for Multi-Agent Epistemic Planning. Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Felicitas Ritter |
| 2020 | Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap Analysis. Agnese Chiatti, Enrico Motta, Enrico Daga |
| 2020 | Towards a Logic of Meta-Analysis. Rafael Peñaloza |
| 2020 | Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems. Fabio Aurelio D'Asaro, Matteo Spezialetti, Luca Raggioli, Silvia Rossi |
| 2020 | Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? Markus Hecher |
| 2020 | Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu |
| 2020 | Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros, Alessio Lomuscio |
| 2020 | WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty. Nikos Katzouris, Alexander Artikis |
| 2020 | µ-toksia: An Efficient Abstract Argumentation Reasoner. Andreas Niskanen, Matti Järvisalo |