A formal methodology for verifying situated agents
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Analysis of Agent Programs Using Action Models
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Sensing Actions, Time, and Concurrency in the Situation Calculus
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Reasoning about the interaction of knowlege, time and concurrent actions in the situation calculus
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Hi-index | 0.01 |