Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Planning with natural actions in the situation calculus
Logic-based artificial intelligence
Extending ConGolog to Allow Partial Ordering
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
Integrating True Concurrency into the Robot Programming Language
SCCC '99 Proceedings of the 19th International Conference of the Chilean Computer Science Society
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Journal of Artificial Intelligence Research
Right-of-way rules as use case for integrating GOLOG and qualitative reasoning
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Hi-index | 0.00 |
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog language, several challenges are encountered when moving to a multi-agent setting. Key to our approach is a better representation of the dynamics of multi-agent teams by means of the following features: a robust combination of true concurrency of actions with the interleaved concurrency of ConGolog; an explicit notion of time to assist coordination; and semantic support for predictable exogenous actions (also called "natural actions"). The result is MIndiGolog, a new Golog variant suitable for distributed, cooperative execution by a multi-agent team.