Kinny, D., Georgeff, M., Rao, A.: A Methodology and Modelling Technology for Systems of BDI Agents. In: Agents Breaking Away: Proc. of MAAMAW'96. LNAI, Vol. 1038. Spriger-Verlag (1996) Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Developing Formal Specifications of MAS in SLABS - A Case Study of.. - Zhu (Correct)
....systems in SLABS and other formalisms as well is difficult due to the complexity of agent based systems. On the other hand, in recent years, a large amount of research work has been reported in the literature about the development processes and methods for engineering agentbased systems, e.g. [13, 14, 15, 16, 17]. These works mostly utilise diagrammatic notations to support the analysis and design of multi agent systems. How such diagrammatic notations are related to the logic and formal models of agents remains as an open problem. In this paper, we investigate how descriptions of multi agent systems in ....
Kinny, D., Georgeff, M., Rao, A.: A Methodology and Modelling Technology for Systems of BDI Agents. In: Agents Breaking Away: Proc. of MAAMAW'96. LNAI, Vol. 1038. Spriger-Verlag (1996)
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