Knowledge-Based Systems Workshop: Proceedings of a Workshop Held in St. Louis, Missouri on April 21-23, 1987
Lee S. Baumann · 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.