A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
IFIP Advances in Information and Communication Technology
The dynamic description logic DDL provides a kind of action theories based on description logics (DLs). Compared with another important DL-based action formalism constructed by Baader et.al., a shortcoming of DDL is the absence of occlusions and conditional postconditions in the description of atomic actions. In this paper, we extend atomic action definitions of DDL to overcome this limitation. Firstly, we introduce extended atomic action definitions in which the occlusions and conditionaldoi:10.1007/978-3-642-16327-2_9 fatcat:j25hi3f7bfaupa7xe6usw2xlfe