ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
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
Knowledge structuring and representation in requirement specification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Comparing environments for developing software agents
AI Communications
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
A Scalable Petri Net Representation of Interaction Protocols for Overhearing
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Proceedings of the Second international conference on Declarative Agent Languages and Technologies
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
On modelling multi-agent systems declaratively
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A computational model for conversation policies for agent communication
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Verifying protocol conformance for logic-based communicating agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engineering tools that support the developer in all the steps of design and implementation. In this work we focus on the problem of supporting the design of agent interaction protocols by carrying out a methodological integration of the MAS prototyping environment DCaseLP with the agent programming language DyLOG for reasoning about action and change.