F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. Patel-schneider, The Description Logic Handbook: Theory, Implementation , and Applications, 2003.
DOI : 10.1017/CBO9780511711787

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter, Integrating description logics and action formalisms: First results, Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005.

L. Benotti, DRINK ME " : Handling actions through planning in a text game adventure, XI ESSLLI Student Session, pp.160-172, 2006.

L. Benotti, Enhancing a dialogue system through dynamic planning. Master's thesis, 2006.

H. Clark and E. Schaefer, Contributing to Discourse, Cognitive Science, vol.8, issue.2, pp.259-294, 1989.
DOI : 10.1207/s15516709cog1302_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.4384

H. Clark, Using Language, 1996.

D. Devault and M. Stone, Scorekeeping in an uncertain language game, The 10th Workshop on the Semantics and Pragmatics of Dialogue, 2006.

R. Fikes, P. Hart, and N. Nilsson, Learning and executing generalized robot plans, Artificial Intelligence, vol.3, pp.251-288, 1972.
DOI : 10.1016/0004-3702(72)90051-3

A. Gerevini and D. Long, Plan constraints and preferences in PDDL3, 2005.

V. Haarslev and R. Möller, RACER System Description, Proceedings of International Joint Conference on Automated Reasoning (IJCAR 01), number 2083 in LNAI, pp.701-705, 2001.
DOI : 10.1007/3-540-45744-5_59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.6142

H. Kautz and B. Selman, Unifying SATbased and graph-based planning, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 99), pp.318-325, 1999.

A. Koller, R. Debusmann, M. Gabsdil, and K. Striegnitz, Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game, Journal of Logic, Language and Information, vol.13, issue.2, pp.187-206, 2004.
DOI : 10.1023/B:JLLI.0000024734.80591.30

H. Liu, C. Lutz, M. Milicic, and F. Wolter, Reasoning About Actions Using Description Logics with General TBoxes, Proceedings of the 10th European Conference on Logics in Artificial Intelligence, pp.266-279, 2006.
DOI : 10.1007/11853886_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.4669

R. Thomason, M. Stone, and D. De-vault, Enlightened update: A computational architecture for presupposition and other pragmatic phenomena, Presupposition Accommodation . Ohio State Pragmatics Initiative, 2006.

M. Van-lambalgen and F. Hamm, The Proper Treatment of Events, 2004.
DOI : 10.1002/9780470759257