R. Ashri and M. Luck, “Paradigma: Agent implementation through Jini” in A. M. Tjoa, R. R. Wagner, and A. Al-Zobaidie, (eds.), Eleventh International Workshop on Databases and Expert System Application, IEEE Computer Society, 2000, pp. 453–457.
J. P. Bowen, Formal Specification and Documentation using Z: A Case Study Approach, International Thomson Computer Press, 1996.
M. E. Bratman, D. J. Israel, and M. E. Pollack, “Plans and resource-bounded practical reasoning” Computational Intelligence, vol. 4, pp. 349–355, 1988.
B. Burmeister and K. Sundermeyer, “Cooperative problem solving guided by intentions and perception” in E. Werner and Y. Demazeau, (eds.), Decentralized AI 3-Proc. Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-91), Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, pp. 77–92, 1992.
P. Busetta, R. Ronnquist, A. Hodgson, and A. Lucas, “JACK intelligent agents-components for intelligent agents in Java” Agent Link News, 1999.
B. Chellas, Modal Logic: An Introduction, Cambridge University Press: Cambridge, England, 1980.
P. R. Cohen and H. J. Levesque, “Intention is choice with commitment” Artif. Intell., vol. 42, pp. 213–261, 1990.
B. P. Collins, J. E. Nicholls, and I. H. Sørensen, “Introducing formal methods: The CICS experience with Z” in B. Neumann, et al., (eds.), Mathematical Structures for Software Engineering, Oxford University Press, 1991.
I. D. Craig, The Formal Specification of Advanced AI Architectures, Ellis Horwood: Chichester, 1991.
D. Craigen, S. L. Gerhart, and T. J. Ralston, “An international survey of industrial applications of formal methods” Technical Report NIST GCR 93/626-V1 & 2, Atomic Energy Control Board of Canada, US National Institute of Standards and Technology and US Naval Research Laboratories, 1993.
M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge, “Formalisms for multi-agent systems” Knowl. Eng. Rev., vol. 12, no. 3, pp. 315–321, 1997.
M. d'Inverno, K. Hindriks, and M. Luck, A formal architecture for the 3APL agent programming language, in First International Conference of B and Z Users, Springer Verlag 1878, 2000, pp. 168–187.
M. d'Inverno and M. Luck, “Engineering AgentSpeak(L): A formal computational model” Logic Comput., vol. 8, no. 3, pp. 233–260, 1998.
M. d'Inverno and M. Luck, Understanding Agent Systems, Springer, 2001.
M. d'Inverno and M. Luck, Practical and theoretical innovations in multi-agent systems research, Knowl. Eng. Rev., vol. 17, no. 3, pp. 295–301, 2003.
M. d'Inverno, M. Priestley, and M. Luck, A formal framework for hypertext systems, IEE Proc.-Software Eng. J., vol. 144, no. 3, pp. 175–184, 1997.
E. A. Emerson and J. Y. Halpern, “Sometimes and 'not never' revisited: On branching time versus linear time temporal logic” J. ACM, vol. 33, no. 1, pp. 151–178, 1986.
M. P. Georgeff, “Planning” Ann. Rev. Comput. Sci., vol. 2, pp. 359–400, 1987.
M. P. Georgeff and A. L. Lansky, “Reactive reasoning and planning” in Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), Seattle, WA, 1987, pp. 677–682.
M. Georgeff, B. Pell, M. Pollack, M. Tambe, and M. Wooldridge, “The belief-desire-intention model of agency” in Intelligent Agents V, LNAI 1555, Springer, 1999, pp. 1–10.
M. P. Georgeff and A. S. Rao, 'A profile of the Australian AI Institute” IEEE Expert, vol. 11, no. 6, pp. 89–92, 1996.
R. Goodwin, “A formal specification of agent properties” J. Logic Comput., vol. 5, no. 6, 1995.
A. Haddadi, “Belief-desire-intention agent architectures” in G. M. P. O'Hare and N. R. Jennings, (eds.), Foundations of Distributed Artificial Intelligence, Wiley, 1996, pp. 169–185.
I. J. Hayes, “VDM and Z: A comparative case study” Form. Aspect Comput., vol. 4, no. 1, pp. 76–99, 1996.
I. J. Hayes, (ed.), Specification Case Studies, (2nd edn.). Prentice Hall: Hemel Hempstead, 1993.
M. A. Hewitt, C. M. O'Halloran, and C. T. Sennet, “Experiences with PiZA, an animator for Z” in J. P. Bowen, M. G. Hinchey, and D. Till, (eds.), in ZUM'97: 10th International Conference of Z Users, Lecture Notes in Computer Science, Springer-Verlag: Heidelberg, 1997, pp. 37–51.
K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer, “Formal Semantics for an Abstract Agent Programming Language” in Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories. Architectures and Languages, LNAI 1365, Springer, 1998, pp. 215–229.
K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer, “Control structures of rulebased agent languages” in Intelligent Agents V. LNAI 1555, Springer, 1999, pp. 381–396.
K. Hindriks, M. d'Inverno, and M. Luck, “Architecture for agent programming languages” in Proceedings of the 14th European Conference on Artificial Intelligence, 2000, pp. 363–367.
C. A. R. Hoare, “Communicating sequential processes” Commun. ACM, vol. 21, pp. 666–677, 1978.
M. J. Huber, “JAM: A BDI-theoretic mobile agent architecture” in Proceedings of the Third International Conference on Autonomous Agents (Agents'99), Seattle, WA, 1999, pp. 236–243.
F. Ingrand, M. Georgeff, and A. Rao, “An architecture for real-time reasoning and system control” IEEE Expert, vol. 7, no. 6, pp. 34–44, 1992.
N. R. Jennings, “Specification and implementation of a belief desire joint-intention architecture for collaborative problem solving” J. Intell. Coop. Inform. Sys., vol. 2, no. 3, pp. 289–318, 1993.
C. B. Jones, Systematic Software Development using VDM, (2nd edn.). Prentice Hall, 1990.
K. Lano, “The B Language and Method: A Guide to Practical Formal Development” Springer-Verlag, 1996.
J. Lee, M. Huber, E. Durfee, and P. Kenny, “UM-PRS: An implementation of the procedural reasoning system for multirobot applications” in CIRFSS94, Conference on Intelligent Robotics in Field, Factory, Service and Space, MIT Press, 1994, pp. 842–849.
M. Luck and M. d'Inverno, From agent theory to agent construction: A case study, in Intelligent Agents III. ATAL'96, Springer-Verlag, 1997, pp. 215–230.
M. Luck and M. d'Inverno, “Unifying agent systems“, Ann. Math. Artif. Intell., vol. 37, no. 1-2, pp. 131–167, 2002.
R. Milner, Communication and Concurrency, Prentice Hall, 1989.
B. G. Milnes, “A specification of the Soar architecture in Z” Technical Report CMU-CS-92-169, School of Computer Science, Carnegie Mellon University, 1992.
B. Drabble, (ed.), Proceedings of the 3rd International Conference on Artificial Intelligence Planning Systems (AIPS-96), AAAI Press, 1996, pp. 158–165.
A. S. Rao, “AgentSpeak(L): BDI agents speak out in a logical computable language.“ in W. Van de Velde and J. W. Perram, (eds.), Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, (LNAI Volume 1038), Springer-Verlag: Heidelberg, Germany, 1996, pp. 42–55.
A. S. Rao and M. Georgeff, “BDI Agents: From theory to practice” in Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, CA, June 1995, pp. 312–319.
A. S. Rao and M. P. Georgeff, “Modeling rational agents within a BDI-architecture,” in R. Fikes and E. Sandewall, (eds.), Proceedings of Knowledge Representation and Reasoning (KR&R-91), Morgan Kaufmann Publishers: San Mateo, CA, April 1991, pp. 473–484.
A. S. Rao and M. P. Georgeff, “An abstract architecture for rational agents” in C. Rich, W. Swartout, and B. Nebel, (eds.), Proceedings of Knowledge Representation and Reasoning (KR&R-92), 1992, pp. 439–449.
M. Saaltink, “The Z/EVES system.“ in J. P. Bowen, M. G. Hinchey, and D. Till, (eds.), ZUM'97: 10th International Conference of Z Users. Lecture Notes in Computer Science, Springer-Verlag: Heidelberg, 1997, pp. 72–85.
J. M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press: Cambridge, 1988.
J. M. Spivey, The F
uzz Manual, (2nd edn.). Computing Science Consultancy, 2 Willow Close, Garsington, Oxford OX9 9AN, UK, 1992.
M. Spivey, The Z Notation, (2nd edn.). Prentice Hall International: Hemel Hempstead, England, 1992.
M. Weber, “Combining Statecharts and Z for the design of safety-critical control systems” in M.-C. Gaudel and J. C. P. Woodcock, (eds.), FME'96: Industrial Benefit and Advances in Formal Methods, vol. 1051 of Lecture Notes in Computer Science, Formal Methods Europe, Springer-Verlag, 1996, pp. 307–326.
C. D. Wezeman, “Using Z for network modelling: An industrial experience report” Comput. Stand. Inter., vol. 17, no. 5-6, pp. 631–638, 1995.
K. R. Wood, “A practical approach to software engineering using Z and the refinement calculus” ACM Software Eng. Notes, vol. 18, no. 5, pp. 79–88, 1995.
J. Woodcock and J. Davies, Using Z: Specificiation. Refinement and Proof, Prentice Hall: Hemel Hempstead, 1996.
Michael Woodlridge, Reasoning about Rational Agents, MIT Press, 2000.
M. Wooldridge, “This isMY World: the logic of an agent-oriented testbed for DAI” in M. Wooldridge and N. R. Jennings, (eds.), Intelligent Agents: Theories, Architectures and Languages (LNAI Volume 890), Springer-Verlag: Heidelberg, Germany, 1995, pp. 160–178.
M. Wooldridge and N. R. Jennings, “Intelligent agents: Theory and practice” Knowl. Eng. Rev., vol. 10, no. 2, pp. 115–152, 1995.