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

Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque

Browse the full KR paper archive.