Development and application of a formal agent framework
暂无分享,去创建一个
[1] Michael Luck,et al. Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems , 1995, ZUM.
[2] Michael Luck,et al. A Formal View of Social Dependence Networks , 1995, DAI.
[3] Richard Goodwin,et al. Formalizing Properties of Agents , 1993, J. Log. Comput..
[4] Randall Davis,et al. Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.
[5] Anand S. Rao,et al. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.
[6] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[7] Mark d'Inverno,et al. A Formal Framework For Specifying Design Methods , 1996 .
[8] Nathan Griffiths,et al. From Agent Theory to Agent Construction: A Case Study , 1996, ATAL.
[9] Michael Luck,et al. A Formal Framework for Agency and Autonomy , 1995, ICMAS.
[10] Michael Wooldridge,et al. Formalizing the Cooperative Problem Solving Process , 1994 .
[11] Anand S. Rao,et al. An Abstract Architecture for Rational Agents , 1992, KR.
[12] Anand S. Rao,et al. A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.
[13] Michael Luck,et al. Formalising the Contract Net as a Goal-Directed System , 1996, MAAMAW.