First-Order Strong Progression for Local-Effect Basic Action Theories

Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque. First-Order Strong Progression for Local-Effect Basic Action Theories. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 662-672, AAAI Press, 2008.

Abstract

Abstract is missing.