Reasoning about agents' interaction protocols inside DCaseLP
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Verifying protocol conformance for logic-based communicating agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |