Knowledge Representation

Building and Modifying Knowledge Bases

Building Concept Representations from Reusable Components
Peter Clark, Bruce Porter
369
PDF
A Script-Based Approach to Modifying Knowledge Bases
Yolanda Gil, Marcelo Tallis
377
PDF

Description Logics

Representing Sequences in Description Logics
Haym Hirsh, Daniel Kudenko
384
PDF
P-classIC: A Tractable Probablistic Description Logic
Daphne Koller, Alon Levy, Avi Pfeffer
390
PDF

Knowledge Representation for Automated Reasoning

A Reflective Proof System for Reasoning in Contexts
Pierre E. Bonzon
398
PDF
Obvious Properties of Computer Programs
Robert Givan
404
PDF

Knowledge Representation: Expert Systems

Detecting Redundant Production Rules
James G. Schmolze, Wayne Snyder
417
PDF
Applications of Rule-Base Coverage Measures to Expert System Evaluation
Valerie Barr
411
PDF

Knowledge Representation: Nonmonotonic Logic

A Comparison of Two Approaches to Splitting Default Theories
Grigoris Antoniou
424
PDF
Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity
Riccardo Rosati
430
PDF

Knowledge Representation: Ontologies

Tools for Assembling Modular Ontologies in Ontolingua
Richard Fikes, Adam Farquhar, James Rice
436
PDF
Efficient Management of Very Large Ontologies
Kilian Stoffel, Merwyn Taylor, Jim Hendler
442
PDF

Knowledge Representation: Reasoning about Action

Beyond Minimizing Change
Tom Costello
448
PDF
Adding Knowledge to the Action Description Language A
Jorge Lobo, Gisela Mendez, Stuart R. Taylor
454
PDF
Causal Theories of Action and Change
Norman McCain, Hudson Turner
460
PDF
Qualified Ramifications
Michael Thielscher
466
PDF

Knowledge Representation: Theorem Proving

Ordered Semantic Hyper Linking
David A. Plaisted, Yunshan Zhu
472
PDF
Extending the Regular Restriction of Resolution to Non-Linear Subdeductions
Bruce Spencer, J. D. Horton
478
PDF