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
Most published authors
KR papers
1,758 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2024 | Knowledge Base Embeddings: Semantics and Theoretical Properties. | Camille Bourgaux, Ricardo Guimares, Raoul Koudijs, Victor Lacerda, Ana Ozaki |
| 2024 | Belief Change on Rational Rankings. | Nerio Borges, Sbastien Konieczny, Ramn Pino Prez, Nicolas Schwind |
| 2024 | Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs. | Piero Andrea Bonatti, Francesco Magliocca, Luigi Sauro |
| 2024 | Weak Admissibility for ABA via Abstract Set-Attacks. | Lydia Blmel, Matthias Knig, Markus Ulbricht |
| 2024 | Abductive Reasoning in a Paraconsistent Framework. | Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko |
| 2024 | Shapley Value Computation in Ontology-Mediated Query Answering. | Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade |
| 2024 | Queries With Exact Truth Values in Paraconsistent Description Logics. | Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko |
| 2024 | Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases. | Meghyn Bienvenu, Camille Bourgaux, Robin Jean |
| 2024 | Capturing Non-flat Assumption-based Argumentation with Bipolar SETAFs. | Matti Berthold, Anna Rapberger, Markus Ulbricht |
| 2024 | Monotone Rewritability and the Analysis of Queries, Views, and Rules. | Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja |
| 2024 | Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. | Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner |
| 2024 | Planning Domain Model Acquisition from State Traces without Action Parameters. | Toms Balyo, Martin Suda, Luks Chrpa, Dominik Safrnek, Stephan Gocht, Filip Dvork, Roman Bartk, G. Michael Youngblood |
| 2024 | Contractions Based on Optimal Repairs. | Franz Baader, Renata Wassermann |
| 2024 | Non-Rigid Designators in Modal and Temporal Free Description Logics. | Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter |
| 2024 | Deontic Reasoning Based on Inconsistency Measures. | Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straer |
| 2024 | A Uniform Language to Explain Decision Trees. | Marcelo Arenas, Pablo Barcel, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux |
| 2024 | Abstraction in Assumption-based Argumentation. | Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner |
| 2024 | Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2024 | Probabilistic Synthesis and Verification for LTL on Finite Traces. | Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger |
| 2024 | ASP Chef: Draw and Expand. | Mario Alviano, Luis Angel Rodriguez Reiners |
| 2024 | Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities. | Luca Gmez lvarez, Sebastian Rudolph |
| 2024 | Explaining Reasoning Results for OWL Ontologies with Evee. | Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krger, Alexej Popovic, Ida S. R. Siahaan |
| 2024 | Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. | Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
| 2024 | Action Model Learning with Guarantees. | Diego Aineto, Enrico Scala |
| 2024 | Consistent Query Answering over SHACL Constraints. | Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler |
276–300 of 1,758← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*AAAINational Conference of the American Association for Artificial Intelligence
- A*ICRAIEEE International Conference on Robotics and Automation
- AInterspeechInterspeech (combined EuroSpeech and ICSLP in 2000)
- AIROSIEEE/RSJ International Conference on Intelligent Robots and Systems
- A*ACLAssociation for Computational Linguistics
- A*IJCAIInternational Joint Conference on Artificial Intelligence
- A*EMNLPEmpirical Methods in Natural Language Processing
- AGECCOGenetic and Evolutionary Computations