DL Actions with GCIs: a Pragmatic Approach.

Marianne Winslett, Reasoning about action using a possible models approach national conference on artificial intelligence. pp. 89- 93 ,(1988)

Michael Thielscher, Introduction to the Fluent Calculus. Electronic Transactions on Artificial Intelligence. ,vol. 2, pp. 179- 192 ,(1998)

S. Tobies, The complexity of reasoning with cardinality restrictions and nominals in expressive description logics Journal of Artificial Intelligence Research. ,vol. 12, pp. 199- 217 ,(2000) , 10.1613/JAIR.705

The Description Logic Handbook: Theory, Implementation and Applications DLog. ,(2003) , 10.1017/CBO9780511711787

Ulrike Sattler, Franz Baader, Frank Wolter, Maja Miličic, Carsten Lutz, Integrating description logics and action formalisms: first results national conference on artificial intelligence. pp. 572- 577 ,(2005)

JOHN GIBBONS, Knowledge in Action Philosophy and Phenomenological Research. ,vol. 62, pp. 579- 600 ,(2001) , 10.1111/J.1933-1592.2001.TB00075.X

Ian Pratt-Hartmann, Complexity of the Two-Variable Fragment with Counting Quantifiers Journal of Logic, Language and Information. ,vol. 14, pp. 369- 395 ,(2005) , 10.1007/S10849-005-5791-1

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl, GOLOG: A logic programming language for dynamic domains Journal of Logic Programming. ,vol. 31, pp. 59- 83 ,(1997) , 10.1016/S0743-1066(96)00121-5

MICHAEL THIELSCHER, FLUX: A logic programming method for reasoning agents Theory and Practice of Logic Programming. ,vol. 5, pp. 533- 565 ,(2005) , 10.1017/S1471068405002358

S. K. Thomason, The logical consequence relation of propositional tense logic Mathematical Logic Quarterly. ,vol. 21, pp. 29- 40 ,(1975) , 10.1002/MALQ.19750210104