Knowledge-Based Systems Workshop: Proceedings of a Workshop Held in St. Louis, Missouri on April 21-23, 1987
Abstract
Contents: Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults; Module-Oriented Programming in ABE: Modules and Abstract Datatypes; Annual Report of the Experimental Knowledge Systems Laboratory; On Making Expert Systems More Like Experts; The Loom Knowledge Representation Language; A Framework for Situation Assessment: Using Best-Explanation Reasoning to Infer Plans from Behavior; Concurrency in Abductive Reasoning; an Experiment in Knowledge-Based Signal Understanding Using Parallel Architectures; An Instrumented Architectural Simulation System; Considerations for Multiprocessor Topologies; RUM: A Layered Architecture for Reasoning with Uncertainty; Progress in Reasoning with Incomplete and Uncertain Information Part I: Reasoning with Uncertainty ; Part II: Analogical Reasoning; Part III: Reasoning with Incomplete Information; An Algebraic Foundation for Truth Maintenance; Logics of Justified Belief; Using T-norm Based Uncertainty Calculi in a Naval Situation Assessment Application; A role for Assumption Based and Nonmonotonic; Justifications in Automating Strategic Threat Analysis, and A Mathematical Theory for Diagnosis Based on the MONAD Concept.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 1987
- Accession Number
- ADA183430
Entities
People
- Lee S. Baumann
Organizations
- Leidos