Archive for August, 2008

First-Order Strong Progression for Local-Effect Basic Action Theories (KR-08)

Published August 1st, 2008 in ai, paper and research. 0 Comments

First-Order Strong Progression for Local-Effect Basic Action Theories, Stavros Vassos, Gerhard Lakemeyer, and Hector Levesque, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), Sydney, Australia, 2008.
[pdf | citeulike | slides]
Continue reading ‘First-Order Strong Progression for Local-Effect Basic Action Theories (KR-08)’