PPaperPicks
← All conferences
Editions202620252024

KR 2024

A*

International Conference on Principles of Knowledge Representation and Reasoning

Official site ↗
92
accepted papers
267
authors
November 2-8, 2024
dates
Vietnam
location

92 / 92 papers

  1. 1
    A Representation Theorem for Causal Decision Making
    Joseph Y. Halpern
    ,
    Evan Piermont
  2. 2
    A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic
    David Fernández-Duque
    ,
    Brett McLean
    ,
    Lukas Zenger
  3. 3
    A Uniform Language to Explain Decision Trees
    Marcelo Arenas
    ,
    Pablo Barceló
    ,
    Diego Bustamante
    ,
    Jose Caraball
    ,
    Bernardo Subercaseaux
  4. 4
    Abductive Reasoning in a Paraconsistent Framework
    Meghyn Bienvenu
    ,
    Katsumi Inoue
    ,
    Daniil Kozhemiachenko
  5. 5
    Abstraction in Assumption-based Argumentation
    Iosif Apostolakis
    ,
    Zeynep G. Saribatur
    ,
    Johannes P. Wallner
  6. 6
    Action Language mA* with Higher-Order Action Observability
    David Buckingham
    ,
    Matthias Scheutz
    ,
    Tran Cao Son
    ,
    Francesco Fabiano
  7. 7
    Action Model Learning with Guarantees
    Diego Aineto
    ,
    Enrico Scala
  8. 8
    Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
    Carsten Lutz
    ,
    Quentin Manière
  9. 9
    Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach
    Andrei Popescu
    ,
    Johannes P. Wallner
  10. 10
    Advancing Interactive Explainable AI via Belief Change Theory
    Antonio Rago
    ,
    Maria Vanina Martinez
  11. 11
    Argumentative Causal Discovery
    Fabrizio Russo
    ,
    Anna Rapberger
    ,
    Francesca Toni
  12. 12
    ASP Chef: Draw and Expand
    Mario Alviano
    ,
    Luis Angel Rodriguez Reiners
  13. 13
    ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
    Leroy Chew
    ,
    Alexis de Colnet
    ,
    Stefan Szeider
  14. 14
    ASPEN: ASP-Based System for Collective Entity Resolution
    Zhiliang Xiang
    ,
    Meghyn Bienvenu
    ,
    Gianluca Cima
    ,
    Víctor Gutiérrez-Basulto
    ,
    Yazmín Ibáñez-García
  15. 15
    Automated Reasoning in Systems Biology: A Necessity for Precision Medicine
    Pedro Zuidberg Dos Martires
    ,
    Vincent Derkinderen
    ,
    Luc De Raedt
    ,
    Marcus Krantz
  16. 16
    Axiomatization of Approximate Exclusion
    Matilda Häggblom
  17. 17
    Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties)
    Nico Potyka
    ,
    Richard Booth
  18. 18
    Belief Change on Rational Rankings
    Nerio Borges
    ,
    Sébastien Konieczny
    ,
    Ramón Pino Pérez
    ,
    Nicolas Schwind
  19. 19
    Blending Grounding and Compilation for Efficient ASP Solving
    Carmine Dodaro
    ,
    Giuseppe Mazzotta
    ,
    Francesco Ricca
  20. 20
    Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
    Diego Figueira
    ,
    S. Krishna
    ,
    Om Swostik Mishra
    ,
    Anantha Padmanabha
  21. 21
    Bridging Max Graph Neural Networks and Datalog with Negation
    David J. Tena Cucala
    ,
    Bernardo Cuenca Grau
  22. 22
    Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs
    Matti Berthold
    ,
    Anna Rapberger
    ,
    Markus Ulbricht
  23. 23
    CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks
    Xiang Yin
    ,
    Nico Potyka
    ,
    Francesca Toni
  24. 24
    Collective Satisfaction Semantics for Opinion Based Argumentation
    Juliete Rossie
    ,
    Jérôme Delobelle
    ,
    Sébastien Konieczny
    ,
    Clément Lens
    ,
    Srdjan Vesic
  25. 25
    Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
    Jan Tóth
    ,
    Ondrej Kuzelka
  26. 26
    Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
    Tuomo Lehtonen
    ,
    Daphne Odekerken
    ,
    Johannes P. Wallner
    ,
    Matti Järvisalo
  27. 27
    Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations
    Christoph Beierle
    ,
    Lars-Phillip Spiegel
    ,
    Jonas Haldimann
    ,
    Marco Wilhelm
    ,
    Jesse Heyninck
    ,
    Gabriele Kern-Isberner
  28. 28
    Consistent Query Answering over SHACL Constraints
    Shqiponja Ahmetaj
    ,
    Timo Camillo Merkl
    ,
    Reinhard Pichler
  29. 29
    Contestable AI Needs Computational Argumentation
    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
  30. 30
    Contracted Temporal Equilibrium Logic
    Pedro Cabalar
    ,
    Thomas Eiter
    ,
    Davide Soldà
  31. 31
    Contractions Based on Optimal Repairs
    Franz Baader
    ,
    Renata Wassermann
  32. 32
    Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
    Meghyn Bienvenu
    ,
    Camille Bourgaux
    ,
    Robin Jean
  33. 33
    Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
    Gianvincenzo Alfano
    ,
    Sergio Greco
    ,
    Francesco Parisi
    ,
    Irina Trubitsyna
  34. 34
    Deontic Reasoning Based on Inconsistency Measures
    Ofer Arieli
    ,
    Kees van Berkel
    ,
    Badran Raddaoui
    ,
    Christian Straßer
  35. 35
    Description Logics with Abstraction and Refinement: From ALC to EL
    Carsten Lutz
    ,
    Lukas Schulze
  36. 36
    Dialectical Reconciliation via Structured Argumentative Dialogues
    Stylianos Loukas Vasileiou
    ,
    Ashwin Kumar
    ,
    William Yeoh
    ,
    Tran Cao Son
    ,
    Francesca Toni
  37. 37
    Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
    Yacine Izza
    ,
    Xuanxiang Huang
    ,
    António Morgado
    ,
    Jordi Planes
    ,
    Alexey Ignatiev
    ,
    João Marques-Silva
  38. 38
    dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning
    Renato Lui Geh
    ,
    Jonas Gonçalves
    ,
    Igor Cataneo Silveira
    ,
    Denis Deratani Mauá
    ,
    Fábio G. Cozman
  39. 39
    Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
    Federica Di Stefano
    ,
    Mantas Simkus
  40. 40
    Explaining Decisions in ML Models: A Parameterized Complexity Analysis
    Sebastian Ordyniak
    ,
    Giacomo Paesani
    ,
    Mateusz Rychlicki
    ,
    Stefan Szeider
  41. 41
    Explaining Image Classifiers
    Hana Chockler
    ,
    Joseph Y. Halpern
  42. 42
    Explaining Reasoning Results for OWL Ontologies with Evee
    Christian Alrabbaa
    ,
    Stefan Borgwardt
    ,
    Tom Friese
    ,
    Anke Hirsch
    ,
    Nina Knieriemen
    ,
    Patrick Koopmann
    ,
    Alisa Kovtunova
    ,
    Antonio Krüger
    ,
    Alexej Popovic
    ,
    Ida S. R. Siahaan
  43. 43
    Expressive Power of Definite Descriptions in Modal Logics
    Przemyslaw Andrzej Walega
  44. 44
    Extending Description Logics with Generic Concepts - the Tale of Two Semantics
    Joshua Hirschbrunn
    ,
    Yevgeny Kazakov
  45. 45
    From Acceptance to Rejection in Abstract Argumentation
    Anne-Marie Heine
    ,
    Markus Ulbricht
  46. 46
    Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning
    Biqing Fang
    ,
    Fangzhen Lin
  47. 47
    Incentive Design for Rational Agents
    David Hyland
    ,
    Munyque Mittelmann
    ,
    Aniello Murano
    ,
    Giuseppe Perelli
    ,
    Michael J. Wooldridge
  48. 48
    Knowledge Base Embeddings: Semantics and Theoretical Properties
    Camille Bourgaux
    ,
    Ricardo Guimarães
    ,
    Raoul Koudijs
    ,
    Victor Lacerda
    ,
    Ana Ozaki
  49. 49
    LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers
    David Ing
    ,
    Saïd Jabbour
    ,
    Lakhdar Sais
    ,
    Fabien Delorme
  50. 50
    Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
    Irumi Sugimori
    ,
    Katsumi Inoue
    ,
    Hidetomo Nabeshima
    ,
    Torsten Schaub
    ,
    Takehide Soh
    ,
    Naoyuki Tamura
    ,
    Mutsunori Banbara