A Brief Outline of ALX3, a Multi-Agent Action Logic

Zhisheng Huang and Michael Masuch

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.