@techreport{R-94-14,
PSURL = {/publications/cgi-bin/tr-fetch.pl?r-94-14+ps},
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-94-14+abstr},
ABSTRACT = {We present assessments for a number of previously proposed 
theories of action and change as well as some new ones.
Each assessment identifies a class of scenarios for temporal
reasoning where the theory is guaranteed to obtain the correct
results. For some of the theories we have also obtained
upper-bound results on the range of correct applicability.
The theories and the their validation criteria use a logic
with explicit integer time, and has been generalized to
linear and branching metric time. The assessments show how the
correctness of each theory depends on factors such as whether 
actions are deterministic, whether scenarios involve prediction 
only, or what is the behavior of each type of action within
its execution period. The paper describes equally the
methodology that has been used for obtaining the assessments,
and the assessments themselves.
},
TITLE = {The Range of Applicability of some Nonmonotonic Logics for Strict Inertia},
AUTHOR = {Erik Sandewall},
EMAIL = {erisa@ida.liu.se},
YEAR = {1994},
NUMBER = {R-94-14},
INSTITUTION = ida,
ADDRESS = idaaddr,
IDANR = {LiTH-IDA-R-94-14},
NOTE = {To appear in the Journal of Logic and Computation}