- 2024
- Antonio Rago, Maria Vanina Martinez:
Advancing Interactive Explainable AI via Belief Change Theory. KR 2024 - Federica Di Stefano, Mantas Simkus:
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. KR 2024 - Fabrizio Russo, Anna Rapberger, Francesca Toni:
Argumentative Causal Discovery. KR 2024 - Andrei Popescu, Johannes Peter Wallner:
Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. KR 2024 - Xiang Yin, Nico Potyka, Francesca Toni:
CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks. KR 2024 - Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler:
Consistent Query Answering over SHACL Constraints. KR 2024 - Diego Aineto, Enrico Scala:
Action Model Learning with Guarantees. KR 2024 - Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. KR 2024 - Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, Ida S. R. Siahaan:
Explaining Reasoning Results for OWL Ontologies with Evee. KR 2024 - Lucía Gómez Álvarez, Sebastian Rudolph:
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities. KR 2024 - Mario Alviano, Luis Angel Rodriguez Reiners:
ASP Chef: Draw and Expand. KR 2024 - Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger:
Probabilistic Synthesis and Verification for LTL on Finite Traces. KR 2024 - Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. KR 2024 - Iosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner:
Abstraction in Assumption-based Argumentation. KR 2024 - Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux:
A Uniform Language to Explain Decision Trees. KR 2024 - Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer:
Deontic Reasoning Based on Inconsistency Measures. KR 2024 - Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
Non-Rigid Designators in Modal and Temporal Free Description Logics. KR 2024 - Franz Baader, Renata Wassermann:
Contractions Based on Optimal Repairs. KR 2024 - Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood:
Planning Domain Model Acquisition from State Traces without Action Parameters. KR 2024 - Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner:
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR 2024 - Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja:
Monotone Rewritability and the Analysis of Queries, Views, and Rules. KR 2024 - Matti Berthold, Anna Rapberger, Markus Ulbricht:
Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs. KR 2024 - Meghyn Bienvenu, Camille Bourgaux, Robin Jean:
Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. KR 2024 - Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko:
Queries With Exact Truth Values in Paraconsistent Description Logics. KR 2024 - Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade:
Shapley Value Computation in Ontology-Mediated Query Answering. KR 2024 - Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko:
Abductive Reasoning in a Paraconsistent Framework. KR 2024 - Lydia Blümel, Matthias König, Markus Ulbricht:
Weak Admissibility for ABA via Abstract Set-Attacks. KR 2024 - Piero Andrea Bonatti, Francesco Magliocca, Luigi Sauro:
Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs. KR 2024 - Nerio Borges, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind:
Belief Change on Rational Rankings. KR 2024 - Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki:
Knowledge Base Embeddings: Semantics and Theoretical Properties. KR 2024
