Stavros Vassos; Gerhard Lakemeyer; Hector. J. Levesque
First-Order Strong Progression for Local-Effect Basic Action Theories
11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, (2008)
 Export: Tagged XML BibTex   Download:  localeffect.pdf