Using the Features and Fluents Framework . The thesis was defended on February 17, 1995. An earlier and shorter version of the thesis contents, without the SNLP reconstruction, was published as a departmental report, Specification and Synthesis of Plans Using the Features and Fluents Framework . This heading will list research in our group using alternative approaches. Pavlos Peppas, who has visited from Macquarie University, Australia during three months, has completed a departmental report with the title Epistemic Entrenchment and the Possible Models Approach .
Comments are welcome.
This is a link to the above html address, but it is not operational at present. F. Lin and R. Reiter. Embracing causality in specifying the indirect theories of actions. Submitted to ILPS'95. A semantics for cut in the situation calculus.