PPaperPicks
← All conferences
Editions202620252024

KR 2025

A*

International Conference on Principles of Knowledge Representation and Reasoning

Official site ↗
97
accepted papers
255
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
    ,
    Kai Sauerwald
    ,
    Matthias Thimm
  2. 2
    A Logic-Based Framework for Database Repairs
    Nicolas Fröhlich
    ,
    Arne Meier
    ,
    Nina Pardal
    ,
    Jonni Virtema
  3. 3
    A Methodology for Incompleteness-Tolerant and Modular Gradual Semantics for Argumentative Statement Graphs
    Antonio Rago
    ,
    Stylianos Loukas Vasileiou
    ,
    Son Tran
    ,
    Francesca Toni
    ,
    William Yeoh
  4. 4
    A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
    Damiano Azzolini
    ,
    Giuseppe Mazzotta
    ,
    Francesco Ricca
    ,
    Fabrizio Riguzzi
  5. 5
    A Planning Compilation to Reason About Goal Achievement at Planning Time
    Alberto Pozanco
    ,
    Marianela Morales
    ,
    Daniel Borrajo
    ,
    Manuela Veloso
  6. 6
    A Principle-based Framework for Analyzing Dialogue Game-based Semantics
    Yamil Osvaldo Soto
    ,
    Andrea Cohen
    ,
    Cristhian Ariel David Deagustini
    ,
    Maria Vanina Martinez
    ,
    Gerardo I. Simari
  7. 7
    A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation
    Lars Bengel
    ,
    Julian Sander
    ,
    Matthias Thimm
  8. 8
    A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
    Meghyn Bienvenu
    ,
    Camille Bourgaux
    ,
    Katsumi Inoue
    ,
    Robin Jean
  9. 9
    A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
    Robin Jean
  10. 10
    A Tensor-Based Probabilistic Event Calculus
    Efthimis Tsilionis
    ,
    Alexander Artikis
    ,
    Georgios Paliouras
  11. 11
    About the Multi-Head Linear Restricted Chase Termination
    Lukas Gerlach
    ,
    Lucas Larroque
    ,
    Jerzy Marcinkowski
    ,
    Piotr Ostropolski-Nalewaja
  12. 12
    Abstractions of Queries in Ontology-Based Data Access
    Michel Leclère
    ,
    Marie-Laure Mugnier
    ,
    Guillaume Pérution-Kihli
  13. 13
    Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria
    Zhiliang Xiang
    ,
    Meghyn Bienvenu
    ,
    Gianluca Cima
    ,
    Víctor Gutiérrez-Basulto
    ,
    Yazmín Ibáñez-García
  14. 14
    An Analysis of the Role of Syntax in Inductive Inference
    Jesse Heyninck
    ,
    Richard Booth
    ,
    Thomas Meyer
    ,
    Lars-Phillip Spiegel
  15. 15
    An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
    Jonathan Ben-Naim
    ,
    Victor David
    ,
    Anthony Hunter
  16. 16
    An Embarrassingly Parallel Model Counter
    Zhenghang Xu
    ,
    Minghao Yin
    ,
    Jean-Marie Lagniez
  17. 17
    An Epistemic Theory of Deductive Arguments
    Emiliano Lorini
  18. 18
    An Information-Flow Perspective on Explainability Requirements: Specification and Verification
    Bernd Finkbeiner
    ,
    Hadar Frenkel
    ,
    Julian Siber
  19. 19
    An Intuitionistic Version of Alternating-Time Temporal Logic
    Laura Bozzelli
    ,
    Andrea Capone
    ,
    Davide Catta
    ,
    Aniello Murano
  20. 20
    ASP-Driven Visual Commonsense: A General Framework for Reasoning About Embodied Interaction in the Wild
    Jakob Suchan
    ,
    Mehul Bhatt
    ,
    Julius Monsen
  21. 21
    Assessing the Quality of Samplers: A Statistical Distance Framework
    Uddalok Sarkar
  22. 22
    Automated Planning with Ontologies Under Coherence Update Semantics
    Stefan Borgwardt
    ,
    Duy Nhu
    ,
    Gabriele Röger
  23. 23
    Automatically Verifying and Repairing General Game Descriptions
    Yifan He
  24. 24
    Axiomatic Characterisations of Argumentation Semantics
    Leila Amgoud
  25. 25
    Belief Revision in a Probabilistic Setting
    James P. Delgrande
    ,
    Gerhard Lakemeyer
    ,
    Maurice Pagnucco
    ,
    Joshua Sack
  26. 26
    Boolean Nearest Neighbor Language in the Knowledge Compilation Map
    Ondrej Cepek
    ,
    Jelena Glisic
  27. 27
    Can LLMs Solve ASP Problems? Insights from a Benchmarking Study
    Lin Ren
    ,
    Guohui Xiao
    ,
    Guilin Qi
    ,
    Yishuai Geng
    ,
    Haohan Xue
  28. 28
    Categorical Explaining Functors: Ensuring Coherence in Logical Explanations
    Stefano Fioravanti
    ,
    Francesco Giannini
    ,
    Pietro Barbiero
    ,
    Paolo Frazzetto
    ,
    Roberto Confalonieri
    ,
    Fabio Zanasi
    ,
    Nicolò Navarin
  29. 29
    Compactness and Preservation in Logical Argumentation Frameworks
    Ofer Arieli
    ,
    Christian Straßer
  30. 30
    Complexity of Abduction in Łukasiewicz Logic
    Katsumi Inoue
    ,
    Daniil Kozhemiachenko
  31. 31
    Context-Based Belief Revision
    Nicolas Schwind
  32. 32
    Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
    Masood Feyzbakhsh Rankooh
    ,
    Andreas Niskanen
    ,
    Matti Järvisalo
  33. 33
    Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation
    Jean-Marie Lagniez
    ,
    Emmanuel Lonca
    ,
    Jean-Guy Mailly
  34. 34
    Counterfactual Scenarios for Automated Planning
    Nicola Gigante
    ,
    Francesco Leofante
    ,
    Andrea Micheli
  35. 35
    Counting Solutions Under Cardinality Constraints: Structure Counts in Counting
    Max Bannach
    ,
    Markus Hecher
  36. 36
    Depth-Bounded Epistemic Planning
    Thomas Bolander
    ,
    Alessandro Burigana
    ,
    Marco Montali
  37. 37
    Domain-Independent Instance Generation for Classical Planning
    Claudia Grundke
    ,
    Malte Helmert
    ,
    Gabriele Röger
  38. 38
    Effective AGM Belief Contraction: A Journey Beyond the Finitary Realm
    Dominik Klumpp
    ,
    Jandson S. Ribeiro
  39. 39
    Efficient Volume Computation for SMT Formulas
    Arijit Shaw
  40. 40
    Efficient Volume Computation for SMT Formulas
    Arijit Shaw
    ,
    Uddalok Sarkar
    ,
    Kuldeep S. Meel
  41. 41
    Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
    Daniel Hausmann
    ,
    Shufang Zhu
    ,
    Gianmarco Parretti
    ,
    Christoph Weinhuber
    ,
    Giuseppe De Giacomo
    ,
    Nir Piterman
  42. 42
    Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief Change
    Alexander Hahn
  43. 43
    Explanations for Unrealizability of Infinite-State Safety Shields
    Andoni Rodríguez
    ,
    Irfansha Shaik
    ,
    Davide Corsi
    ,
    Roy Fox
    ,
    César Sánchez
  44. 44
    Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming
    Olcay Altay-Kern
    ,
    Emmanuelle Dietz
    ,
    Isabelle Kuhlmann
    ,
    Matthias Thimm
  45. 45
    Expressive Description Logics with Rich Yet Affordable Numeric Constraints
    Federica Di Stefano
    ,
    Sanja Lukumbuzya
    ,
    Magdalena Ortiz
    ,
    Mantas Simkus
  46. 46
    Extending Abstract Argumentation Frameworks with Knowledge Bases
    Gianvincenzo Alfano
    ,
    Sergio Greco
    ,
    Cristian Molinaro
    ,
    Francesco Parisi
    ,
    Irina Trubitsyna
  47. 47
    Faithful Differentiable Reasoning with Reshuffled Region-based Embeddings
    Aleksandar Pavlovic
    ,
    Emanuel Sallinger
    ,
    Steven Schockaert
  48. 48
    FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
    Alexander Beiser
    ,
    Martin Gebser
    ,
    Markus Hecher
    ,
    Stefan Woltran
  49. 49
    Finite Axiomatizability by Disjunctive Existential Rules
    Marco Calautti
    ,
    Marco Console
    ,
    Andreas Pieris
  50. 50
    Fitting Description Logic Ontologies to ABox and Query Examples
    Maurice Funk
    ,
    Marvin Grosser
    ,
    Carsten Lutz