First-Order Strong Progression for Local-Effect Basic Action Theories
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Stavros Vassos; Gerhard Lakemeyer; Hector. J. Levesque |
| Conference Name | 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008) |
| Publisher | AAAI Press |
| Conference Location | Sydney, Australia |
| |
|
