| 2019 | A Bayesian Extension of the Description Logic Leonard Botha, Thomas Meyer, Rafael Peñaloza |
| 2019 | A Logic of Objective and Subjective Oughts. Aldo Iván Ramírez Abarca, Jan M. Broersen |
| 2019 | A Logic-Based Question Answering System for Cultural Heritage. Bernardo Cuteri, Kristian Reale, Francesco Ricca |
| 2019 | A Possible World View and a Normal Form for the Constellation Semantics. Stefano Bistarelli, Theofrastos Mantadelis |
| 2019 | ACUOS María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer |
| 2019 | AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. Ringo Baumann, Felix Linker |
| 2019 | Abstraction for Non-ground Answer Set Programs. Zeynep G. Saribatur, Peter Schüller, Thomas Eiter |
| 2019 | Advancements in Resource-Driven Substructural Defeasible Logic. Francesco Olivieri, Guido Governatori, Matteo Cristani |
| 2019 | Algorithm Selection for Paracoherent Answer Set Computation. Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca |
| 2019 | Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero |
| 2019 | Axiomatising Logics with Separating Conjunction and Modalities. Stéphane Demri, Raul Fervari, Alessio Mansutti |
| 2019 | Chain Answer Sets for Logic Programs with Generalized Atoms. Mario Alviano, Wolfgang Faber |
| 2019 | Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. Tobias Geibinger, Hans Tompits |
| 2019 | Closed-World Semantics for Conjunctive Queries with Negation over Stefan Borgwardt, Walter Forkel |
| 2019 | Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. Przemyslaw Andrzej Walega |
| 2019 | Computing Minimal Projection Modules for Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther |
| 2019 | Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞 Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader |
| 2019 | Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. Kees van Berkel, Tim S. Lyon |
| 2019 | Empirical Study on Human Evaluation of Complex Argumentation Frameworks. Marcos Cramer, Mathieu Guillaume |
| 2019 | Epistemic Answer Set Programming. Ezgi Iraz Su |
| 2019 | Explaining Actual Causation in Terms of Possible Causal Processes. Marc Denecker, Bart Bogaerts, Joost Vennekens |
| 2019 | Explaining Actual Causation via Reasoning About Actions and Change. Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens |
| 2019 | Extending Laura Giordano, Alberto Policriti |
| 2019 | Extending Bell Numbers for Parsimonious Chase Estimation. Giovanni Amendola, Cinzia Marte |
| 2019 | Facets of Distribution Identities in Probabilistic Team Semantics. Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema |
| 2019 | Interpolation and Beth Definability in Default Logics. Valentin Cassano, Raul Fervari, Carlos Areces, Pablo F. Castro |
| 2019 | Interval Temporal Logic Decision Tree Learning. Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan |
| 2019 | Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs. Francesco Kriegel |
| 2019 | Learning Ontologies with Epistemic Reasoning: The Ana Ozaki, Nicolas Troquard |
| 2019 | Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings Francesco Calimeri, Nicola Leone, Marco Manna |
| 2019 | Lower Bound Founded Logic of Here-and-There. Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2019 | Manipulating Skeptical and Credulous Consequences When Merging Beliefs. Adrian Haret, Johannes P. Wallner |
| 2019 | Memory-Saving Evaluation Plans for Datalog. Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari |
| 2019 | Multi-valued GRAPPA. Gerhard Brewka, Jörg Pührer, Stefan Woltran |
| 2019 | Nested Sequents for the Logic of Conditional Belief. Marianna Girlando, Björn Lellmann, Nicola Olivetti |
| 2019 | On the Complexity of Graded Modal Logics with Converse. Bartosz Bednarczyk, Emanuel Kieronski, Piotr Witkowski |
| 2019 | Possibilistic Logic: From Certainty-Qualified Statements to Two-Tiered Logics - A Prospective Survey. Didier Dubois, Henri Prade |
| 2019 | Preprocessing Argumentation Frameworks via Replacement Patterns. Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran |
| 2019 | Privacy-Preserving Ontology Publishing for Franz Baader, Francesco Kriegel, Adrian Nuradiansyah |
| 2019 | Reasoning About Cognitive Attitudes in a Qualitative Setting. Emiliano Lorini |
| 2019 | Repairing Non-monotonic Knowledge Bases. Markus Ulbricht |
| 2019 | SLD-Resolution Reduction of Second-Order Horn Fragments. Sophie Tourret, Andrew Cropper |
| 2019 | Stable-Ordered Models for Propositional Theories with Order Operators. Johannes Oetsch, Juan Carlos Nieves |
| 2019 | Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. Christoph Beierle, Steven Kutsch |
| 2019 | Taking Defeasible Entailment Beyond Rational Closure. Giovanni Casini, Thomas Meyer, Ivan Varzinczak |
| 2019 | The Dynamic Logic of Policies and Contingent Planning. Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel |
| 2019 | The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs. Peter Schüller |
| 2019 | The Weak Completion Semantics Can Model Inferences of Individual Human Reasoners. Christian Breu, Axel Ind, Julia Mertesdorf, Marco Ragni |
| 2019 | Typed Meta-interpretive Learning of Logic Programs. Rolf Morel, Andrew Cropper, C.-H. Luke Ong |
| 2019 | Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. Jeremias Berg, Matti Järvisalo |
| 2019 | Vadalog: Recent Advances and Applications. Georg Gottlob, Andreas Pieris, Emanuel Sallinger |
| 2019 | Well-Foundedness in Weighted Argumentation Frameworks. Stefano Bistarelli, Francesco Santini |
| 2019 | \mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language. Tobias Kain, Hans Tompits |