Sample sections
Causal minimization.
Overview of causal minimization, history, original proposals, and
assessments.
Experimental HyperManual on Logics for Actions and Change
About this hypermanual project.
How the hypermanual itself is organized, and how the work on
developing it is done.
Historical background
History of logics for actions and change
in artificial intelligence.
Notations used here
Introduction to the notation.
Reference manual for the notation.
Test suites
Test scenarios that have been used by
various authors.
Entailment methods
Entailment methods: definitions, original
authors, assessments.