Reasoning About Agents’ Interaction Protocols Inside DCaseLP-Reference-Cited by-同舟云学术

Reasoning About Agents’ Interaction Protocols Inside DCaseLP

Published:2005 Issue: Volume: Page:112-131
ISSN:0302-9743
Container-title:Declarative Agent Languages and Technologies II
language:
Short-container-title:

Author:

Baldoni M.,Baroglio C.,Gungui I.,Martelli A.,Martelli M.,Mascardi V.,Patti V.,Schifanella C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11493402_7.pdf

Reference38 articles.

1. Advanced logic in computing environment, Available at, http://www.di.unito.it/~alice/

2. AgentTool development system, http://www.cis.ksu.edu/~sdeloach/ai/projects/agentTool/agentool.htm

3. Arisha, K., Eiter, T., Kraus, S., Ozcan, F., Ross, R., Subrahmanian, V.S.: IMPACT: a platform for collaborating agents. IEEE Intelligent Systems 14(2), 64–72 (1999)

4. Astesiano, E., Martelli, M., Mascardi, V., Reggio, G.: From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques. In: Debenham, J., Zhang, K. (eds.) Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), pp. 578–585. The Knowledge System Institute (2003)

5. Astesiano, E., Reggio, G.: Knowledge Structuring and Representation in Requirement Specification. In: Proceedings of SEKE 2002. ACM Press, New York (2002)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logic-based technologies for multi-agent systems: a systematic literature review;Autonomous Agents and Multi-Agent Systems;2020-10-19

2. A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages;Lecture Notes in Computer Science;2010

3. Modeling and Verification of Distributed Autonomous Agents Using Logic Programming;Declarative Agent Languages and Technologies II;2005

4. Enhancing Commitment Machines;Declarative Agent Languages and Technologies II;2005