Reuse and abstraction in verification: agents acting in dynamic environments
First international workshop, AOSE 2000 on Agent-oriented software engineering
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Compositional design and maintenance of broker agents
Intelligent agents and their applications
Integration of Behavioural Requirements Specification within Knowledge Engineering
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Modeling User Preferences and Mediating Agents in Electronic Commerce
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Quality assessment of human behavior models
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Multi-agent asynchronous negotiation based on time-delay
LSMS/ICSEE'10 Proceedings of the 2010 international conference on Life system modeling and and intelligent computing, and 2010 international conference on Intelligent computing for sustainable energy and environment: Part I
Engineering coordination: selection of coordination mechanisms
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Hi-index | 0.00 |