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
1998Encoding Planning Constraints into Partial Order Planners.Marco Baioletti, Stefano Marcugini, Alfredo Milani
1998Modeling an Agent's Incomplete Knowledge During Planning and During Execution.Fahiem Bacchus, Ronald P. A. Petrick
1998Pointwise Circumscription Revisited.Eyal Amir
1998Dynamic Logic Programming.Jos Jlio Alferes, Joo Alexandre Leite, Lus Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1996Towards a Practical Approach to Belief Revision: Reason-Based Change.Mary-Anne Williams
1996Psychological Constraints on Plausible Default Inheritance Reasoning.Carl Vogel, Judith Tonhauser
1996Causality and the Qualification Problem.Michael Thielscher
1996On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents.Moshe Tennenholtz
1996Computing Approximate Diagnoses By Using Approximate Entailment.Annette ten Teije, Frank van Harmelen
1996Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods.Yury V. Smirnov, Manuela M. Veloso
1996Actual Possibilities.Aaron Sloman
1996A Representation Theorem for Preferential Logics.Pierre Siegel, Lionel Forget
1996Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context).Nirad Sharma
1996Implementations and Research: Discussions at the Boundary.Stuart C. Shapiro
1996Implementations and Research: Discussions at the Boundary.Lenhart K. Schubert
1996Assessments of Ramification Methods that Use Static Domain Constraints.Erik Sandewall
1996DLMS: An Evaluation of KL-ONE in the Automobile Industry.Nestor Rychtyckyj
1996Natural Actions, Concurrency and Continuous Time in the Situation Calculus.Raymond Reiter
1996Strategic Advice for Hierarchical Planners.Karen L. Myers
1996Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network.Leora Morgenstern
1996Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report.Ana Mara Monteiro, Jacques Wainer
1996Reasoning about Discontinuities in the Event Calculus.Rob Miller, Murray Shanahan
1996From Here to Human-Level AI.John McCarthy
1996Ontologies: What Are They, and Where's The Research?William S. Mark
1996Implementations and Research: Discussions at the Boundary.Robert M. MacGregor
1,4511,475 of 1,758← PreviousNext →

Comparable venues

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