Journal of Logic, Language and Information
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
Verification within the KARO Agent Theory
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Combining Introspection and Communication with Rationality and Reactivity in Agents
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A model for the conversation multimodal man-machine: integration of speech and action
Proceedings of the Latin American conference on Human-computer interaction
Formalising Abilities and Opportunities of Agents
Fundamenta Informaticae
Hi-index | 0.00 |