Lars Karlsson. Causal links planning and the systematic approach to action and change. In Proceedings of the AAAI 96 Workshop on Reasoning about actions, planning and control: bridging the gap, Portland, Oregon, August 1996. AAAI Press. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
PMON+: A Fluent Logic for Action and Change Formal Specification, .. - Doherty (1996) (Correct)
....in this respect; any scenario description in PMON is reducible to a first order theory. In the current report, we continue the development of PMON and show that it continues to have a number of nice mathematical properties even when extended for ramification [8] In related work, Karlsson [10, 11, 13, 12] uses PMON as a basis for formal specification of plans. 2 The Base Logic FL There are a number of different possibilities for choosing a base logic in which to compile scenario descriptions which are described using the scenario description language L(SD) Sandewall uses a specialized logic ....
Lars Karlsson. Causal links planning and the systematic approach to action and change. In Proceedings of the AAAI 96 Workshop on Reasoning about actions, planning and control: bridging the gap, Portland, Oregon, August 1996. AAAI Press.
Temporal Action Logics (TAL): Language Specification.. - Doherty, Gustafsson.. (1998) Self-citation (Karlsson) (Correct)
....uses branching time. ffl Karlsson [18] 1995] In Karlsson s Licentiate Thesis, he considers how to formally characterize different modal truth criteria used in planning algorithms such as TWEAK and NONLIN. The formalization is done using PMON as a basis. Additional publications by Karlsson [19, 21] have extended this work. ffl Doherty [6] 1996] PMON ) This technical report contains a detailed and somewhat pedantic account of both surface and base languages for the first version of TAL. The purpose of the report was to use it as a basis for implementation of specific TAL logics. The ....
L. Karlsson. Causal links planning and the systematic approach to action and change. In Proceedings of the AAAI 96 Workshop on Reasoning about actions, planning and control: bridging the gap, Portland, Oregon, August 1996. AAAI Press.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC