Analysis and verification of multi-agent interaction protocols
Proceedings of the third annual conference on Autonomous Agents
An industrial application of agents for dynamic planning and scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Autonomous Agents and Multi-Agent Systems
Formal Agent Development: Framework to System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Reliable Agent Communication - A Pragmatic Perspective
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
The Agentis Agent Interaction Model
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Analysis and Verification of Multi-Agent Interaction Protocols
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
From definition to deployment: What next for agent-based systems?
The Knowledge Engineering Review
Annals of Mathematics and Artificial Intelligence
A Manifesto for Agent Technology: Towards Next Generation Computing
Autonomous Agents and Multi-Agent Systems
Normative Communication Models for Agent
Autonomous Agents and Multi-Agent Systems
Trustworthy service composition: challenges and research questions
AAMAS'02 Proceedings of the 2002 international conference on Trust, reputation, and security: theories and practice
A formal specification language for agent conversations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Semantic web technology for agent communication protocols
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
A formal framework for interaction protocol engineering
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Multidisciplinary investigation into adult stem cell behavior
Transactions on Computational Systems Biology III
Formal consistency verification of deliberative agents with respect to communication protocols
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Supporting the development of multi-agent interactions via roles
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Artificial Intelligence
Hi-index | 0.00 |