R. Reiter, Knowledge in action: logical foundations for describingand implementing dynamical systems, 2001.

G. D. Giacomo, E. Ternovskaia, and R. Reiter, Non-terminating processes in the situation calculus, Proceedings of the AAAI'97 Workshop on Robots, Softwoods, Immobots: Theories of Action, Planning and Control, 1997.

J. Cla?en and G. Lakemeyer, A Logic for non-terminating Golog programs, Proceedings KR 2008, pp.589-599, 2008.

F. Baader, H. K. Liu, and A. Mehdi, Verifying properties of infinite sequences of description logic actions, Proceedings of ECAI'10, 2010.

F. Baader, S. Ghilardi, and C. Lutz, LTL over description logic axioms, Proceedings of KR 2008, pp.684-694, 2008.
DOI : 10.1145/2287718.2287721

F. Baader, C. Lutz, U. Sattler, and F. Wolter, Integrating description logics and action formalisms: First results, Proceedings AAAI'05, 2005.

L. Chang, Z. Shi, T. Gu, and L. Zhao, 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

F. Baader, A. Bauer, and M. Lippmann, Runtime Verification Using a Temporal Description Logic, Proceedings of FroCoS 2009, pp.149-164, 2009.
DOI : 10.1006/inco.1994.1092

F. Baader and H. K. Liu, Intergrate Action Formalisms into Linear Temporal Description Logic, 2009.