RA1: Micro/agent-level issues in agent technology

1.2 Foundations of Agency
1.2.4 Agent representation and specification formalisms

d'Inverno M. and Luck M., Development and Application of a Formal Agent Framework, In Proceedings of the First IEEE International Conference on Formal Engineering Methods, Hiroshima, Japan, 1997.

d'Inverno M. and Luck M., Formal Agent Development: Framework to System, in Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D., Hinchey, M.G., (eds.), Lecture Notes in Artificial Intelligence, 1871, Berlin, Springer-Verlag, 133-147, 2001.

d'Inverno M. and Luck M.. Agent Models and Plans, in Agents Everywhere: Proceedings of the First Hungarian National Conference on Agent Based Computing, G. Tatai and L. Gulyas (eds.), 44-58, Springer Hungarica, 1999.

d'Inverno M. and Luck M.. Engineering AgentSpeak(L): A Formal Computational Model, Journal of Logic and Computation, 8(3), 233-260, 1998.

d'Inverno M., Fisher M., Lomuscio A., Luck M., de Rijke M., Ryan M. and Wooldridge M., Formalisms for Multi-Agent Systems, Knowledge Engineering Review 12(3), 1997.

d'Inverno M., Fisher M.,Lomuscio A., Luck M., de Rijke M.,Ryan M. and Wooldridge M.. Formalisms for Multi-Agent Systems, The Knowledge Engineering Review 12(3), 1997.

d'Inverno M., Kinny D., Luck M. and Wooldridge M.. A Formal Specification of dMARS, In Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, Singh, Rao and Wooldridge (eds.), Lecture Notes in Artificial Intelligence, 1365, 155-176, Springer-Verlag, 1998.

Luck M. and d'Inverno M., A Conceptual Framework for Agent Definition and Development, The Computer Journal, 1-20, 44(1), 2001.

Luck M. and d'Inverno M., A Formal Framework for Agency and Autonomy, in Proceedings of the First International Conference on Multi-Agent Systems, 254-260, AAAI Press / MIT Press, 1995.

Luck M. and d'Inverno M., Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems, in ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Jonathan Bowen and Mike Hinchey (eds.), Lecture Notes in Computer Science, 967, 47-62, Springer-Verlag, Heidelberg, 1995.

Luck M. and d'Inverno M., Unifying Agent Systems, Annals of Mathematics and Artificial Intelligence, 37(1-2):131-167, 2003.

van der Hoek W. and Thijsse E. A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples, Studia Logica 72:1, pp. 61--84, 2002.

van der Hoek W. and Verbrugge R. Epistemic Logic: a Survey. In:  L.A. Petrosjan and V.V. Mazalov (eds.),  Game Theory and Applications, vol. 8, New York, Nova Science Publishers, 2002. ISBN:1-59033-373-,  pp. 53-94.

van der Hoek W. and Wooldridge M., Model Checking Knowledge and Time. In SPIN 2002 -- Proceedings of the Ninth International SPIN Workshop on Model Checking of Software, Grenoble, France, April 2002.