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
1996Scaling Up Goal Recognition.Neal Lesh, Oren Etzioni
1996Multiple Perspective Reasoning.Tze-Yun Leong
1996Semantical Foundations of Spatial Logics.Oliver Lemon
1996Parallel Transitive Reasoning in Mixed Relational Hierarchies.Yugyung Lee, James Geller
1996Only Knowing in the Situation Calculus.Gerhard Lakemeyer
1996Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem.Todd G. Kelley
1996Encoding Plans in Propositional Logic.Henry A. Kautz, David A. McAllester, Bart Selman
1996On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning.Subbarao Kambhampati, Xiuping Yang
1996Procedural Reasoning in Constraint Satisfaction.Ari K. Jnsson, Matthew L. Ginsberg
1996Tractable Subclasses of the Point-Interval Algebra: A Complete Classification.Peter Jonsson, Thomas Drakengren, Christer Bckstrm
1996Representation Independence of Nonmonotonic Inference Relations.Manfred Jaeger
1996The PMA Revisited.Andreas Herzig
1996Implementations and Research: Discussions at the Boundary.James A. Hendler
1996Embracing Occlusion in Specifying the Indirect Effects of Actions.Joakim Gustafsson, Patrick Doherty
1996Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract).Georg Gottlob
1996Representing Sensing Actions: The Middle Ground Revisited.Keith Golden, Daniel S. Weld
1996A SAT-based Decision Procedure for ALC.Fausto Giunchiglia, Roberto Sebastiani
1996Determining Ramifications in the Situation Calculus.Enrico Giunchiglia
1996Do Computers Need Common Sense?Matthew L. Ginsberg
1996A New Algorithm for Generative Planning.Matthew L. Ginsberg
1996TBox and ABox Reasoning in Expressive Description Logics.Giuseppe De Giacomo, Maurizio Lenzerini
1996Moving a Robot: The KR&R Approach at Work.Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1996On Chronicles: Representation, On-line Recognition and Learning.Malik Ghallab
1996Belief Revision: A Critique.Nir Friedman, Joseph Y. Halpern
1996Ontologies: What Are They, and Where's The Research?Richard Fikes
1,4761,500 of 1,758← PreviousNext →

Comparable venues

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