Formal Methods in Knowledge Representation

Time and Action

A Logic of Situated Know-How
Munindar P. Singh
PDF
Provably Correct Theories of Action (Preliminary Report)
Fangzhen Lin, Yoav Shoham
PDF
A Critique of Yoav Shoham’s Theory of Causal Reasoning
Antony Galton
PDF
A Logic and Time Nets for Probabilistic Inference
Keiji Kanazawa
PDF

Nonmonotonic Reasoning I

Default Logic, Propositional Logic, and Constraints
Rachel Ben-Eliyahu, Rina Dechter
PDF
Some Variations on Default Logic
Piotr Rychlik
PDF
Strong Introspection
Michael Gelfond
PDF
The P-Systems: A Systematic Classification of Logics of Nonmonotonicity
Wolfgang Nejdl
PDF

Nonmonotonic Reasoning II

Default Reasoning From Statistics
Fahiem Bacchus
PDF
Incorporating Nonmonotonic Reasoning in Horn Clause Theories
James P. Delgrande
PDF
Step-Logic and the Three-Wise-Men Problem
Jennifer J. Elgot-Drapkin
PDF
System-Z+: A Formalism for Reasoning with Variable-Strength Defaults
Moisés Goldszmidt, Judea Pearl
PDF