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
1998How (Not) To Minimize Events.Michael Thielscher
1998Logic Based Modelling of Goal-Directed Behavior.Erik Sandewall
1998A Planning Algorithm not based on Directional Search.Jussi Rintanen
1998A Canonical Model of the Region Connection Calculus.Jochen Renz
1998Sequential, Temporal GOLOG.Raymond Reiter
1998Concurrent Actions and Interacting Effects.Javier Pinto
1998Reformulating Temporal Plans for Efficient Execution.Nicola Muscettola, Paul H. Morris, Ioannis Tsamardinos
1998A Qualitative Theory of Motion Based on Spatio-Temporal Primitives.Philippe Muller
1998How to Tailor Representations to Different Requirements.Katharina Morik
1998Explanatory Diagnosis: Conjecturing Actions to Explain Observations.Sheila A. McIlraith
1998Combining Narratives.John McCarthy, Tom Costello
1998Satisfiability planning with Causal Theories.Norman McCain, Hudson Turner
1998A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning.Inderjeet Mani
1998Probabilistic Deduction with Conditional Constraints over Basic Events.Thomas Lukasiewicz
1998On Measuring Plan Quality (A Preliminary Report).Fangzhen Lin
1998Situation Calculus and Causal Logic.Vladimir Lifschitz
1998On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.Paolo Liberatore
1998What Robots Can Do.Hector J. Levesque
1998A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases.Hector J. Levesque
1998Description Logics and their Applications.Maurizio Lenzerini
1998Complexity Results for Independence and Definability in Propositional Logic.Jrme Lang, Pierre Marquis
1998AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.Gerhard Lakemeyer, Hector J. Levesque
1998Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata.Ralf Ksters
1998On the Logic of Merging.Sbastien Konieczny, Ramn Pino Prez
1998Anything Can Happen: On Narratives and Hypothetical Reasoning.Lars Karlsson
1,4011,425 of 1,758← PreviousNext →

Comparable venues

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