Knowledge in action: logical foundations for describingand implementing dynamical systems, 2001. ,
Non-terminating processes in the situation calculus, Proceedings of the AAAI'97 Workshop on Robots, Softwoods, Immobots: Theories of Action, Planning and Control, 1997. ,
A Logic for non-terminating Golog programs, Proceedings KR 2008, pp.589-599, 2008. ,
Verifying properties of infinite sequences of description logic actions, Proceedings of ECAI'10, 2010. ,
LTL over description logic axioms, Proceedings of KR 2008, pp.684-694, 2008. ,
DOI : 10.1145/2287718.2287721
Integrating description logics and action formalisms: First results, Proceedings AAAI'05, 2005. ,
A Family of Dynamic Description Logics for Representing and Reasoning About Actions, Journal of Automated Reasoning, vol.2, issue.1, pp.19-70, 2012. ,
DOI : 10.1007/s10817-010-9210-1
Runtime Verification Using a Temporal Description Logic, Proceedings of FroCoS 2009, pp.149-164, 2009. ,
DOI : 10.1006/inco.1994.1092
Intergrate Action Formalisms into Linear Temporal Description Logic, 2009. ,