Claßen, J., and G. Lakemeyer,
"A Semantics for ADL as Progression in the Situation Calculus",
Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR 2006), Windermere, United Kingdom, Institut für Informatik, TU Clausthal, pp. 334--341, 06/2006.
Abstract
Download: ClaLak06ADLSemantics.pdf (177.41 KB)
]