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
2010Understanding Ontological Levels.Claudio Masolo
2010Probabilistic Description Logics for Subjective Uncertainty.Carsten Lutz, Lutz Schrder
2010An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets.Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk
2010A Layered Graph Representation for Complex Regions.Sanjiang Li
2010A Characterization of Optimality Criteria for Decision Making under Complete Ignorance.Ramzi Ben Larbi, Sbastien Konieczny, Pierre Marquis
2010Interpreting Topological Logics over Euclidean Spaces.Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev
2010The Combined Approach to Query Answering in DL-Lite.Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2010Taxonomy of Improvement Operators and the Problem of Minimal Change.Sbastien Konieczny, Mattia Medina Grespan, Ramn Pino Prez
2010Decomposing Description Logic Ontologies.Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter
2010The Temporal Logic of Token Causes.Samantha Kleinberg, Bud Mishra
2010Novel Semantical Approaches to Relational Probabilistic Conditionals.Gabriele Kern-Isberner, Matthias Thimm
2010Independence and Functional Dependence Relations on Secrets.Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp
2010Joint Revision of Beliefs and Intention.Thomas Icard, Eric Pacuit, Yoav Shoham
2010A Correctness Result for Reasoning about One-Dimensional Planning Problems.Yuxiao Hu, Hector J. Levesque
2010From Justifications Towards Proofs for Ontology Engineering.Matthew Horridge, Bijan Parsia
2010I Don't Want to Think About it Now: Decision Theory with Costly Computation.Joseph Y. Halpern
2010From Causal Models To Counterfactual Structures.Joseph Y. Halpern
2010Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering.Hannaneh Hajishirzi, Eyal Amir
2010Ontologies for Dates and Duration.Michael Grninger
2010Pushing the Limits of Reasoning over Ontologies with Hidden Content.Bernardo Cuenca Grau, Boris Motik
2010Status QIO: Conjunctive Query Entailment Is Decidable.Birte Glimm, Sebastian Rudolph
2010Generalized Planning with Loops under Strong Fairness Constraints.Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardia
2010Situation Calculus Based Programs for Representing and Reasoning about Game Structures.Giuseppe De Giacomo, Yves Lesprance, Adrian R. Pearce
2010Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber
2010Finding Explanations of Inconsistency in Multi-Context Systems.Thomas Eiter, Michael Fink, Peter Schller, Antonius Weinzierl
1,0261,050 of 1,758← PreviousNext →

Comparable venues

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