default search action
21st KR 2024: Hanoi, Vietnam
- Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco:
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024. 2024, ISBN 978-1-956792-05-8
Main Track
- Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler:
Consistent Query Answering over SHACL Constraints. - Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna:
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. - Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger:
Probabilistic Synthesis and Verification for LTL on Finite Traces. - Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. - Iosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner:
Abstraction in Assumption-based Argumentation. - Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux:
A Uniform Language to Explain Decision Trees. - Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer:
Deontic Reasoning Based on Inconsistency Measures. - Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
Non-Rigid Designators in Modal and Temporal Free Description Logics. - Franz Baader, Renata Wassermann:
Contractions Based on Optimal Repairs. - 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. - Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja:
Monotone Rewritability and the Analysis of Queries, Views, and Rules. - Matti Berthold, Anna Rapberger, Markus Ulbricht:
Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs. - Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko:
Abductive Reasoning in a Paraconsistent Framework. - Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko:
Queries With Exact Truth Values in Paraconsistent Description Logics. - Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade:
Shapley Value Computation in Ontology-Mediated Query Answering. - Meghyn Bienvenu, Camille Bourgaux, Robin Jean:
Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. - Lydia Blümel, Matthias König, Markus Ulbricht:
Weak Admissibility for ABA via Abstract Set-Attacks. - Piero Andrea Bonatti, Francesco Magliocca, Luigi Sauro:
Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs. - Nerio Borges, Sébastien Konieczny, Ramón Pino Pérez, Nicolas Schwind:
Belief Change on Rational Rankings. - David Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano:
Action Language mA* with Higher-Order Action Observability. - Pedro Cabalar, Thomas Eiter, Davide Soldà:
Contracted Temporal Equilibrium Logic. - David Carral, Lucas Larroque, Michaël Thomazo:
Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable. - Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis:
Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices. - Leroy Chew, Alexis de Colnet, Stefan Szeider:
ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. - Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. - Lukás Chrpa, Erez Karpas:
On Verifying and Generating Robust Plans for Planning Tasks with Exogenous Events. - Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas:
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. - Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek:
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas. - Federica Di Stefano, Mantas Simkus:
Equilibrium Description Logics: Results on Complexity and Relations to Circumscription. - Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Blending Grounding and Compilation for Efficient ASP Solving. - Patricia Everaere, Sébastien Konieczny, Ramón Pino Pérez:
Weighted Merging Operators: Product, Utility-based Operators and Egalitarianism. - Biqing Fang, Fangzhen Lin:
Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. - David Fernández-Duque, Brett McLean, Lukas Zenger:
A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic. - Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha:
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. - Tommaso Flaminio, Lluís Godo, Giuliano Rosella:
Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging. - Lucía Gómez Álvarez, Sebastian Rudolph:
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities. - Adam Gould, Guilherme Paulino-Passos, Seema Dadhania, Matthew Williams, Francesca Toni:
Preference-Based Abstract Argumentation for Case-Based Reasoning. - Matilda Häggblom:
Axiomatization of Approximate Exclusion. - Joseph Y. Halpern, Evan Piermont:
A Representation Theorem for Causal Decision Making. - Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher:
Verification of General Games with Imperfect Information Using Strategy Logic. - Anne-Marie Heine, Markus Ulbricht:
From Acceptance to Rejection in Abstract Argumentation. - Jesse Heyninck:
Operator-Based Semantics for Choice Programs: Is Choosing Losing? - Joshua Hirschbrunn, Yevgeny Kazakov:
Extending Description Logics with Generic Concepts - the Tale of Two Semantics. - David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge:
Incentive Design for Rational Agents. - Yacine Izza, Xuanxiang Huang, António Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva:
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation. - Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. - Gabriele Kern-Isberner, Alexander Hahn, Jonas Haldimann, Christoph Beierle:
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers. - Jean-Marie Lagniez, Emmanuel Lonca:
Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models. - Tuomo Lehtonen, Daphne Odekerken, Johannes Peter Wallner, Matti Järvisalo:
Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. - Carsten Lutz, Quentin Manière:
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster. - Carsten Lutz, Lukas Schulze:
Description Logics with Abstraction and Refinement: From ALC to EL. - Cem Okulmus, Mantas Simkus:
SHACL Validation under the Well-founded Semantics. - Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider:
Explaining Decisions in ML Models: A Parameterized Complexity Analysis. - Piotr Ostropolski-Nalewaja, Sebastian Rudolph:
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules. - Andrei Popescu, Johannes Peter Wallner:
Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. - Nico Potyka, Richard Booth:
Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties). - Anna Rapberger, Markus Ulbricht:
Repairing Assumption-Based Argumentation Frameworks. - Jandson S. Ribeiro:
Semantic Constructions for Belief Base Contraction: Partial Meet vs Smooth Kernel. - Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Clément Lens, Srdjan Vesic:
Collective Satisfaction Semantics for Opinion Based Argumentation. - Dominik Rusovac, Markus Hecher, Martin Gebser, Sarah Alice Gaggl, Johannes Klaus Fichte:
Navigating and Querying Answer Sets: How Hard Is It Really and Why? - Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite:
On Abstracting over the Irrelevant in Answer Set Programming. - Kai Sauerwald, Matthias Thimm:
The Realizability of Revision and Contraction Operators in Epistemic Spaces. - Kenneth Skiba, Matthias Thimm:
Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility. - Jan Tóth, Ondrej Kuzelka:
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat. - Przemyslaw Andrzej Walega:
Expressive Power of Definite Descriptions in Modal Logics. - Xiang Yin, Nico Potyka, Francesca Toni:
CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks.
KR in the Wild
- 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. - Mario Alviano, Luis Angel Rodriguez Reiners:
ASP Chef: Draw and Expand. - 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. - Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch:
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit. - Arijit Shaw, Kuldeep S. Meel:
Model Counting in the Wild. - 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. - Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni:
Dialectical Reconciliation via Structured Argumentative Dialogues. - Zhiliang Xiang, Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García:
ASPEN: ASP-Based System for Collective Entity Resolution.
Reasoning, Learning & Decision-Making Track
- Diego Aineto, Enrico Scala:
Action Model Learning with Guarantees. - 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. - Camille Bourgaux, Ricardo Guimarães, Raoul Koudijs, Victor Lacerda, Ana Ozaki:
Knowledge Base Embeddings: Semantics and Theoretical Properties. - Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca:
LLASP: Fine-tuning Large Language Models for Answer Set Programming. - Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner:
Symmetries and Expressive Requirements for Learning General Policies. - Martin Funkquist, Simon Ståhlberg, Hector Geffner:
Learning to Ground Existentially Quantified Goals. - David Ing, Saïd Jabbour, Lakhdar Sais, Fabien Delorme:
LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers. - Nadezda Alexandrovna Knorozova, Alessandro Ronca:
On the Expressivity of Recurrent Neural Cascades with Identity. - 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. - Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
Relational Graph Convolutional Networks Do Not Learn Sound Rules. - Roko Parac, Lorenzo Nodari, Leo Ardon, Daniel Furelos-Blanco, Federico Cerutti, Alessandra Russo:
Learning Robust Reward Machines from Noisy Labels. - Alexander Pluska, Pascal Welke, Thomas Gärtner, Sagar Malhotra:
Logical Distillation of Graph Neural Networks. - Antonio Rago, Maria Vanina Martinez:
Advancing Interactive Explainable AI via Belief Change Theory. - Fabrizio Russo, Anna Rapberger, Francesca Toni:
Argumentative Causal Discovery. - David J. Tena Cucala, Bernardo Cuenca Grau:
Bridging Max Graph Neural Networks and Datalog with Negation. - Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau:
MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. - Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz:
Automated Reasoning in Systems Biology: A Necessity for Precision Medicine.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: