Proceedings:
Extending Theories of Action: Formal Theory and Practical Applications
Volume
Issue:
Papers from the 1995 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
ALX3 is a multi-agent version of ALX with a first-order description language. ALX3 is sound and complete, and is already proving its practical use in the formal representation of modern organization theory.
Spring
Papers from the 1995 AAAI Spring Symposium