Book Chapters

Jon McCormack and Mark d'Inverno, Why does Computing matter to Creativity?, Jon McCormack and Mark d'Inverno (eds), vii-xiii, Springer, 2012.

Jon McCormack and Mark d'Inverno, Computers and Creativity: the Road Ahead, Creativity and Computers, Jon McCormack and Mark d'Inverno (eds), 421-424, Springer, 2012.

Harold Cohen, Freda Nake, David Brown, Paul Brown, Phil Galanter, Jon McCormack, and Mark d'Inverno, Evaluation of Creative Aesthetics, in Jon McCormack and Mark d'Inverno (eds), 95-114, Springer, 2012.

Daniel Jones, Andrew Brown and Mark d'Inverno, The Extended Composer, in Jon McCormack and Mark d'Inverno (eds), 175-204, Springer, 2012.

Mark d’Inverno, Paul Howells, Sara Montagna, Ingo Roeder and Rob Saunders, Agent-Based Modeling of Stem Cells, Multi-Agent Systems and Simulation, Adelinde M. Uhrmacher and Danny Weyns (eds), Taylor and Francis Group, pages 154-189, 2009

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, 2008.

Jane Prophet and Mark d’Inverno, Transdisciplinary Research in CELL, Aesthetic Computing, Editor Paul Fishwick, MIT Press, 2006.

Mark d’Inverno and Ro bSaunders, 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.

Steve Munroe, Michael Luck, and Mark d’Inverno. Towards motivation-based decisions for worth goals. In Multi-AgentSystems and Applications III, volume 2691 of LNAI, pages 17-28. Springer, 2003

Natthan Griffiths, Michael Luck and Mark 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.

Michael Luck, Steve Munroe and Mark d’Inverno, Autonomy: Variable and Gen- erative, in Agent Autonomy, H. Hexmoor, C. Castelfranchi, and R. Falcone (eds.), Kluwer, 9-22, 2003.

Steve Munroe, Michael Luck and Mark d’Inverno, Towards Motivation-Based de- cisions for Worth Goals, in Multi-Agent Systems and Applications III, V. Marik, J. Mueller and M. Pechoucek (eds.), LNAI 2691, Springer, 17-28, 2003.

Ron Ashri, Michael Luck and Mark 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 Intel- ligence 2403, Springer-Verlag, 73-88, 2002.

Mark d’Inverno and Michael Luck, Autonomy - A Good Idea in Theory Seventh International Workshop On Agent Theories, Architectures and Languages, Castel- franchi and Lesperance (eds.), Lecture Notes in Artificial Intelligence, 1986, Springer, 2001.

Mark d’Inverno and Michael 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.

Michael Luck and Mark 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

Mark d’Inverno, Koen Hindriks, and Michael 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.

Mark d’Inverno and Michael 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.

Michael Luck and Mark 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.

Mark d’Inverno, David Kinny, Michael Luck and Michael Wooldridge. A Formal Specification of dMARS. In Intelligent Agents IV Proceedings of the Fourth Inter- national Workshop on Agent Theories, Architectures, and Languages, M. P. Singh, A. S. Rao, and M. J. Wooldridge (eds.), Lecture Notes in Artificial Intelligence, 1365, 155176, Springer-Verlag, 1998.

Mark d’Inverno and Michael 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, 4862, Springer-Verlag, 1997.

Mark d’Inverno and Michael Hu. A Formal Specification of the Soft-Link Hypertext Model. In Hinchey, M., Bowen, J. and Till, D., editors, ZUM97: 10th International Conference of Z Users, Lecture Notes in Computer Science, 297-316, 1997.

Michael Luck, Natthan Griffiths and Mark d’Inverno. From Agent Theory to Agent Construction: A Case Study. In Intelligent Agents III Proceedings of the Third In- ternational Workshop on Agent Theories, Architectures, and Languages, J. P. Muller, M. J. Wooldridge and N. R. Jennings (eds.), Lecture Notes in Artificial Intelligence, 1193, 4963, Springer-Verlag, 1997.

Michael Luck and Mark d’Inverno, Engagement and Cooperation in Motivated Agent Modelling. In Distributed Artificial Intelligence Architecture and Modelling: Proceed- ings of the First Australian Workshop on Distributed Artificial Intelligence, Zhang and Lukose (eds.), Lecture Notes in Artificial Intelligence, 1087, 7084, Springer-Verlag, 1996.

Mark d’Inverno and Michael 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, 115129, Springer-Verlag, 1996.

Mark d’Inverno and Michael 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, 7285, Springer-Verlag. 1996.