- Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva:
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. KR 2024 - Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. KR 2024 - Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle:
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. KR 2024 - Nadezda Alexandrovna Knorozova, Alessandro Ronca:
On the Expressivity of Recurrent Neural Cascades with Identity. KR 2024 - Jean-Marie Lagniez, Emmanuel Lonca:
Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models. KR 2024 - Tuomo Lehtonen, Daphne Odekerken, Johannes Peter Wallner, Matti Järvisalo:
Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. KR 2024 - Francesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago, Anna Rapberger, Fabrizio Russo, Xiang Yin, Dekai Zhang, Francesca Toni:
Contestable AI Needs Computational Argumentation. KR 2024 - Carsten Lutz, Quentin Manière:
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. KR 2024 - Carsten Lutz, Lukas Schulze:
Description Logics with Abstraction and Refinement: From ALC to EL. KR 2024 - Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz:
Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. KR 2024 - Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Relational Graph Convolutional Networks Do Not Learn Sound Rules. KR 2024 - Cem Okulmus, Mantas Simkus:
SHACL Validation under the Well-founded Semantics. KR 2024 - Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider:
Explaining Decisions in ML Models: A Parameterized Complexity Analysis. KR 2024 - Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. KR 2024 - Roko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, Alessandra Russo:
Learning Robust Reward Machines from Noisy Labels. KR 2024 - Alexander Pluska, Pascal Welke, Thomas Gärtner, Sagar Malhotra:
Logical Distillation of Graph Neural Networks. KR 2024 - Nico Potyka, Richard Booth:
Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties). KR 2024 - Anna Rapberger, Markus Ulbricht:
Repairing Assumption-Based Argumentation Frameworks. KR 2024 - Jandson S. Ribeiro:
Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel. KR 2024 - Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic:
Collective Satisfaction Semantics for Opinion Based Argumentation. KR 2024 - Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte:
Navigating and Querying Answer Sets: How Hard Is It Really and Why? KR 2024 - Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite:
On Abstracting over the Irrelevant in Answer Set Programming. KR 2024 - Kai Sauerwald, Matthias Thimm:
The Realizability of Revision and Contraction Operators in Epistemic Spaces. KR 2024 - Arijit Shaw, Kuldeep S. Meel:
Model Counting in the Wild. KR 2024 - Kenneth Skiba, Matthias Thimm:
Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility. KR 2024 - Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara:
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. KR 2024 - Jan Tóth, Ondrej Kuzelka:
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat. KR 2024 - Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni:
Dialectical Reconciliation via Structured Argumentative Dialogues. KR 2024 - Przemyslaw Andrzej Walega:
Expressive Power of Definite Descriptions in Modal Logics. KR 2024 - Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. KR 2024
