Papers
Computing Approximate Query Answers over Inconsistent Knowledge Bases
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Finite Model Reasoning in Hybrid Classes of Existential Rules
Georg Gottlob, Marco Manna, Andreas Pieris
Possibilistic ASP Base Revision by Certain Input
Laurent Garcia, Claire Lefèvre, Odile Papini et al.
An Empirical Study of Knowledge Tradeoffs in Case-Based Reasoning
Devi Ganesan, Sutanu Chakraborti
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
Cristina Feier, Carsten Lutz, Frank Wolter
Probabilistic bipolar abstract argumentation frameworks: complexity results
Bettina Fazzinga, Sergio Flesca, Filippo Furfaro
Game Description Language and Dynamic Epistemic Logic Compared
Thorsten Engesser, Robert Mattmüller, Bernhard Nebel et al.
A Study of Argumentative Characterisations of Preferred Subtheories
Marcello D'Agostino, Sanjay Modgil
Belief Update in the Horn Fragment
Nadia Creignou, Adrian Haret, Odile Papini et al.
The Complexity of Limited Belief Reasoning—The Quantifier-Free Case
Yijia Chen, Abdallah Saffidine, Christoph Schwering
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes
Markus Brenner, Birte Glimm
Learning Conceptual Space Representations of Interrelated Concepts
Zied Bouraoui, Steven Schockaert
Relevance in Structured Argumentation
AnneMarie Borg, Christian Straßer
Fast Compliance Checking in an OWL2 Fragment
Piero A. Bonatti
Exploiting Justifications for Lazy Grounding of Answer Set Programs
Bart Bogaerts, Antonius Weinzierl
Actual Causality in a Logical Setting
Alexander Bochman
Single-Shot Epistemic Logic Program Solving
Manuel Bichler, Michael Morak, Stefan Woltran
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Pablo Barceló, Gerald Berger, Carsten Lutz et al.
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Compiling Model Representations for Querying Large ABoxes in Expressive DLs
Labinot Bajraktari, Magdalena Ortiz, Mantas Simkus
Explainable Certain Answers
Giovanni Amendola, Leonid Libkin
Enhancing Existential Rules by Closed-World Variables
Giovanni Amendola, Nicola Leone, Marco Manna et al.
Query Answering in Propositional Circumscription
Mario Alviano
Personality-Aware Personalized Emotion Recognition from Physiological Signals
Sicheng Zhao, Guiguang Ding, Jungong Han et al.