PPaperPicks
← All conferences
Editions202620252024

KR 2026

A*

International Conference on Principles of Knowledge Representation and Reasoning

Official site ↗
121
accepted papers
351
authors
July 20-23, 2026
dates
Portugal
location

121 / 121 papers

  1. 1
    A Distributed Framework for Compiling and Reasoning with d-DNNF
    Zhenghang Xu
    ,
    Minghao Yin
    ,
    Jianan Wang
    ,
    Jean-Marie Lagniez
  2. 2
    A framework for Counterfactual Explainability in Graph Neural Networks
    Maria Myrto Villia
  3. 3
    A Logic of Limited Belief with Introspection Based on Possible Worlds
    Gerhard Lakemeyer
    ,
    Hector J. Levesque
  4. 4
    A Map-Summarize Framework for Answer Set Verbalization
    Mario Alviano
    ,
    Matteo Capalbo
    ,
    Sebastiano A. Piccolo
  5. 5
    A Normal Form for Rules Containing Arithmetic Operations
    Jorge Fandinno
    ,
    Yuliya Lierler
    ,
    Vladimir Lifschitz
  6. 6
    A Probabilistic Framework for Hierarchical Goal Recognition
    Chenyuan Zhang
    ,
    Katherine Ip
    ,
    Hamid Rezatofighi
    ,
    Buser Say
    ,
    Mor Vered
  7. 7
    A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
    Gilles Audemard
    ,
    Sylvie Coste-Marquis
    ,
    Pierre Marquis
    ,
    Mehdi Sabiri
    ,
    Nicolas Szczepanski
  8. 8
    A Simple Baseline for Inductive Knowledge Base Completion
    Christian Meilicke
    ,
    Rainer Gemulla
    ,
    Julie Naegelen
    ,
    Heiner Stuckenschmidt
  9. 9
    A Study of Belief Revision Postulates in Multi-Agent Systems
    Michael Thielscher
    ,
    Tran Cao Son
  10. 10
    ABD: Default-Exception Abduction in Finite First-Order Worlds
    Serafim Batzoglou
  11. 11
    ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
    Anselm Haak
    ,
    Patrick Koopmann
    ,
    Yasir Mahmood
    ,
    Anni-Yasmin Turhan
  12. 12
    AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications
    Matías Brizzio
    ,
    Andoni Rodríguez
    ,
    César Sánchez
    ,
    Renzo Degiovanni
  13. 13
    ALM-ASP: A Functional Agentic Architecture for Answer Set Programming
    Luis Angel Rodriguez Reiners
    ,
    Alice Tarzariol
    ,
    Mario Alviano
    ,
    Manuel A. Borroto Santana
    ,
    Konstantin Schekotihin
  14. 14
    Almost Certain Query Answering over Incomplete Relational and Graph Data
    Heng Liu
    ,
    Leonid Libkin
    ,
    Eugenia Ternovska
  15. 15
    Argumentation for Explainable and Globally Contestable Decision Support with LLMs
    Adam Dejl
    ,
    Matthew Williams
    ,
    Francesca Toni
  16. 16
    ASP Encodings for the Multi Batching Problem in Logistics Networks
    Racquel Dennison
  17. 17
    BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
    Samuel Pastva
    ,
    Van-Giang Trinh
  18. 18
    Belief Function Propagation in Quantitative Bipolar Argumentation Frameworks
    Jordan Thieyre
    ,
    Aurélie Beynier
    ,
    Sébastien Destercke
    ,
    Nicolas Maudet
    ,
    Srdjan Vesic
  19. 19
    Beyond Consistency: A Closer Look at Free Formulas
    Ofer Arieli
    ,
    Badran Raddaoui
    ,
    Christian Straßer
  20. 20
    Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before
    Matthias Knorr
    ,
    Zeynep G. Saribatur
    ,
    Ricardo Gonçalves
  21. 21
    BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
    Bruno F. Lourenço
    ,
    Hesham Morgan
    ,
    Ana Ozaki
    ,
    Aleksandar Pavlovic
    ,
    Emanuel Sallinger
  22. 22
    But Not Because You Said So! Implicitly Accepting Information with Abductive Belief-Base Change
    Moritz Bayerkuhnlein
    ,
    Özgür Lütfü Özçep
    ,
    Diedrich Wolter
  23. 23
    Causal Discovery as Dialectical Aggregation: A Quantitative Argumentation Framework
    Sheng Wei
    ,
    Yulin Chen
    ,
    Beishui Liao
  24. 24
    Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
    Leif Eriksson
    ,
    Victor Lagerkvist
    ,
    Sebastian Ordyniak
    ,
    George Osipov
    ,
    Fahad Panolan
    ,
    Mateusz Rychlicki
  25. 25
    Common Foundations for Recursive Shape Languages
    Shqiponja Ahmetaj
    ,
    Iovka Boneva
    ,
    Jan Hidders
    ,
    Maxime Jakubowski
    ,
    José Emilio Labra Gayo
    ,
    Wim Martens
    ,
    Fabio Mogavero
    ,
    Filip Murlak
    ,
    Cem Okulmus
    ,
    Ognjen Savkovic
    ,
    Mantas Simkus
    ,
    Dominik Tomaszuk
  26. 26
    Compiling Defeasible Inference: A Dynamic Approach To System Z
    Luke Slater
    ,
    Thomas Meyer
    ,
    Jesse Heyninck
  27. 27
    Complexity of Logics with Semiring Semantics
    Timon Barlag
    ,
    Nicolas Fröhlich
    ,
    Teemu Hankala
    ,
    Miika Hannula
    ,
    Minna Hirvonen
    ,
    Vivian Holzapfel
    ,
    Juha Kontinen
    ,
    Arne Meier
    ,
    Laura Strieker
  28. 28
    Computational Complexity in Timed Argumentation Frameworks
    Jean-Guy Mailly
    ,
    Frédéric Maris
    ,
    Johannes P. Wallner
  29. 29
    Computing Extensions of Abstract Argumentation Frameworks by Enumerating Closed Sets
    Sergei Obiedkov
    ,
    Baris Sertkaya
  30. 30
    Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
    Akihiro Takemura
    ,
    Katsumi Inoue
    ,
    Masaaki Nishino
  31. 31
    Contestability in Edge-Weighted Quantitative Bipolar Argumentation Frameworks
    Xiang Yin
    ,
    Nico Potyka
    ,
    Antonio Rago
    ,
    Timotheus Kampik
    ,
    Francesca Toni
  32. 32
    Cops Only Need Factual Knowledge to Catch Robbers
    Dazhu Li
    ,
    Sujata Ghosh
  33. 33
    Counting Complexity of ASP
    Max Bannach
    ,
    Johannes Klaus Fichte
    ,
    Johanna Groven
    ,
    Markus Hecher
  34. 34
    DeepEL: Deep Learning and Formal Description Logic Reasoning
    Alessandro Longato
    ,
    Ignacio Huitzil
    ,
    Rafael Peñaloza
  35. 35
    Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics
    Xavier Parent
  36. 36
    Do Transformers Learn What Theory Predicts? Knowledge Representation-Guided Mechanistic Verification via Causal Abstraction
    Chang Lu
    ,
    Renate A. Schmidt
    ,
    Yizheng Zhao
  37. 37
    Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
    Uriya Bartal
    ,
    Dror Fried
    ,
    Jean-Marie Lagniez
  38. 38
    Efficient Temporal Datalog Materialisation for Composite Event Recognition
    Periklis Mantenoglou
  39. 39
    Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog
    Mathijs van Noort
    ,
    Przemyslaw Andrzej Walega
  40. 40
    Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships
    Jonathan Ben-Naim
    ,
    Victor David
    ,
    Anthony Hunter
  41. 41
    Evaluating LLM-Driven Summarisation of Parliamentary Debates with Computational Argumentation
    Eoghan Cunningham
    ,
    James P. Cross
    ,
    Derek Greene
    ,
    Antonio Rago
  42. 42
    Explaining Classification Through Global Sufficient Reasons and its Complexity
    Marco Calautti
    ,
    Enrico Malizia
    ,
    Cristian Molinaro
  43. 43
    Expressiveness of Epistemic Spaces for Iterated Belief Change Operators
    Nicolas Schwind
    ,
    Sébastien Konieczny
    ,
    Ramón Pino Pérez
  44. 44
    Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement
    Stylianos Loukas Vasileiou
    ,
    Minh Nguyen
    ,
    Tran Cao Son
    ,
    Huiping Cao
    ,
    Enrico Pontelli
  45. 45
    Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games
    Ari Conati
    ,
    Andreas Niskanen
    ,
    Ronald de Haan
    ,
    Matti Järvisalo
  46. 46
    Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
    Marvin Grosser
    ,
    Carsten Lutz
  47. 47
    From Next Token Prediction to (STRIPS) World Models
    Carlos Núñez-Molina
    ,
    Vicenç Gómez
    ,
    Hector Geffner
  48. 48
    From Tensor Networks to Tractable Circuits, and Back
    Arend-Jan Quist
    ,
    Marc Farreras Bartra
    ,
    Alexis de Colnet
    ,
    John van de Wetering
    ,
    Alfons Laarman
  49. 49
    Generalization in Reinforcement Learning from Logical Specifications
    Vignesh Subramanian
  50. 50
    Generating Explainable Counterfactual Policies through Temporal Logic Queries
    Arnaud Lequen
    ,
    Clément Legrand-Lixon
    ,
    Léo Saulières