1
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... and Causation -- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem -- Reasoning...