Daniel Jones, Andrew Brown
and Mark d’Inverno, Stimulating creative flow through
computational feedback, Computational Creativity (Jon
McCormack and Mark d’Inverno (eds)), Springer, to appear
2011.
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 (editors), Taylor and Francis
Group, 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 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.