PPaperPicks
← All conferences
Editions202620252024

KR 2024

A*

International Conference on Principles of Knowledge Representation and Reasoning

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

92 / 92 papers

  1. 1
    A Representation Theorem for Causal Decision Making
    Joseph Y. Halpern
    DBLP profile ↗ORCID search ↗
  2. 2
    A Sound and Complete Axiomatisation for Intuitionistic Linear Temporal Logic
    David Fernández-Duque
    DBLP profile ↗ORCID search ↗
  3. 3
    A Uniform Language to Explain Decision Trees
    Marcelo Arenas
    DBLP profile ↗ORCID search ↗
  4. 4
    Abductive Reasoning in a Paraconsistent Framework
    Meghyn Bienvenu
    DBLP profile ↗ORCID search ↗
  5. 5
    Abstraction in Assumption-based Argumentation
    Iosif Apostolakis
    DBLP profile ↗ORCID search ↗
  6. 6
    Action Language mA* with Higher-Order Action Observability
    David Buckingham
    DBLP profile ↗ORCID search ↗
  7. 7
    Action Model Learning with Guarantees
    Diego Aineto
    DBLP profile ↗ORCID search ↗
  8. 8
    Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
    Carsten Lutz
    DBLP profile ↗ORCID search ↗
  9. 9
    Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach
    Andrei Popescu
    DBLP profile ↗ORCID search ↗
  10. 10
    Advancing Interactive Explainable AI via Belief Change Theory
    Antonio Rago
    DBLP profile ↗ORCID 0000-0001-5323-7739 ↗
  11. 11
    Argumentative Causal Discovery
    Fabrizio Russo
    DBLP profile ↗ORCID search ↗
  12. 12
    ASP Chef: Draw and Expand
    Mario Alviano
    DBLP profile ↗ORCID search ↗
  13. 13
    ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
    Leroy Chew
    DBLP profile ↗ORCID search ↗
  14. 14
    ASPEN: ASP-Based System for Collective Entity Resolution
    Zhiliang Xiang
    DBLP profile ↗ORCID search ↗
  15. 15
    Automated Reasoning in Systems Biology: A Necessity for Precision Medicine
    Pedro Zuidberg Dos Martires
    DBLP profile ↗ORCID search ↗
  16. 16
    Axiomatization of Approximate Exclusion
    Matilda Häggblom
    DBLP profile ↗ORCID search ↗
  17. 17
    Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties)
    Nico Potyka
    DBLP profile ↗ORCID search ↗
  18. 18
    Belief Change on Rational Rankings
    Nerio Borges
    DBLP profile ↗ORCID search ↗
  19. 19
    Blending Grounding and Compilation for Efficient ASP Solving
    Carmine Dodaro
    DBLP profile ↗ORCID search ↗
  20. 20
    Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
    Diego Figueira
    DBLP profile ↗ORCID search ↗
  21. 21
    Bridging Max Graph Neural Networks and Datalog with Negation
    David J. Tena Cucala
    DBLP profile ↗ORCID search ↗
  22. 22
    Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs
    Matti Berthold
    DBLP profile ↗ORCID search ↗
  23. 23
    CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks
    Xiang Yin
    DBLP profile ↗ORCID search ↗
  24. 24
    Collective Satisfaction Semantics for Opinion Based Argumentation
    Juliete Rossie
    DBLP profile ↗ORCID search ↗
  25. 25
    Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
    Jan Tóth
    DBLP profile ↗ORCID search ↗
  26. 26
    Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
    Tuomo Lehtonen
    DBLP profile ↗ORCID search ↗
  27. 27
    Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations
    Christoph Beierle
    DBLP profile ↗ORCID search ↗
  28. 28
    Consistent Query Answering over SHACL Constraints
    Shqiponja Ahmetaj
    DBLP profile ↗ORCID search ↗
  29. 29
    Contestable AI Needs Computational Argumentation
    Francesco Leofante
    DBLP profile ↗ORCID search ↗
  30. 30
    Contracted Temporal Equilibrium Logic
    Pedro Cabalar
    DBLP profile ↗ORCID search ↗
  31. 31
    Contractions Based on Optimal Repairs
    Franz Baader
    DBLP profile ↗ORCID search ↗
  32. 32
    Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
    Meghyn Bienvenu
    DBLP profile ↗ORCID search ↗
  33. 33
    Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation
    Gianvincenzo Alfano
    DBLP profile ↗ORCID search ↗
  34. 34
    Deontic Reasoning Based on Inconsistency Measures
    Ofer Arieli
    DBLP profile ↗ORCID search ↗
  35. 35
    Description Logics with Abstraction and Refinement: From ALC to EL
    Carsten Lutz
    DBLP profile ↗ORCID search ↗
  36. 36
    Dialectical Reconciliation via Structured Argumentative Dialogues
    Stylianos Loukas Vasileiou
    DBLP profile ↗ORCID search ↗
  37. 37
    Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
    Yacine Izza
    DBLP profile ↗ORCID search ↗
  38. 38
    dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning
    Renato Lui Geh
    DBLP profile ↗ORCID search ↗
  39. 39
    Equilibrium Description Logics: Results on Complexity and Relations to Circumscription
    Federica Di Stefano
    DBLP profile ↗ORCID search ↗
  40. 40
    Explaining Decisions in ML Models: A Parameterized Complexity Analysis
    Sebastian Ordyniak
    DBLP profile ↗ORCID search ↗
  41. 41
    Explaining Image Classifiers
    Hana Chockler
    DBLP profile ↗ORCID search ↗
  42. 42
    Explaining Reasoning Results for OWL Ontologies with Evee
    Christian Alrabbaa
    DBLP profile ↗ORCID search ↗
  43. 43
    Expressive Power of Definite Descriptions in Modal Logics
    Przemyslaw Andrzej Walega
    DBLP profile ↗ORCID search ↗
  44. 44
    Extending Description Logics with Generic Concepts - the Tale of Two Semantics
    Joshua Hirschbrunn
    DBLP profile ↗ORCID search ↗
  45. 45
    From Acceptance to Rejection in Abstract Argumentation
    Anne-Marie Heine
    DBLP profile ↗ORCID search ↗
  46. 46
    Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning
    Biqing Fang
    DBLP profile ↗ORCID search ↗
  47. 47
    Incentive Design for Rational Agents
    David Hyland
    DBLP profile ↗ORCID search ↗
  48. 48
    Knowledge Base Embeddings: Semantics and Theoretical Properties
    Camille Bourgaux
    DBLP profile ↗ORCID search ↗
  49. 49
    LAD-based Feature Selection for Optimal Decision Trees and Other Classifiers
    David Ing
    DBLP profile ↗ORCID search ↗
  50. 50
    Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
    Irumi Sugimori
    DBLP profile ↗ORCID search ↗