| 2021 | Trust Is All You Need: From Belief Revision to Information Revision. | Yasser Ammar, Haythem O. Ismail |
| 2021 | Testing in ASP: Revisited Language and Programming Environment. | Giovanni Amendola, Tobias Berei, Francesco Ricca |
| 2021 | On Syntactic Forgetting Under Uniform Equivalence. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite |
| 2021 | Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. | Laura Giordano, Daniele Theseider Dupr |
| 2019 | Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader |
| 2019 | Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. | Przemyslaw Andrzej Walega |
| 2019 | Repairing Non-monotonic Knowledge Bases. | Markus Ulbricht |
| 2019 | SLD-Resolution Reduction of Second-Order Horn Fragments. | Sophie Tourret, Andrew Cropper |
| 2019 | Epistemic Answer Set Programming. | Ezgi Iraz Su |
| 2019 | The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs. | Peter Schller |
| 2019 | Abstraction for Non-ground Answer Set Programs. | Zeynep G. Saribatur, Peter Schller, Thomas Eiter |
| 2019 | Learning Ontologies with Epistemic Reasoning: The | Ana Ozaki, Nicolas Troquard |
| 2019 | Advancements in Resource-Driven Substructural Defeasible Logic. | Francesco Olivieri, Guido Governatori, Matteo Cristani |
| 2019 | Stable-Ordered Models for Propositional Theories with Order Operators. | Johannes Oetsch, Juan Carlos Nieves |
| 2019 | Typed Meta-interpretive Learning of Logic Programs. | Rolf Morel, Andrew Cropper, C.-H. Luke Ong |
| 2019 | Reasoning About Cognitive Attitudes in a Qualitative Setting. | Emiliano Lorini |
| 2019 | Explaining Actual Causation via Reasoning About Actions and Change. | Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens |
| 2019 | Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. | Francesco Kriegel |
| 2019 | \mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language. | Tobias Kain, Hans Tompits |
| 2019 | Manipulating Skeptical and Credulous Consequences When Merging Beliefs. | Adrian Haret, Johannes P. Wallner |
| 2019 | Facets of Distribution Identities in Probabilistic Team Semantics. | Miika Hannula, sa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema |
| 2019 | Vadalog: Recent Advances and Applications. | Georg Gottlob, Andreas Pieris, Emanuel Sallinger |
| 2019 | Nested Sequents for the Logic of Conditional Belief. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti |
| 2019 | Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. | Tobias Geibinger, Hans Tompits |
| 2019 | Preprocessing Argumentation Frameworks via Replacement Patterns. | Wolfgang Dvork, Matti Jrvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran |