| 2020 | On Finite Entailment of Non-Local Queries in Description Logics. | Tomasz Gogacz, Vctor Gutirrez-Basulto, Albert Gutowski, Yazmn Ibez-Garca, Filip Murlak |
| 2020 | Entity Type Recognition - Dealing with the Diversity of Knowledge. | Fausto Giunchiglia, Mattia Fumagalli |
| 2020 | Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. | Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu |
| 2020 | Nondeterministic Strategies and their Refinement in Strategy Logic. | Giuseppe De Giacomo, Bastien Maubert, Aniello Murano |
| 2020 | Temporal Logic Monitoring Rewards via Transducers. | Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca |
| 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 | Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. | Robert Ganian, Toms Peitl, Friedrich Slivovsky, Stefan Szeider |
| 2020 | Containment of Simple Conjunctive Regular Path Queries. | Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner |
| 2020 | Finite Controllability for Ontology-Mediated Query Answering of CRPQ. | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
| 2020 | On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. | Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu |
| 2020 | Token-based Execution Semantics for Multi-Agent Epistemic Planning. | Thorsten Engesser, Robert Mattmller, Bernhard Nebel, Felicitas Ritter |
| 2020 | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. | Wolfgang Dvork, Anna Rapberger, Stefan Woltran |
| 2020 | A Preference-Based Approach to Defeasible Deontic Inference. | James P. Delgrande |
| 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 | Fine-Grained Complexity of Temporal Problems. | Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov |
| 2020 | Lightweight Parallel Multi-Agent Epistemic Planning. | Martin C. Cooper, Andreas Herzig, Frdric Maris, Elise Perrotin, Julien Vianey |
| 2020 | Reasoning about Measures of Unmeasurable Sets. | Marco Console, Matthias F. J. Hofer, Leonid Libkin |
| 2020 | Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus. | Jens Claen, James P. Delgrande |
| 2020 | Non-Monotonic Ontology-based Abstractions of Data Services. | Gianluca Cima, Maurizio Lenzerini, Antonella Poggi |
| 2020 | Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap Analysis. | Agnese Chiatti, Enrico Motta, Enrico Daga |
| 2020 | Ontology-guided Semantic Composition for Zero-shot Learning. | Jiaoyan Chen, Freddy Lcu, Yuxia Geng, Jeff Z. Pan, Huajun Chen |
| 2020 | Revision by Conditionals: From Hook to Arrow. | Jake Chandler, Richard Booth |
| 2020 | Explanations for Negative Query Answers under Existential Rules. | Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavicius |
| 2020 | Rational Defeasible Belief Change. | Giovanni Casini, Thomas Meyer, Ivan Varzinczak |
| 2020 | Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. | Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna |