Proceedings:
Extending Theories of Action: Formal Theory and Practical Applications
Volume
Issue:
Papers from the 1995 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
Our goal is to extend and improve the action language AR0 proposed in Kartha and Lifschitz, [1994] and to simplify the method for representing actions with indirect effects in circumscriptive theories described in that paper.
Spring
Papers from the 1995 AAAI Spring Symposium