2. KR 1991:
Cambridge, Massachusetts, USA
James F. Allen , Richard Fikes , Erik Sandewall (Eds.):
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991.
Morgan Kaufmann 1991, ISBN 1-55860-165-1
Submitted Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tom Bylander :
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability.
70-77
export record as
dblp key:
Jacqueline Castaing :
A New Formalisation of Subsumption in Frame-Based Representation Systems.
78-88
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Eugene C. Freuder :
Completable Representations of Constraint Satisfaction Problems.
186-195
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Peter Haddawy :
A Temporal Probability Logic for Representing Actions.
313-324
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Karen L. Myers :
Universal Attachment: An Integration Method for Logic Hybrids.
405-416
export record as
dblp key:
Bernhard Nebel :
Belief Revision and Default Reasoning: Syntax-Based Approaches.
417-428
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Torsten Schaub :
Assertional Default Theories: A Semantical View.
496-506
export record as
dblp key:
Paul Schweizer :
A Metalinguistic Treatment of Epistemic Contexts.
507-513
export record as
dblp key:
Jeffrey Van Baalen :
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.
514-525
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Presentations
export record as
dblp key:
Peter Gärdenfors :
Nonmonotonic Inferences Based on Expectations: A Preliminary Report.
585-590
export record as
dblp key:
Charles Rich :
Implemented Knowledge Representation and Reasoning Systems: An Endangered Species?
591-592
Position Papers from the Panel on Knowledge Sharing and Reuse
export record as
dblp key:
William Mark :
Panel: Achieving Large Scale Knowledge Sharing.
595-596
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Thomas R. Gruber :
The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases.
601-602