Formal Methods in Knowledge Representation

Time and Action

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

Nonmonotonic Reasoning I

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

Nonmonotonic Reasoning II

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