Common Sense Reasoning
Nonstandard Logics
Inheritance
A Deductive Pattern Matcher
PDFA Model and Representation for Type Information and Its Use in Reasoning with Defaults
PDFTractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics
PDFMixing Strict and Defeasible Inheritance
PDFNonmonotonlc Inheritance and Generic Reflexives
PDFBeyond ISA: Structures for Plausible Inference in Semantic Networks
PDF
Qualitative Reasoning
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning
PDFA Qualitative Approach to Mechanical Constraint
PDFGlobal Filters for Qualitative Behaviors
PDFGenerating Global Behaviors Using Deep Knowledge of Local Dynamics
PDFExaggeration
PDFQualitative Reasoning at Multiple Resolutions
PDFSetting up Large-Scale Qualitative Models
PDFFormal Basis for Common Sense Abstraction of Dynamic Systems
PDFCausal Ordering in a Mixed Structure
PDFControlling Qualitative Resolution
PDFNon-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation
PDFUsing Incomplete Quantitative Knowledge in Qualitative Reasoning
PDF
Design
Diagnosis
Knowledge Representation
Nonmonotonlc Logic
Some Computational Aspects of Circumscription
PDFA Circumscriptive Theorem Prover: Preliminary Report
PDFHierarchic Autoepistemic Theories for Nonmonotonic Reasoning
PDFOn the Relationship Between Logic Programming and Nonmonotonlc Reasoning
PDFOn the Logic of Defaults
PDFCompiling Circumscriptive Theories into Logic Programs: Preliminary Report
PDFOn Reducing Parallel Circumscription
PDF
Temporal Reasoning
The Persistence of Derived Information
PDFRepresenting and Computing Temporally Scoped Beliefs
PDFStable Closures, Defeasible Logic, and Contradiction Tolerant Reasoning
PDFSatisfying First-Order Constraints about Time Intervals
PDFWhy Things Go Wrong: A Formal Theory of Causal Reasoning
PDFProbabilistic Temporal Reasoning
PDF