BAAC: A Prolog System for Action Description and Agents Coordination

Agostino Dovier, Andrea Formisano & Enrico Pontelli
The paper presents a system for knowledge representation and coordination, where autonomous agents reason and act in a shared environment. Agents autonomously pursue individual goals, but can interact through a shared knowledge repository. In their interactions, agents deal with problems of synchronization and concurrency, and have to realize coordination by developing proper strategies in order to ensure a consistent global execution of their autonomously derived plans. This kind of knowledge is modeled using an extension...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.