Authored Books
M. Luck, R. Ashri and M. d’Inverno, Agent-Oriented Systems
Development, 245 pp, Artech House, 2004.
M. d’Inverno and M. Luck, Understanding Agent Systems,
Second Edition, 242 pp, Springer, 2004.
M. d’Inverno and M. Luck, Understanding Agent Systems, 191
pp, Springer, 2001.
Edited Books
M. d’Inverno, M. Luck, M. Fisher and C. Preist, (editors),
Foundations and Applications of Multi-Agent Systems: UKMAS
1996-2000, LNAI 2403, Springer, 2002.
Edited Workshop Proceedings
Proceedings of the First European Workshop on Multi-Agent
Systems, edited by M. d’Inverno, C. Sierra and F.
Zambonelli, Oxford University, December, 2003.
Journal Papers
Paul Howells and Mark d’Inverno, A CSP model with flexible
parallel termination semantics, Formal Aspects of Computer
Science, (under reviewer revision).
Jon Bird, Mark d’Inverno and Jane Prophet, Net Work: An
Interactive Artwork Designed Using an Interdisciplinary
Collaborative Approach, Special Issue on Computational
Models of Creativity in the Arts, Journal of Digital
Creativity, Vol. 18(1), 1123, 2007.
Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio
Corradini, Mark dInverno, Andreas Doms, Phillip Lord,
Andrew Martin, Luciano Milanesi, Steffen Moller, Michael
Schroeder and Michael Luck, Agents in bioinformatics,
computational and systems biology, Briefings in
Bioinformatics, 8(1), 45-59, 2007.
Fabiola Lopez y Lopez, Michael Luck and Mark dInverno, A
normative framework for agent based systems, Computational
& Mathematical Organization Theory, Volume 12(2 - 3),
pages 227-250, 2005.
R. Ashri, M. Luck and M. d’Inverno, From SMART to agent
systems development, Engineering Applications of Artificial
Intelligence, 18(2), 129-140, 2005.
M. d’Inverno, M. Luck, M. Georgeff, D. Kinny, and M.
Wooldridge, The dMARS architecture: A specification of the
distributed multi-agent reasoning system, Autonomous Agents
and Multi-Agent Systems, 9(1-2):5-53, 2004.
N. D. Theise and M. d’Inverno, Understanding cell lineages
as complex adaptive systems, Blood, Cells, Molecules and
Diseases, 32:17-20, 2004.
J. Eacott and M. d’Inverno, Intelligent Embedded Ambient
Music, Journal of Digital Creativity, Volume 14, Issue 2,
pages 67-73, Swets and Zeitlinger, 2003.
M. d’Inverno and M. Luck, The Current State of Multi-Agent
Systems Research, The Knowledge Engineering Review,
Cambridge University Press, 17:3, 289-295, 2003.
M. Luck and M. d’Inverno, Unifying Agent Systems, Annals of
Mathematics and Artificial Intelligence, Special Issue on
Computational Logic in Multi-Agent Systems, 37(1-2):
131-167, 2002.
M. d’Inverno. M. Hu, P. Howells and M. Luck, Soft-Link
Hypertext for Information Retrieval, Information and
Software Technology, 44(2), 101-112. 2002.
M. d’Inverno and M. Luck, Multi-Agent Systems Research into
the 21st Century, The Knowledge Engineering Review,
Cambridge University Press, 16(3), 271-275, 2001.
M. Luck and M. d’Inverno, A Conceptual Framework for Agent
Definition and Development, The Computer Journal, 44(1),
1-20, 2001.
M. d’Inverno and M. Luck, Learning in Multi-Agent Systems,
Knowledge Engineering Review, 16(3), 277-284, 2001.
M. Beer, M. d’Inverno, N. Jennings, M. Luck, C. Preist and
M. Schroeder. Argumentation and Negotiation, Knowledge
Engineering Review, 14(3), 285-289, 1999.
G. Justo, P. Howells and M. d’Inverno, Formalising
high-performance systems methodologies, Systems
Architecture, 45, 441-46, 1999.
M. d’Inverno and M. Luck, Engineering AgentSpeak(L): A
Formal Computational Model, Journal of Logic and
Computation, 8(3), 233-260, 1998.
M. Luck, M. d’Inverno and M. Fisher and FoMAS’97
Contributors, Foundations of Multi-Agent Systems:
Techniques, Tools and Theory. The Knowledge Engineering
Review, 3(3), 297-302, 1998.
M. d’Inverno, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan
and M. Wooldridge, Formalisms for Multi-Agent Systems,
Knowledge Engineering Review, (12)(3), 315–321, 1997.
M. d’Inverno, M. Priestley and M. Luck, A Formal Framework
for Hypertext Systems, IEE Proceedings on Software
Engineering, 144(3), 175–184, 1997. M. d’Inverno, G. R.
Justo and P. Howells. A formal framework for specifying
design methodologies, Software Process: Improvement and
Practice, 2(3):181–195, September, 1996.
Refereed Book Chapters
Mark d’Inverno, Paul Howells, Sara Montagna, Ingo Roeder
and Rob Saunders, Agent-Based Modeling of Stem Cells,
Multi-Agent Systems and Simulation that will be published
by Taylor and Francis Group, 2008
Mark d’Inverno and Jane Prophet, Designing physical
artefacts from computational simulations and building
computational simulations of physical systems, Design for
the 21st Century, Editor Tom Innes, Gower Publishing, 2008.
Mark d’Inverno, Neil Theise and Jane Prophet, Mathematical
modelling of stem cells: a complexity primer for the stem
cell biologist, In Christopher Potten, Jim Watson, Robert
Clarke, and Andrew Renehan, editors, Tissue Stem Cells:
Biology and Applications, pages 1-15, Taylor and Francis,
2006.
Jane Prophet and Mark d’Inverno, Transdisciplinary Research
in CELL, Aesthetic Computing, Editor Paul Fishwick, MIT
Press, 2006.
Mark d’Inverno and Rob Saunders, Agent-based modelling of
Stem Cell organisation in a Niche, Engineering
Self-Organising Systems : Methodologies and Applications,
LNAI, Sven A. Brueckner, Giovanna Di Marzo, Serugendo,
Anthony Karageorgos and Radhika Nagpal (Editors), LNAI,
Springer, 2006
Mark d’Inverno and Jane Prophet. Biology, Computer Science
and Bioinformatics: Multidisciplinary Models, Metaphors and
Tools, Multidisciplinary Investigation into Adult Stem Cell
Behaviour, LNCS Transactions onComputational System
Biology. Springer, Emanuela Merelli,, Pablo Gonzalez and
Andrea Omicini (editors), Lecture Notes in Artificial
Intelligence, 2006.
S. Munroe, M. Luck, and M. d’Inverno. Towards
motivation-based decisions for worth goals. In
Multi-AgentSystems and Applications III, volume 2691 of
LNAI, pages 17-28. Springer, 2003
N. Griffiths, M. Luck and M. d’Inverno, Annotating
Cooperative Plans with Trusted Agents, in Trust,
Reputation, and Security: Theories and Practice, R.
Falcone, S. Barber, L. Korba, M. Singh, M., (eds.), Lecture
Notes in Artificial Intelligence 2691, Springer, 87-107,
2003.
M. Luck, S. Munroe and M. d’Inverno, Autonomy: Variable and
Generative, in Agent Autonomy, H. Hexmoor, C.
Castelfranchi, and R. Falcone (eds.), Kluwer, 9-22, 2003.
S. Munroe, M. Luck and M. d’Inverno, Towards
Motivation-Based decisions for Worth Goals, in Multi-Agent
Systems and Applications III, V. Marik, J. Mueller and M.
Pechoucek (eds.), LNAI 2691, Springer, 17-28, 2003.
R. Ashri, M. Luck and M. d’Inverno, Infrastructure Support
for Agent-based Development, in Foundations and
Applications of Multi-Agent Systems, M. d’Inverno, M. Luck,
M. Fisher and C. Preist (eds.), Lecture Notes in Artificial
Intelligence 2403, Springer-Verlag, 73-88, 2002.
M. d’Inverno and M. Luck, Autonomy - A Good Idea in Theory
Seventh International Workshop On Agent Theories,
Architectures and Languages, Castelfranchi and Lesperance
(eds.), Lecture Notes in Artificial Intelligence, 1986,
Springer, 2001.
M. d’Inverno and M. Luck, Formal Agent Development:
Framework to System, in Formal Approaches to Agent-Based
Systems: First International Framework, FAABS 2000, Rash,
Truszkowski, Rouff, Hinchey, LNAI 1871, Springer, 2001.
M. Luck and M. d’Inverno, Plan Analysis for Autonomous
Sociological Agents, Seventh International Workshop On
Agent Theories, Architectures and Languages, Castelfranchi
and Lesperance (eds.), Lecture Notes in Artificial
Intelligence, 1986, Springer, 2000
M. d’Inverno, K. Hindriks, and M. Luck, A Formal
Architecture for the 3APL Agent Programming Language,
ZB2000 - First International Conference of B and Z Users,
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
(eds.), 168-187, Springer Verlag 1878, 2000.
M. d’Inverno and M. Luck. 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.
M. Luck and M. d’Inverno. Motivated Behaviour for Goal
Adoption. In Proceedings of the Third Australian Workshop
on Distributed Artificial Intelligence, Zhang and Lukose
(eds.), Lecture Notes in Artificial Intelligence, 1544,
58-73, Springer-Verlag, 1998.
M. d’Inverno, D. Kinny, M. Luck and M. Wooldridge. A Formal
Specification of dMARS. In Intelligent Agents IV —
Proceedings of the Fourth International Workshop on Agent
Theories, Architectures, and Languages, M. P. Singh, A. S.
Rao, and M. J. Wooldridge (eds.), Lecture Notes in
Artificial Intelligence, 1365, 155–176, Springer-Verlag,
1998.
M. d’Inverno and M. Luck. Making and Breaking Engagements:
An Operational Analysis of Agent Relationships. In
Multi-Agent Systems Methodologies and Applications:
Proceedings of the Second Australian Workshop on
Distributed Artificial Intelligence, Zhang and Lukose
(eds.), Lecture Notes in Artificial Intelligence, 1286,
48–62, Springer-Verlag, 1997.
M. d’Inverno M. and Hu. A Formal Specification of the
Soft-Link Hypertext Model. In Hinchey, M., Bowen, J. and
Till, D., editors, ZUM’97: 10th International Conference of
Z Users, Lecture Notes in Computer Science, 297-316, 1997.
M. Luck, N. Griffiths and M. d’Inverno. From Agent Theory to
Agent Construction: A Case Study. In Intelligent Agents III
— Proceedings of the Third International Workshop on Agent
Theories, Architectures, and Languages, J. P. Muller, M. J.
Wooldridge and N. R. Jennings (eds.), Lecture Notes in
Artificial Intelligence, 1193, 49–63, Springer-Verlag, 1997.
M. Luck and M. d’Inverno. Engagement and Cooperation in
Motivated Agent Modelling. In Distributed Artificial
Intelligence Architecture and Modelling: Proceedings of the
First Australian Workshop on Distributed Artificial
Intelligence, Zhang and Lukose (eds.), Lecture Notes in
Artificial Intelligence, 1087, 70–84, Springer-Verlag, 1996.
M. d’Inverno and M. Luck. A Formal View of Social
Dependence Networks. In Distributed Artificial Intelligence
Architecture and Modelling: Proceedings of the First
Australian Workshop on Distributed Artificial Intelligence,
Zhang and Lukose (eds.), Lecture Notes in Artificial
Intelligence, 1087, 115–129, Springer-Verlag, 1996.
M. d’Inverno and M. Luck. Formalising the Contract Net as a
Goal-Directed System. In Agents Breaking Away: Proceedings
of the Seventh European Workshop on Modelling Autonomous
Agents in a Multi-Agent World, Van de Velde and Perram
(eds.), Lecture Notes in Artificial Intelligence, 1038,
72–85, Springer-Verlag. 1996.
Conference Papers
Sara Montagna, Andrea Omicini, Alessandro Ricci, and Mark
d’Inverno. Modelling hematopoietic stem cell behaviour: An
approach based on multi-agent systems. In Frank Allg¨ower
and Matthias Reuss, editors, 2nd Conference “Foundations of
Systems Biology in Engineering” (FOSBE 2007), pages
243–248, Stuttgart, Germany, 9–12 September 2007.
Fraunhofer IBR Verlag.
Jon Bird, Mark d’Inverno and Jane Prophet, Net Work:
Lessons from collaboratively designing an interactive
artwork, International Conference on Generative Art, Milan,
2006.
F. Lopez y Lopez, M. Luck, and M. d’Inverno, A Normative
Framework for Agent-Based Systems, in Proc. 1st
International Symposium on Normative Multiagent Systems,
2005
Mark d’Inverno, John Eacott and Fredrik Olofsson, Towards
Intelligent Responsive Sound, EVA Conference. University
College London, London, 2005.
Mark dInverno and Jane Prophet. Creative conflict in
Interdisciplinary Collaboration: interpretation, scale and
emergence. In Ernest Edmonds and Ross Gibson, editors,
Interaction: Systems, Theory and Practice, pages 251–270.
ACM, 2004.
S. Munroe, M. Luck, and M. d’Inverno. Negotiation-Based
Partner Selection. In Proceedings of the Third
International Conference on Autonomous Agents and
Multi-Agent Systems, 1520-1521, 2004.
Mark d’Inverno, Henrik Lorstad, John Eacott, and Fredrik
Oloffson. The intelligent street: Responsive sound
environments for social interaction. ACM SIGCHI
International Conference on Advances in Computer
Entertainment Technology (ACE 02), pages 155-162, ACM,
2004.
R. Ashri, M. Luck, and Mark d’Inverno. A typology of
relationships and goals for regulation and coordination. In
Proceedings of the ECAI Workshop in Coordination in
Emerging Agent Societies, Valencia, 2004.
R. Ashri, M. Luck, and Mark d’Inverno. Identifying
opportunities and constraints for goal achievement through
relationship analysis. In Proceedings of the Third
International Conference on Autonomous Agents and
Multi-Agent Systems, pages 1452-1453, 2004.
F. Lopez y Lopez, M. Luck, and M. d’Inverno. Normative
agent reasoning in dynamic societies. In Proceedings of the
Second International Conference on Autonomous Agents and
Multi-Agent Systems, pages 732-737, 2004
R. Ashri, M. Luck and M. d’Inverno, On Identifying and
Managing Relationships in Multi- Agent Systems, in
Proceedings of the Eighteenth International Joint
Conference on Artificial Intelligence, Acapulco, Mexico,
2003.
S. Munroe, M. Luck and M. d’Inverno, Towards a
motivation-Based Approach for Evaluating Goals, Second
International Joint Conference on Autonomous Agents and
Multi-Agent Systems, Melbourne, Australia, 2003.
F. Lopez y Lopez, M. Luck and M. d’Inverno, Constraining
Autonomy through Norms, in Proceedings of the First
International Joint Conference on Autonomous Agents and
Multi-Agent Systems, ACM Press, pages 674-681, 2002.
F. Lopez y Lopez, M. Luck and M. d’Inverno, A Conceptual
Framework for Norm-based Inter-Agent Dependence, In
Proceedings of the Third Mexican International Conference
on Computer Science, 31-40, 2001.
F. Lopez y Lopez, M. Luck and M. d’Inverno, Constraining
Autonomy through Norms, in Proceedings of the First
International Joint Conference on Autonomous Agents and
Multi-Agent Systems, ACM Press, 674-681, 2001.
M. d’Inverno and J. Eacott, On Intelligent Embedded Ambient
Music, Cybersonica, First Symposium on digital music and
technology, Institute for Contemporary Arts, London, UK,
2001.
M. Luck and M. d’Inverno, Sociological Agents for Effective
Social Action, In Proceedings of the Fifth International
Conference on Multi-Agent Systems, IEEE Computer Society,
2000.
K. Hindriks, M. d’Inverno and M. Luck, Architecture for
Agent Programming Languages in Proceedings of the 14th
European Conference on Artificial Intelligence, Werner Horn
(ed), IOS Press, 363-367, 2000.
M. d’Inverno, D. Kinny, and M. Luck. Interaction Protocols
in Agentis. In Proceedings of the Third International
Conference on Multi-Agent Systems, 112–119, IEEE Computer
Society Press, Los Alamitos, CA, 1998.
M. d’Inverno and M. Luck. Development and Application of a
Formal Agent Framework. In Proceedings of the First IEEE
International Conference on Formal Engineering Methods,
222– 231, IEEE Press, New York NY, 1997.
M. d’Inverno, M. Luck and M. Wooldridge. Cooperation
Structures. In Proceedings of the Fifteenth International
Joint Conference on Artificial Intelligence, Nagoya, Japan,
600–605, IJCAI, 1997.
M. d’Inverno and M. Luck. Understanding Autonomous
Interaction. In ECAI ’96: Proceedings of the 12th European
Conference on Artificial Intelligence, W. Wahlster (ed.),
529–533, John Wiley and Sons, 1996.
M. d’Inverno, G. R. Justo and P. Howells. A Formal
Framework for Specifying Design Methodologies. In 29th
Annual Hawaii International Conference on System Sciences,
pages 741-750, IEEE Computer Society Press, 1996.
M. Luck and M. d’Inverno. 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.
M. Luck and M. d’Inverno. Goal Generation and Adoption in
Hierarchical Agent Models. In Proceedings of the 8th
Australian Joint Conference on Artificial Intelligence,
World Scientific, 1995.
M. Luck and M. d’Inverno. 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, 1995.
M. d’Inverno and M. Priestley. Structuring a Z Specification
to Provide a Unifying Framework for Hypertext Systems. In
ZUM’95: 9th International Conference of Z Users, Lecture
Notes in Computer Science, Bowen, J. P. and Hinchey, M. G.
editors, Springer-Verlag, Heidelberg, pages 58-73, 1995.
M. d’Inverno and J. Crowcroft. Design, Specification and
Implementation of an Interactive Conferencing System. In
Proceedings of IEEE Infocom, Miami, USA. Published IEEE,
1991.