KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Main Track

• Consistent Query Answering over SHACL Constraints.

  1. Shqiponja Ahmetaj
  2. Timo Camillo Merkl
  3. Reinhard Pichler
  DetailsPDF
• Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation.

  1. Gianvincenzo Alfano
  2. Sergio Greco
  3. Francesco Parisi
  4. Irina Trubitsyna
  DetailsPDF
• Probabilistic Synthesis and Verification for LTL on Finite Traces.

  1. Benjamin Aminof
  2. Linus Cooper
  3. Sasha Rubin
  4. Moshe Y. Vardi
  5. Florian Zuleger
  DetailsPDF
• Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis.

  1. Benjamin Aminof
  2. Giuseppe De Giacomo
  3. Sasha Rubin
  4. Florian Zuleger
  DetailsPDF
• Abstraction in Assumption-based Argumentation.

  1. Iosif Apostolakis
  2. Zeynep G. Saribatur
  3. Johannes P. Wallner
  DetailsPDF
• A Uniform Language to Explain Decision Trees.

  1. Marcelo Arenas
  2. Pablo Barceló
  3. Diego Bustamante
  4. Jose Caraball
  5. Bernardo Subercaseaux
  DetailsPDF
• Deontic Reasoning Based on Inconsistency Measures.

  1. Ofer Arieli
  2. Kees van Berkel
  3. Badran Raddaoui
  4. Christian Strasser
  DetailsPDF
• Non-Rigid Designators in Modal and Temporal Free Description Logics.

  1. Alessandro Artale
  2. Roman Kontchakov
  3. Andrea Mazzullo
  4. Frank Wolter
  DetailsPDF
• Contractions Based on Optimal Repairs.

  1. Franz Baader
  2. Renata Wassermann
  DetailsPDF
• Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations.

  1. Christoph Beierle
  2. Lars-Phillip Spiegel
  3. Jonas Haldimann
  4. Marco Wilhelm
  5. Jesse Heyninck
  6. Gabriele Kern-Isberner
  DetailsPDF
• Monotone Rewritability and the Analysis of Queries, Views, and Rules.

  1. Michael Benedikt
  2. Stanislav Kikot
  3. Johannes Marti
  4. Piotr Ostropolski-Nawelaja
  DetailsPDF
• Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs.

  1. Matti Berthold
  2. Anna Rapberger
  3. Markus Ulbricht
  DetailsPDF
• Abductive Reasoning in a Paraconsistent Framework.

  1. Meghyn Bienvenu
  2. Katsumi Inoue
  3. Daniil Kozhemiachenko
  DetailsPDF
• Queries With Exact Truth Values in Paraconsistent Description Logics.

  1. Meghyn Bienvenu
  2. Camille Bourgaux
  3. Daniil Kozhemiachenko
  DetailsPDF
• Shapley Value Computation in Ontology-Mediated Query Answering.

  1. Meghyn Bienvenu
  2. Diego Figueira
  3. Pierre Lafourcade
  DetailsPDF
• Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases.

  1. Meghyn Bienvenu
  2. Camille Bourgaux
  3. Robin Jean
  DetailsPDF
• Weak Admissibility for ABA via Abstract Set-Attacks.

  1. Lydia Blümel
  2. Matthias König
  3. Markus Ulbricht
  DetailsPDF
• Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs.

  1. Piero Andrea Bonatti
  2. Francesco Magliocca
  3. Luigi Sauro
  DetailsPDF
• Belief Change on Rational Rankings.

  1. Nerio Borges
  2. Sébastien Konieczny
  3. Ramón Pino Pérez
  4. Nicolas Schwind
  DetailsPDF
• Action Language mA* with Higher-Order Action Observability.

  1. David Buckingham
  2. Matthias Scheutz
  3. Tran Cao Son
  4. Francesco Fabiano
  DetailsPDF
• Contracted Temporal Equilibrium Logic.

  1. Pedro Cabalar
  2. Thomas Eiter
  3. Davide Soldà
  DetailsPDF
• Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable.

  1. David Carral
  2. Lucas Larroque
  3. Michaël Thomazo
  DetailsPDF
• Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices.

  1. Angelos Charalambidis
  2. Giannos Chatziagapis
  3. Babis Kostopoulos
  4. Panos Rondogiannis
  DetailsPDF
• ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP.

  1. Leroy Chew
  2. Alexis de Colnet
  3. Stefan Szeider
  DetailsPDF
• Explaining Image Classifiers.

  1. Hana Chockler
  2. Joseph Y. Halpern
  DetailsPDF
• On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events.

  1. Lukas Chrpa
  2. Erez Karpas
  DetailsPDF
• Strongly Analytic Calculi for KLM Logics with SMT-Based Prover.

  1. Agata Ciabattoni
  2. Clemens Eisenhofer
  3. Dmitry Rozplokhas
  DetailsPDF
• Qiana: A First-Order Formalism to Quantify over Contexts and Formulas.

  1. Simon Coumes
  2. Pierre-Henri Paris
  3. François Schwarzentruber
  4. Fabian M. Suchanek
  DetailsPDF
• Equilibrium Description Logics: Results on Complexity and Relations to Circumscription.

  1. Federica Di Stefano
  2. Mantas Šimkus
  DetailsPDF
• Blending Grounding and Compilation for Efficient ASP Solving.

  1. Carmine Dodaro
  2. Giuseppe Mazzotta
  3. Francesco Ricca
  DetailsPDF
• Weighted Merging Operators: Product, Utility-based Operators and Egalitarianism.

  1. Patricia Everaere
  2. Sébastien Konieczny
  3. Ramón Pino Pérez
  DetailsPDF
• Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning.

  1. Biqing Fang
  2. Fangzhen Lin
  DetailsPDF
• A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic.

  1. David Fernández-Duque
  2. Brett McLean
  3. Lukas Zenger
  DetailsPDF
• Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.

  1. Diego Figueira
  2. S Krishna
  3. Om Swostik Mishra
  4. Anantha Padmanabha
  DetailsPDF
• Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging.

  1. Tommaso Flaminio
  2. Lluis Godo
  3. Giuliano Rosella
  DetailsPDF
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities.

  1. Lucía Gómez Álvarez
  2. Sebastian Rudolph
  DetailsPDF
• Preference-Based Abstract Argumentation for Case-Based Reasoning.

  1. Adam Gould
  2. Guilherme Paulino-Passos
  3. Seema Dadhania
  4. Matthew Williams
  5. Francesca Toni
  DetailsPDF
• Axiomatization of Approximate Exclusion.

  1. Matilda Häggblom
  DetailsPDF
• A Representation Theorem for Causal Decision Making.

  1. Joseph Y. Halpern
  2. Evan Piermont
  DetailsPDF
• Verification of General Games with Imperfect Information Using Strategy Logic.

  1. Yifan He
  2. Munyque Mittelmann
  3. Aniello Murano
  4. Abdallah Saffidine
  5. Michael Thielscher
  DetailsPDF
• From Acceptance to Rejection in Abstract Argumentation.

  1. Anne-Marie Heine
  2. Markus Ulbricht
  DetailsPDF
• Operator-Based Semantics for Choice Programs: Is Choosing Losing?.

  1. Jesse Heyninck
  DetailsPDF
• Extending Description Logics with Generic Concepts – the Tale of Two Semantics.

  1. Joshua Hirschbrunn
  2. Yevgeny Kazakov
  DetailsPDF
• Incentive Design for Rational Agents.

  1. David Hyland
  2. Munyque Mittelmann
  3. Aniello Murano
  4. Giuseppe Perelli
  5. Michael Wooldridge
  DetailsPDF
• Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.

  1. Yacine Izza
  2. Xuanxiang Huang
  3. Antonio Morgado
  4. Jordi Planes
  5. Alexey Ignatiev
  6. Joao Marques-Silva
  DetailsPDF
• Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology.

  1. Jean Christoph Jung
  2. Vladislav Ryzhikov
  3. Frank Wolter
  4. Michael Zakharyaschev
  DetailsPDF
• Total Preorders vs Ranking Functions under Belief Revision – the Dynamics of Empty Layers.

  1. Gabriele Kern-Isberner
  2. Alexander Hahn
  3. Jonas Haldimann
  4. Christoph Beierle
  DetailsPDF
• Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models.

  1. Jean-Marie Lagniez
  2. Emmanuel Lonca
  DetailsPDF
• Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+.

  1. Tuomo Lehtonen
  2. Daphne Odekerken
  3. Johannes P. Wallner
  4. Matti Järvisalo
  DetailsPDF
• Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster.

  1. Carsten Lutz
  2. Quentin Manière
  DetailsPDF
• Description Logics with Abstraction and Refinement: From ALC to EL.

  1. Carsten Lutz
  2. Lukas Schulze
  DetailsPDF
• SHACL Validation under the Well-founded Semantics.

  1. Cem Okulmus
  2. Mantas Šimkus
  DetailsPDF
• Explaining Decisions in ML Models: A Parameterized Complexity Analysis.

  1. Sebastian Ordyniak
  2. Giacomo Paesani
  3. Mateusz Rychlicki
  4. Stefan Szeider
  DetailsPDF
• The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules.

  1. Piotr Ostropolski-Nalewaja
  2. Sebastian Rudolph
  DetailsPDF
• Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach.

  1. Andrei Popescu
  2. Johannes P. Wallner
  DetailsPDF
• Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties).

  1. Nico Potyka
  2. Richard Booth
  DetailsPDF
• Repairing Assumption-Based Argumentation Frameworks.

  1. Anna Rapberger
  2. Markus Ulbricht
  DetailsPDF
• Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel.

  1. Jandson S. Ribeiro
  DetailsPDF
• Collective Satisfaction Semantics for Opinion Based Argumentation.

  1. Juliete Rossie
  2. Jérôme Delobelle
  3. Sébastien Konieczny
  4. Clément Lens
  5. Srdjan Vesic
  DetailsPDF
• Navigating and Querying Answer Sets: How Hard Is It Really and Why?.

  1. Dominik Rusovac
  2. Markus Hecher
  3. Martin Gebser
  4. Sarah Alice Gaggl
  5. Johannes K. Fichte
  DetailsPDF
• On Abstracting over the Irrelevant in Answer Set Programming.

  1. Zeynep G. Saribatur
  2. Matthias Knorr
  3. Ricardo Gonçalves
  4. João Leite
  DetailsPDF
• The Realizability of Revision and Contraction Operators in Epistemic Spaces.

  1. Kai Sauerwald
  2. Matthias Thimm
  DetailsPDF
• Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility.

  1. Kenneth Skiba
  2. Matthias Thimm
  DetailsPDF
• Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat.

  1. Jan Tóth
  2. Ondřej Kuželka
  DetailsPDF
• Expressive Power of Definite Descriptions in Modal Logics.

  1. Przemysław Andrzej Wałęga
  DetailsPDF
• CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks.

  1. Xiang Yin
  2. Nico Potyka
  3. Francesca Toni
  DetailsPDF

KR in the Wild

• Explaining Reasoning Results for OWL Ontologies with Evee.

  1. Christian Alrabbaa
  2. Stefan Borgwardt
  3. Tom Friese
  4. Anke Hirsch
  5. Nina Knieriemen
  6. Patrick Koopmann
  7. Alisa Kovtunova
  8. Antonio Krüger
  9. Alexej Popovič
  10. Ida Siahaan
  DetailsPDF
• ASP Chef: Draw and Expand.

  1. Mario Alviano
  2. Luis Angel Rodriguez Reiners
  DetailsPDF
• dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning.

  1. Renato Lui Geh
  2. Jonas Gonçalves
  3. Igor C. Silveira
  4. Denis D. Mauá
  5. Fabio G. Cozman
  DetailsPDF
• Nemo: Your Friendly and Versatile Rule Reasoning Toolkit.

  1. Alex Ivliev
  2. Lukas Gerlach
  3. Simon Meusel
  4. Jakob Steinberg
  5. Markus Krötzsch
  DetailsPDF
• Model Counting in the Wild.

  1. Arijit Shaw
  2. Kuldeep S. Meel
  DetailsPDF
• Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.

  1. Irumi Sugimori
  2. Katsumi Inoue
  3. Hidetomo Nabeshima
  4. Torsten Schaub
  5. Takehide Soh
  6. Naoyuki Tamura
  7. Mutsunori Banbara
  DetailsPDF
• Dialectical Reconciliation via Structured Argumentative Dialogues.

  1. Stylianos Loukas Vasileiou
  2. Ashwin Kumar
  3. William Yeoh
  4. Tran Cao Son
  5. Francesca Toni
  DetailsPDF
• ASPEN: ASP-Based System for Collective Entity Resolution.

  1. Zhiliang Xiang
  2. Meghyn Bienvenu
  3. Gianluca Cima
  4. Víctor Gutiérrez Basulto
  5. Yazmín Ibáñez García
  DetailsPDF

Reasoning, Learning & Decision-Making Track

• Action Model Learning with Guarantees.

  1. Diego Aineto
  2. Enrico Scala
  DetailsPDF
• Planning Domain Model Acquisition from State Traces without Action Parameters.

  1. Tomáš Balyo
  2. Martin Suda
  3. Lukáš Chrpa
  4. Dominik Šafránek
  5. Stephan Gocht
  6. Filip Dvořák
  7. Roman Barták
  8. G. Michael Youngblood
  DetailsPDF
• Knowledge Base Embeddings: Semantics and Theoretical Properties.

  1. Camille Bourgaux
  2. Ricardo Guimarães
  3. Raoul Koudijs
  4. Victor Lacerda
  5. Ana Ozaki
  DetailsPDF
• LLASP: Fine-tuning Large Language Models for Answer Set Programming.

  1. Erica Coppolillo
  2. Francesco Calimeri
  3. Giuseppe Manco
  4. Simona Perri
  5. Francesco Ricca
  DetailsPDF
• Symmetries and Expressive Requirements for Learning General Policies.

  1. Dominik Drexler
  2. Simon Ståhlberg
  3. Blai Bonet
  4. Hector Geffner
  DetailsPDF
• Learning to Ground Existentially Quantified Goals.

  1. Martin Funkquist
  2. Simon Ståhlberg
  3. Hector Geffner
  DetailsPDF
• LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers.

  1. David Ing
  2. Said Jabbour
  3. Lakhdar Sais
  4. Fabien Delorme
  DetailsPDF
• On the Expressivity of Recurrent Neural Cascades with Identity.

  1. Nadezda Alexandrovna Knorozova
  2. Alessandro Ronca
  DetailsPDF
• Contestable AI Needs Computational Argumentation.

  1. Francesco Leofante
  2. Hamed Ayoobi
  3. Adam Dejl
  4. Gabriel Freedman
  5. Deniz Gorur
  6. Junqi Jiang
  7. Guilherme Paulino-Passos
  8. Antonio Rago
  9. Anna Rapberger
  10. Fabrizio Russo
  11. Xiang Yin
  12. Dekai Zhang
  13. Francesca Toni
  DetailsPDF
• Relational Graph Convolutional Networks Do Not Learn Sound Rules.

  1. Matthew Morris
  2. David J. Tena Cucala
  3. Bernardo Cuenca Grau
  4. Ian Horrocks
  DetailsPDF
• Learning Robust Reward Machines from Noisy Labels.

  1. Roko Parać
  2. Lorenzo Nodari
  3. Leo Ardon
  4. Daniel Furelos-Blanco
  5. Federico Cerutti
  6. Alessandra Russo
  DetailsPDF
• Logical Distillation of Graph Neural Networks.

  1. Alexander Pluska
  2. Pascal Welke
  3. Thomas Gärtner
  4. Sagar Malhotra
  DetailsPDF
• Advancing Interactive Explainable AI via Belief Change Theory.

  1. Antonio Rago
  2. Maria Vanina Martinez
  DetailsPDF
• Argumentative Causal Discovery.

  1. Fabrizio Russo
  2. Anna Rapberger
  3. Francesca Toni
  DetailsPDF
• Bridging Max Graph Neural Networks and Datalog with Negation.

  1. David J. Tena Cucala
  2. Bernardo Cuenca Grau
  DetailsPDF
• MTLearn: Extracting Temporal Rules Using Datalog Rule Learners.

  1. Dingmin Wang
  2. Przemysław Andrzej Wałęga
  3. Bernardo Cuenca Grau
  DetailsPDF
• Automated Reasoning in Systems Biology: A Necessity for Precision Medicine.

  1. Pedro Zuidberg Dos Martires
  2. Vincent Derkinderen
  3. Luc De Raedt
  4. Marcus Krantz
  DetailsPDF