Skip to content

International Conference on the Principles of Knowledge Representation and Reasoning

KR

A*

CORE rank

CORE rank (raw)

A*

Fields of research

Artificial Intelligence · Theory of Computation

Papers indexed

1,758

1989–2026

Papers per year

1989119 peak2026

KR papers

1,758 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2022Automating Reasoning with Standpoint Logic via Nested Sequents.Tim S. Lyon, Luca Gmez lvarez
2022Ontology-Mediated Querying on Databases of Bounded Cliquewidth.Carsten Lutz, Leif Sabellek, Lukas Schulze
2022Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models.Emiliano Lorini, Elise Perrotin, Franois Schwarzentruber
2022Dynamic Deontic Logic for Permitted Announcements.Xu Li, Dov M. Gabbay, Rka Markovich
2022Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism.Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo
2022Online Grounding of Symbolic Planning Domains in Unknown Environments.Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2022The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion.Jonas Karge, Sebastian Rudolph
2022Conservative Extensions for Existential Rules.Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
2022Forecasting Argumentation Frameworks.Benjamin Irwin, Antonio Rago, Francesca Toni
2022Inference with System W Satisfies Syntax Splitting.Jonas Haldimann, Christoph Beierle
2022Finite Entailment of UCRPQs over ALC Ontologies.Vctor Gutirrez-Basulto, Albert Gutowski, Yazmn Ibez-Garca, Filip Murlak
2022A Graph Neural Network Reasoner for Game Description Language.Alvaro Gunawan, Ji Ruan, Xiaowei Huang
2022On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.Nicola Gigante, Andrea Micheli, Enrico Scala
2022Interpolants and Explicit Definitions in Extensions of the Description Logic EL.Marie Fortin, Boris Konev, Frank Wolter
2022Unique Characterisability and Learnability of Temporal Instance Queries.Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022Compound Conditionals as Random Quantities and Boolean Algebras.Tommaso Flaminio, Angelo Gilio, Llus Godo, Giuseppe Sanfilippo
2022Public and Private Affairs in Strategic Reasoning.Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2022Looking Inside the Black-Box: Logic-based Explanations for Neural Networks.Joo Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonalves, Joo Leite
2022ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
2022Rediscovering Argumentation Principles Utilizing Collective Attacks.Wolfgang Dvork, Matthias Knig, Markus Ulbricht, Stefan Woltran
2022Faithful Approaches to Rule Learning.David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik
2022Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing.Jens Claen, James P. Delgrande
2022A General Framework for Modelling Conditional Reasoning - Preliminary Report.Giovanni Casini, Umberto Straccia
2022Normalisations of Existential Rules: Not so Innocuous!David Carral, Lucas Larroque, Marie-Laure Mugnier, Michal Thomazo
2022Revisiting Semiring Provenance for Datalog.Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michal Thomazo
426450 of 1,758← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.