Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Formalisms for multi-agent systems
The Knowledge Engineering Review
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |