- David Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano:
Action Language mA* with Higher-Order Action Observability. KR 2024 - Pedro Cabalar, Thomas Eiter, Davide Soldà:
Contracted Temporal Equilibrium Logic. KR 2024 - David Carral, Lucas Larroque, Michaël Thomazo:
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. KR 2024 - Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis:
Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices. KR 2024 - Leroy Chew, Alexis de Colnet, Stefan Szeider:
ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. KR 2024 - Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. KR 2024 - Lukás Chrpa, Erez Karpas:
On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events. KR 2024 - Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas:
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. KR 2024 - Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca:
LLASP: Fine-tuning Large Language Models for Answer Set Programming. KR 2024 - Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek:
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas. KR 2024 - David J. Tena Cucala, Bernardo Cuenca Grau:
Bridging Max Graph Neural Networks and Datalog with Negation. KR 2024 - Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Blending Grounding and Compilation for Efficient ASP Solving. KR 2024 - Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner:
Symmetries and Expressive Requirements for Learning General Policies. KR 2024 - Patricia Everaere, Sébastien Konieczny, Ramón Pino Pérez:
Weighted Merging Operators: Product, Utility-based Operators and Egalitarianism. KR 2024 - Biqing Fang, Fangzhen Lin:
Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. KR 2024 - David Fernández-Duque, Brett McLean, Lukas Zenger:
A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. KR 2024 - Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha:
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. KR 2024 - Tommaso Flaminio, Lluís Godo, Giuliano Rosella:
Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging. KR 2024 - Martin Funkquist, Simon Ståhlberg, Hector Geffner:
Learning to Ground Existentially Quantified Goals. KR 2024 - Renato Lui Geh, Jonas Gonçalves, Igor Cataneo Silveira, Denis Deratani Mauá, Fábio Gagliardi Cozman:
dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning. KR 2024 - Adam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matthew Williams, Francesca Toni:
Preference-Based Abstract Argumentation for Case-Based Reasoning. KR 2024 - Matilda Häggblom:
Axiomatization of Approximate Exclusion. KR 2024 - Joseph Y. Halpern, Evan Piermont:
A Representation Theorem for Causal Decision Making. KR 2024 - Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher:
Verification of General Games with Imperfect Information Using Strategy Logic. KR 2024 - Anne-Marie Heine, Markus Ulbricht:
From Acceptance to Rejection in Abstract Argumentation. KR 2024 - Jesse Heyninck:
Operator-Based Semantics for Choice Programs: Is Choosing Losing? KR 2024 - Joshua Hirschbrunn, Yevgeny Kazakov:
Extending Description Logics with Generic Concepts - the Tale of Two Semantics. KR 2024 - David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge:
Incentive Design for Rational Agents. KR 2024 - David Ing, Saïd Jabbour, Lakhdar Sais, Fabien Delorme:
LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. KR 2024 - Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch:
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. KR 2024
