PPaperPicks
← All conferences
Editions202620252024

KR 2025

A*

International Conference on Principles of Knowledge Representation and Reasoning

Official site ↗
97
accepted papers
91
authors
November 11-17, 2025
dates
Australia
location

97 / 97 papers

  1. 1
    A Framework for Inconsistency-tolerant Reasoning with Sets of Models
    Yehia Hatab
    DBLP profile ↗ORCID search ↗
  2. 2
    A Logic-Based Framework for Database Repairs
    Nicolas Fröhlich
    DBLP profile ↗ORCID search ↗
  3. 3
    A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
    Antonio Rago
    DBLP profile ↗ORCID 0000-0001-5323-7739 ↗
  4. 4
    A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
    Damiano Azzolini
    DBLP profile ↗ORCID search ↗
  5. 5
    A Planning Compilation to Reason About Goal Achievement at Planning Time
    Alberto Pozanco
    DBLP profile ↗ORCID search ↗
  6. 6
    A Principle-based Framework for Analyzing Dialogue Game-based Semantics
    Yamil Osvaldo Soto
    DBLP profile ↗ORCID search ↗
  7. 7
    A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation
    Lars Bengel
    DBLP profile ↗ORCID search ↗
  8. 8
    A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
    Meghyn Bienvenu
    DBLP profile ↗ORCID search ↗
  9. 9
    A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
    Robin Jean
    DBLP profile ↗ORCID search ↗
  10. 10
    A Tensor-Based Probabilistic Event Calculus
    Efthimis Tsilionis
    DBLP profile ↗ORCID search ↗
  11. 11
    About the Multi-Head Linear Restricted Chase Termination
    Lukas Gerlach
    DBLP profile ↗ORCID search ↗
  12. 12
    Abstractions of Queries in Ontology-Based Data Access
    Michel Leclère
    DBLP profile ↗ORCID search ↗
  13. 13
    Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria
    Zhiliang Xiang
    DBLP profile ↗ORCID search ↗
  14. 14
    An Analysis of the Role of Syntax in Inductive Inference
    Jesse Heyninck
    DBLP profile ↗ORCID search ↗
  15. 15
    An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
    Jonathan Ben-Naim
    DBLP profile ↗ORCID search ↗
  16. 16
    An Embarrassingly Parallel Model Counter
    Zhenghang Xu
    DBLP profile ↗ORCID search ↗
  17. 17
    An Epistemic Theory of Deductive Arguments
    Emiliano Lorini
    DBLP profile ↗ORCID search ↗
  18. 18
    An Information-Flow Perspective on Explainability Requirements: Specification and Verification
    Bernd Finkbeiner
    DBLP profile ↗ORCID search ↗
  19. 19
    An Intuitionistic Version of Alternating-Time Temporal Logic
    Laura Bozzelli
    DBLP profile ↗ORCID search ↗
  20. 20
    ASP-Driven Visual Commonsense: A General Framework for Reasoning About Embodied Interaction in the Wild
    Jakob Suchan
    DBLP profile ↗ORCID search ↗
  21. 21
    Assessing the Quality of Samplers: A Statistical Distance Framework
    Uddalok Sarkar
    DBLP profile ↗ORCID search ↗
  22. 22
    Automated Planning with Ontologies Under Coherence Update Semantics
    Stefan Borgwardt
    DBLP profile ↗ORCID search ↗
  23. 23
    Automatically Verifying and Repairing General Game Descriptions
    Yifan He
    DBLP profile ↗ORCID search ↗
  24. 24
    Axiomatic Characterisations of Argumentation Semantics
    Leila Amgoud
    DBLP profile ↗ORCID search ↗
  25. 25
    Belief Revision in a Probabilistic Setting
    James P. Delgrande
    DBLP profile ↗ORCID search ↗
  26. 26
    Boolean Nearest Neighbor Language in the Knowledge Compilation Map
    Ondrej Cepek
    DBLP profile ↗ORCID search ↗
  27. 27
    Can LLMs Solve ASP Problems? Insights from a Benchmarking Study
    Lin Ren
    DBLP profile ↗ORCID search ↗
  28. 28
    Categorical Explaining Functors: Ensuring Coherence in Logical Explanations
    Stefano Fioravanti
    DBLP profile ↗ORCID search ↗
  29. 29
    Compactness and Preservation in Logical Argumentation Frameworks
    Ofer Arieli
    DBLP profile ↗ORCID search ↗
  30. 30
    Complexity of Abduction in Łukasiewicz Logic
    Katsumi Inoue
    DBLP profile ↗ORCID search ↗
  31. 31
    Context-Based Belief Revision
    Nicolas Schwind
    DBLP profile ↗ORCID search ↗
  32. 32
    Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
    Masood Feyzbakhsh Rankooh
    DBLP profile ↗ORCID search ↗
  33. 33
    Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation
    Jean-Marie Lagniez
    DBLP profile ↗ORCID search ↗
  34. 34
    Counterfactual Scenarios for Automated Planning
    Nicola Gigante
    DBLP profile ↗ORCID search ↗
  35. 35
    Counting Solutions Under Cardinality Constraints: Structure Counts in Counting
    Max Bannach
    DBLP profile ↗ORCID search ↗
  36. 36
    Depth-Bounded Epistemic Planning
    Thomas Bolander
    DBLP profile ↗ORCID search ↗
  37. 37
    Domain-Independent Instance Generation for Classical Planning
    Claudia Grundke
    DBLP profile ↗ORCID search ↗
  38. 38
    Effective AGM Belief Contraction: A Journey Beyond the Finitary Realm
    Dominik Klumpp
    DBLP profile ↗ORCID search ↗
  39. 39
    Efficient Volume Computation for SMT Formulas
    Arijit Shaw
    DBLP profile ↗ORCID search ↗
  40. 40
    Efficient Volume Computation for SMT Formulas
    Arijit Shaw
    DBLP profile ↗ORCID search ↗
  41. 41
    Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
    Daniel Hausmann
    DBLP profile ↗ORCID search ↗
  42. 42
    Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief Change
    Alexander Hahn
    DBLP profile ↗ORCID search ↗
  43. 43
    Explanations for Unrealizability of Infinite-State Safety Shields
    Andoni Rodríguez
    DBLP profile ↗ORCID search ↗
  44. 44
    Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming
    Olcay Altay-Kern
    DBLP profile ↗ORCID search ↗
  45. 45
    Expressive Description Logics with Rich Yet Affordable Numeric Constraints
    Federica Di Stefano
    DBLP profile ↗ORCID search ↗
  46. 46
    Extending Abstract Argumentation Frameworks with Knowledge Bases
    Gianvincenzo Alfano
    DBLP profile ↗ORCID search ↗
  47. 47
    Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings
    Aleksandar Pavlovic
    DBLP profile ↗ORCID search ↗
  48. 48
    FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
    Alexander Beiser
    DBLP profile ↗ORCID search ↗
  49. 49
    Finite Axiomatizability by Disjunctive Existential Rules
    Marco Calautti
    DBLP profile ↗ORCID search ↗
  50. 50
    Fitting Description Logic Ontologies to ABox and Query Examples
    Maurice Funk
    DBLP profile ↗ORCID search ↗