@techreport{R-89-39,
TITLE = {A Decision Procedure for A Theory of Actions and Plans},
AUTHOR = {Erik Sandewall},
YEAR = {1989},
NUMBER = {R-89-39},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-89-39+abstr},
ABSTRACT = {The paper describes a decision procedure for a preferential (and therefore non-monotonic), temporal logic for reasoning about actions and plans. The procedure can be used for temporal prediction, temporal postdiction, and also for plan generation. The basic method for the procedure is to operate on a working set of partial interpretations, and to gradually strengthen these partial interpretations until they are minimal models for the given axioms.},
IDANR = {LiTH-IDA-R-89-39},
NOTE = {Also published in Z. Ras et al. (eds), Methodologies for Intelligent Systems, 1989}