Deterministic Modal Logics for Automated Deduction. Based on Vaguely Defined Predicates. Redefining the Candidate Space in Model-Based Diagnosis. Graded Default Theories for Uncertainty. An Abstract Framework and its Applications.
Skeptical Inheritance Can Be More Expressive.
A Model for the Automatic Processing of Argumentative Dialogues. Sentence Processing as Constraint Transformation. Subsumption Algorithms for Concept Description Languages. Hypotheses Generation for Knowledge Validation. A Theoretical Analysis of Recurrence Goals.