J. Harland, M. Winiko#. Language Design Issues for Agents based on Linear Logic. In Proceedings of the Workshop on Computational Logic in Multi-Agent Systems (CLIMA'02), August 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Report on the 2002 Workshop on Computational Logic in.. - Leite, Satoh (Correct)
.... use them to generate actions, with asynchronous based communication through the use of bu#ers [4] 2 Harland and Winiko# discussed the formalisation and implementation issues of BDI type agents, using a Linear Logic based calculus that allows a mixture of forward and backward chaining techniques [7]. Session 3 BDI Agent Systems Bordini and Moreira presented their investigations on how far the Asymmetry Thesis Principles formulated by Rao and George# are actually met by the abstract agent specification language AgentSpeak(L) hence contributing to the reconciliation between practice and ....
James Harland and Michael Winiko#. Language design issues for agents based on linear logic (extended abstract). In Dix et al. [5], pages 79--93.
Symbolic Negotiation with Linear Logic - Peep Kungas And (2004) (1 citation) (Correct)
No context found.
J. Harland, M. Winiko#. Language Design Issues for Agents based on Linear Logic. In Proceedings of the Workshop on Computational Logic in Multi-Agent Systems (CLIMA'02), August 2002.
Linear Logic, Partial Deduction and Cooperative Problem Solving - Küngas, Matskin (2003) (Correct)
No context found.
J. Harland, M. Winiko . Language Design Issues for Agents based on Linear Logic. In Proceedings of the Workshop on Computational Logic in Multi-Agent Systems (CLIMA'02), August 2002.
Computational Logic in Multi-Agent Systems: recent advances and.. - Torroni (2003) (Correct)
No context found.
Harland, J. and M. Winiko#: 2002, `Language Design Issues for Agents based on Linear Logic (Extended Abstract)'. in [20], pp. 79--93.
Symbolic Negotiation with Linear Logic - Küngas, Matskin (2004) (Correct)
No context found.
J. Harland, M. Winiko . Language Design Issues for Agents based on Linear Logic. In Proceedings of the Workshop on Computational Logic in Multi-Agent Systems (CLIMA'02), August 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC