Archive for March, 2009

Progressing basic action theories with non-local effect actions (CS-2009)

Progressing basic action theories with non-local effect actions, Stavros Vassos, Sebastian Sardina, and Hector Levesque, In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09), pages 135-140, Toronto, Canada, 2009.
[pdf | citeulike| slides]
Continue reading ‘Progressing basic action theories with non-local effect actions (CS-2009)’