Representing Abstract Agent Architectures
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Agent-oriented modeling of the dynamics of biological organisms
Applied Intelligence
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Automated analysis of compositional multi-agent systems
International Journal of Agent-Oriented Software Engineering
An agent-based approach for structured modeling, analysis and improvement of safety culture
Computational & Mathematical Organization Theory
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |