Navigation

Prof Mark d'Inverno

Staff details

PositionProfessor
Department Computing
Email dinverno (@gold.ac.uk)
Phone+44 (0)20 7717 2985
Prof Mark d'Inverno

Areas of supervision

The theory and application of intelligent agent systems – biological modelling, art and design.

Research Interests

Interdisicplinary Research: The appplication of intelligent agents in biology, music, art and design. For example, agent-based modelling and simulation of the self-organising system of adult stem cells. I'm really interested in how you build and sustain interdisicplinary teams to tackle current local and global problems.

Computer Science: The theory and practice of Intelligent agent and multi-agent systems. Social modelling. Formal methods specifying the design and architecture of software systems.

Current research

The SMART Framework for Agency and Autonomy

The richness of the agent metaphor that leads to many different uses of the term has also caused a situation where there is no commonly accepted notion of what it is that constitutes an agent. In response, we have developed a framework that precisely and unambiguously provides meanings for common concepts and terms, enables alternative models of particular classes of system to be described within it, and provides a foundation for subsequent development of increasingly more refined concepts. Our concern has been to develop well-defined formal concepts that can be used both as the basis of implementation, and also as a general framework for further research. This project has been in collaboration with Southampton University and, most notably with Professor Michael Luck

Agent Systems Specification
Complementing other strands of research, this work aims to start with implemented systems and formalise their architectures and operation in specifications that may then be used to inform more conceptual work. The benefits include better understanding and description of these systems, and the closer integration of agent theory and practice.

Electronic Institutions for E-Commerce

With the Artificial Intelligence Research Institute in Spain, we are building a definitive, operational model of an electronic institution. Electronic Institutions are the intelligent agentsÂ’ counterpart of human organisations, and are designed to provide support, trust and legitimacy in electronic commerce applications.

Design for the 21st Century

Designing Physical Artefacts from Computational Simulations

Collaborating with the artist Jane Prophet, as well as the international community of members of our the research cluster at interdisciplinary.co.uk, we are designing and building the installation Net Work, a floating network of interacting LEDs modelled as individual autonomous agents. There is a meta-investigation to this project, mapping the processes as they arise when artists, scientists, designers and engineers come together in collaboration. If you are interested in interdisciplinary research please check out our website and join the cluster if you would like to.

Modelling Adult Stem Cells using Multi-Agent Systems

Modelling Adult Stem Cells. In collaboration with several European, Australian and American partners, we are applying agent-based modelling to understand stem cell behaviour. As experiments with stem cells are fundamentally limited in several significant ways, the modelling and simulation of stem cell models becomes a critical means to investigate cell mechanisms. Through this work, we have recognised the importance of visualisation almost as a Trojan Horse for theoretical modelling in stem cell biology, and are working to understand how best to map simulations to visual interpretations for different communities.This project is part of a larger interdisciplinary project entitled CELL that was funded by the Wellcome Trust and includes the artist Jane Prophet, the stem cell researcher Neil Theise, the ALife programmer Rob Saunders and the curator Peter Ride.

Intelligent Responsive Sound

The Intelligent Street in collaboration John Eacott, Fredrik Oloffson, and with the Interactive Institute in Sweden, and Vodafone UK and Vodafone Sweden. In this project, users in a public space could text a range of commands such as chill, energise and dance to control music output that is written solely as algorithmic processes (ie no samples). There is potentially an infinite amount of flexibility of such systems and we built a system that enabled users to collaborate in order to build their collectively desired sonic soundscape. We are now developing an online generative music system that we allow users to collaborate in real-time musical composition, and exploring how agent-systems can be used as mechanisms to conceptualise and design music output.

Publications

Book

Agent-Based Software Development
Luck, Michael; Ashri, Ronald and d'Inverno, Mark. 2004. Agent-Based Software Development. Boston, Mass.: Artech House, pp. 1-226. ISBN 9781580536059

Understanding Agent Systems
d'Inverno, Mark and Luck, Michael. 2004. Understanding Agent Systems. Springer. ISBN 9783540407003

Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers
d'Inverno, Mark; Luck, Michael; Fisher, Michael and Preist, Chris. 2002. Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers. Berlin, Germany: Springer. ISBN 9783540439622

Edited Book

Computers and Creativity
d'Inverno, Mark and McCormack, John, eds. 2012. Computers and Creativity. UK: Springer. ISBN 978-3-642-31727-9

Book Section

A history of creativity for future AI research
Still, Arthur and d'Inverno, Mark. 2016. A history of creativity for future AI research. In: F. Pachet; A. Cardoso; V. Corruble and F. Ghedini, eds. Proceedings of the 7th Computational Creativity Conference. Paris: Universite Pierre et Marie Curie.

Experience driven design of creative systems
Yee-King, Matthew and d'Inverno, Mark. 2016. Experience driven design of creative systems. In: F. Pachet; A. Cardoso; V. Corruble and F. Ghedini, eds. Proceedings of the 7th Computational Creativity Conference (ICCC 2016). Paris: Universite Pierre et Marie Curie.

Designing improvisational interfaces
McCormack, Jon and d'Inverno, Mark. 2016. Designing improvisational interfaces. In: F. Pachet; A. Cardoso; V. Corruble and F. Ghedini, eds. Proceedings of the 7th Computational Creativity Conference (ICCC 2016). Paris: Universite Pierre et Marie Curie.

Heroic versus Collaborative AI for the Arts
d'Inverno, Mark and McCormack, Jon. 2015. Heroic versus Collaborative AI for the Arts. In: Qiang Yang and Michael Wooldridge, eds. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California: AAAI Press, pp. 2438-2444. ISBN 978-1-57735-738-4

Reflexive Loopers for Solo Music Improvisation
Pachet, François; Roy, Pierre; Moreira, Julien and d'Inverno, Mark. 2013. Reflexive Loopers for Solo Music Improvisation. In: Wendy E. Mackay; Stephen Brewster and Susanne Bødker, eds. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. 2205 New York: ACM, 2205 -2208. ISBN 9781450318990

Why does Computing matter to Creativity?
McCormack, Jon and d'Inverno, Mark. 2012. Why does Computing matter to Creativity? In: Jon McCormack and Mark d'Inverno, eds. Computers and Creativity. Berlin, Germany: Springer Berlin Heidelberg, i-vi. ISBN 978-3-642-31727-9

Computers and Creativity: The Road Ahead
McCormack, Jon and d'Inverno, Mark. 2012. Computers and Creativity: The Road Ahead. In: Jon McCormack and Mark d'Inverno, eds. Computers and Creativity. Berlin, Germany: Springer Berlin Heidelberg, pp. 421-424. ISBN 978-3-642-31726-2

Evaluation of Creative Aesthetics
Cohen, Harold; Nake, Frieder; Brown, David C.; Brown, Paul; Galanter, Philip; McCormack, Jon and d'Inverno, Mark. 2012. Evaluation of Creative Aesthetics. In: Jon McCormack and Mark d'Inverno, eds. Computers and Creativity. Berlin, Germany: Springer Berlin Heidelberg, pp. 95-111. ISBN 978-3-642-31726-2

The Extended Composer
Jones, Daniel; Brown, Andrew R. and d'Inverno, Mark. 2012. The Extended Composer. In: Jon McCormack and Mark d'Inverno, eds. Computers and Creativity. Berlin, Germany: Springer Berlin Heidelberg, pp. 175-203. ISBN 978-3-642-31726-2

Sharing Online Cultural Experiences: An Argument-Based Approach
Amgoud, Leila; Confalonieri, Roberto; de Jonge, Dave; d'Inverno, Mark; Hazelden, Katina; Osman, Nardine; Prade, Henri; Sierra, Carles and Yee-King, Matthew. 2012. Sharing Online Cultural Experiences: An Argument-Based Approach. In: Mateu Villaret; Beatriz López; Yasuo Narukawa and Vicenç Torra, eds. Modeling Decisions for Artificial Intelligence. 7647 Berlin, Germany: Springer, pp. 282-293. ISBN 9783642346194

Designing physical artefacts from computational simulations and building computational simulations of physical systems.
d'Inverno, Mark and Prophet, Jane. 2010. Designing physical artefacts from computational simulations and building computational simulations of physical systems. In: , ed. Design for the 21st Century. Gower Publishing. ISBN 978-1-4094-0411-8

Agent-based modeling of stem cells
d'Inverno, Mark; Howells, Paul; Montagna, Sara; Roeder, Ingo and Saunders, Rob. 2009. Agent-based modeling of stem cells. In: Adelinde Uhrmacher and Danny Weyns, eds. Multi-agent systems: simulation and applications. Boca Raton, FL: CRC Press, Taylor & Francis Group, pp. 389-422. ISBN 9781420070231

Formal Methods and Agent-Based Systems
Luck, Michael and d'Inverno, Mark. 2006. Formal Methods and Agent-Based Systems. In: Christopher A. Rouff; Michael Hinchey; James Rash; Walter Truszkowski and Diana Gordon-Spears, eds. Agent Technology from a Formal Perspective. Berlin, Germany: Springer, pp. 65-96. ISBN 9781852339470

Transdisciplinary Research in CELL
Prophet, Jane and d'Inverno, Mark. 2006. Transdisciplinary Research in CELL. In: , ed. Aesthetic Computing. -: MIT Press. ISBN 9780262562379

Mathematical Modeling of Stem Cells: A Complexity Primer for the Stem-Cell Biologist
d'Inverno, Mark; Theise, Neil and Prophet, Jane. 2006. Mathematical Modeling of Stem Cells: A Complexity Primer for the Stem-Cell Biologist. In: Christopher S. Potten; Robert B. Clarke; James Wilson and Andrew G. Renehan, eds. Tissue Stem Cells. New York, NY: Taylor and Francis, pp. 1-16. ISBN 9780824728991

Agent-based modelling of Stem Cell organisation in a Niche
d'Inverno, Mark and Saunders, Rob. 2006. Agent-based modelling of Stem Cell organisation in a Niche. In: , ed. Methodologies and Applications. Berlin, Germany: Springer Berlin Heidelberg, pp. 389-418. ISBN 978-3-540-31901-6

Multidisciplinary Investigation into Adult Stem Cell Behaviour
d'Inverno, Mark and Prophet, Jane. 2006. Multidisciplinary Investigation into Adult Stem Cell Behaviour. In: , ed. Computer Science and Bioinformatics: Multidisciplinary Models, Metaphors and Tools. Berlin, Germany: Springer Berlin Heidelberg, pp. 49-64. ISBN 9783540308836

Agent-based modelling of stem cell self-organisation in a niche
d'Inverno, Mark and Saunders, Rob. 2005. Agent-based modelling of stem cell self-organisation in a niche. In: Sven A. Brueckner; Giovanna Di Marzo Serugendo; Anthony Karageorgos and Radhika Nagpal, eds. Engineering self-organising systems: methodologies and applications. Berlin, Germany: Springer, pp. 52-68. ISBN 9783540261803

Motivation-based selection of negotiation partners
Munroe, Steve; Luck, Michael and d'Inverno, Mark. 2004. Motivation-based selection of negotiation partners. In: Frances Titsworth, ed. Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems. USA: IEEE Computer Press, pp. 1520-1521. ISBN 0769520928

Normative agent reasoning in dynamic societies
Lopez y Lopez, Fabiola; Luck, Michael and d'Inverno, Mark. 2004. Normative agent reasoning in dynamic societies. In: Frances Titsworth, ed. Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems. USA: IEEE Computer Press, pp. 732-739. ISBN 0769520928

The intelligent street: responsive sound environments for social interaction
Lörstad, Henrik; d'Inverno, Mark and Eacott, John. 2004. The intelligent street: responsive sound environments for social interaction. In: , ed. Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology. New York, NY: ACM, pp. 155-162. ISBN 1581138822

Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence
Prophet, Jane and d'Inverno, Mark. 2004. Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence. In: Ernest Edmonds and Ross Gibson, eds. Interaction: systems, theory and practice. Sydney, Australia: Creativity & Cognition Studios Press, pp. 251-270. ISBN 9780975153314

Negotiation-Based Partner Selection
Munroe, Steve; Luck, Michael and d'Inverno, Mark. 2004. Negotiation-Based Partner Selection. In: , ed. Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems. UNSPECIFIED, pp. 1520-1521.

Annotating Cooperative Plans with Trusted Agents
Griffiths, Nathan; Luck, Michael and d'Inverno, Mark. 2003. Annotating Cooperative Plans with Trusted Agents. In: Rino Falcone; Suzanne Barber; Larry Korba and Munindar Singh, eds. Trust, Reputation, and Security: Theories and Practice. Berlin, Germany: Springer, pp. 87-107. ISBN 9783540009887

Towards Motivation-Based Decisions for Worth Goals
Munroe, Steve; Luck, Michael and d'Inverno, Mark. 2003. Towards Motivation-Based Decisions for Worth Goals. In: Vladimír Mařík; Michal Pěchouček and Jörg Müller, eds. Multi-Agent Systems and Applications III. 2691 Berlin, Germany: Springer, pp. 17-28. ISBN 9783540404507

Autonomy: Variable and generative
Luck, Michael; d'Inverno, Mark and Munroe, Steve. 2003. Autonomy: Variable and generative. In: Henry Hexmoor; Cristiano Castelfranchi and Rino Falcone, eds. Agent Autonomy. Boston, MA: Springer, pp. 11-28. ISBN 978-1-4020-7402-8

Infrastructure Support for Agent-Based Development
Ashri, Ronald; Luck, Michael and d'Inverno, Mark. 2002. Infrastructure Support for Agent-Based Development. In: Mark d'Inverno; Michael Luck; Michael Fisher and Chris Preist, eds. Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers. 2403 Berlin, Germany: Springer, pp. 73-88. ISBN 9783540439622

Plan Analysis for Autonomous Sociological Agents
Luck, Michael and d'Inverno, Mark. 2001. Plan Analysis for Autonomous Sociological Agents. In: Cristiano Castelfranchi and Yves Lespérance, eds. Intelligent Agents VII Agent Theories Architectures and Languages. 1986 Berlin, Germany: Springer, pp. 182-197. ISBN 9783540424222

Autonomy: A Nice Idea in Theory
Luck, Michael and d'Inverno, Mark. 2001. Autonomy: A Nice Idea in Theory. In: , ed. Intelligent Agents VII Agent Theories Architectures and Languages. 1986 Berlin, Germany: Springer Berlin Heidelberg, pp. 351-353. ISBN 978-3-540-44631-6

Formal Agent Development: Framework to System
d'Inverno, Mark and Luck, Michael. 2001. Formal Agent Development: Framework to System. In: Diana Gordon; Michael G. Hinchey; Walt Truszkowski; James L. Rash and Christopher A. Rouff, eds. Formal Approaches to Agent-Based Systems. Berlin, Germany: Springer, pp. 133-147. ISBN 9783540427162

Architecture for Agent Programming Languages
Hindriks, Koen; d'Inverno, Mark and Luck, Michael. 2000. Architecture for Agent Programming Languages. In: Werner Horn, ed. ECAI 2000 Proceedings. Washington, D.C.: IOS Press, pp. 363-367. ISBN 9781586030131

A Formal Architecture for the 3APL Agent Programming Language
d'Inverno, Mark; Hindriks, Koen and Luck, Michael. 2000. A Formal Architecture for the 3APL Agent Programming Language. In: Gerhard Goos; Juris Hartmanis and Jan van Leeuwen, eds. ZB 2000: Formal Specification and Development in Z and B. 1878 Berlin, Germany: Springer, pp. 168-187. ISBN 9783540679448

Sociological agents for effective social action
d'Inverno, Mark and Luck, Michael. 2000. Sociological agents for effective social action. In: Bob Werner, ed. Fourth International Conference on MultiAgent Systems : proceedings : Boston, Massachusetts, USA, July 10-12, 2000. Los Alamitos, CA: IEEE Computer Society, pp. 379-380. ISBN 0769506259

Autonomy - A Nice Idea in Theory
d'Inverno, Mark and Luck, Michael. 2000. Autonomy - A Nice Idea in Theory. In: , ed. Proceedings of the Seventh International Workshop On Agent Theories, Architectures and Languages. Boston: UNSPECIFIED.

Agent Models and Plans
d'Inverno, Mark and Luck, Michael. 1999. Agent Models and Plans. In: , ed. Agent Models and Plans. -: Springer Hungarica, pp. 44-58. ISBN -

Motivated Behaviour for Goal Adoption
Luck, Michael and d'Inverno, Mark. 1998. Motivated Behaviour for Goal Adoption. In: Chenqi Zhang and Dickson Lukose, eds. Multi-Agent Systems. Theories, Languages and Applications. 1544 Berlin, Germany: Springer, pp. 58-73. ISBN 9783540654773

A formal specification of dMARS
d'Inverno, Mark; Kinny, David; Luck, Michael and Wooldridge, Michael. 1998. A formal specification of dMARS. In: Munindar P. Singh; Anand Rao and Michael J. Wooldridge, eds. Intelligent Agents IV: Agent Theories, Architectures, and Languages. 1365 Berlin, Germany: Springer, pp. 155-176. ISBN 9783540641629

Interaction protocols in Agentis
d'Inverno, Mark; Kinney, D. and Luck, Michael. 1998. Interaction protocols in Agentis. In: Bob Werner, ed. International Conference on Multi Agent Systems, 1998. Proceedings. Washington, D.C.: The Institute of Electrical and Electronics Engineers, pp. 112-119. ISBN 081868500X

From agent theory to agent construction: A case study
Luck, Michael; Griffiths, Nathan and d'Inverno, Mark. 1997. From agent theory to agent construction: A case study. In: Jörg P. Müller; Michael J. Wooldridge and Nicholas R. Jennings, eds. Intelligent Agents III Agent Theories, Architectures, and Languages. 1193 Berlin, Germany: Springer, pp. 49-63. ISBN 9783540625070

Cooperation Structures
d'Inverno, Mark; Luck, Michael and Wooldridge, Michael. 1997. Cooperation Structures. In: Martha E. Pollack, ed. IJCAI '97 : Proceedings of the fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, August 23-29, 1997. San Francisco, CA: Morgan Kaufmann, pp. 600-605. ISBN 9781558604803

Making and breaking engagements: An operational analysis of agent relationships
d'Inverno, Mark and Luck, Michael. 1997. Making and breaking engagements: An operational analysis of agent relationships. In: Chengqi Zhang and Dickson Lukose, eds. Multi-Agent Systems Methodologies and Applications. 1286 Berlin, Germany: Springer, pp. 48-62. ISBN 9783540634126

Engagement and cooperation in motivated agent modelling
Luck, Michael and d'Inverno, Mark. 1996. Engagement and cooperation in motivated agent modelling. In: Chengqi Zhang and Dickson Lukose, eds. Distributed Artificial Intelligence Architecture and Modelling. Berlin, Germany: Springer, pp. 70-84. ISBN 9783540613145

Formalising the Contract Net as a goal-directed system
d'Inverno, Mark and Luck, Michael. 1996. Formalising the Contract Net as a goal-directed system. In: Walter Van de Velde and John W. Perram, eds. Agents Breaking Away. Berlin, Germany: Springer, pp. 72-85. ISBN 9783540608523

A formal view of social dependence networks
d'Inverno, Mark and Luck, Michael. 1996. A formal view of social dependence networks. In: Dickson Lukose and Chengqi Zhang, eds. Distributed Artificial Intelligence Architecture and Modelling. 1087 Berlin, Germany: Springer, pp. 115-129. ISBN 9783540613145

Understanding Autonomous Interaction
d'Inverno, Mark and Luck, Michael. 1996. Understanding Autonomous Interaction. In: Wolfgang Wahlster, ed. ECAI 96 : 12th European Conference on Artificial Intelligence, August 11-16, 1996, Budapest, Hungary : proceedings. Chichester, UK: Wiley, pp. 529-533. ISBN 0471968099

Structuring a Z specification to provide a formal framework for autonomous agent systems
Luck, Michael and d'Inverno, Mark. 1995. Structuring a Z specification to provide a formal framework for autonomous agent systems. In: Jonathan P. Bowen and Michael G. Hinchey, eds. ZUM '95: The Z Formal Specification Notation. 967 Berlin, Germany: Springer, pp. 46-62. ISBN 9783540602712

A Formal Framework for Agency and Autonomy
Luck, Michael and d'Inverno, Mark. 1995. A Formal Framework for Agency and Autonomy. In: Victor Lesser, ed. ICMAS-95 : proceedings First International Conference on Multi-Agent Systems. Cambridge, MA: MIT Press, pp. 254-260. ISBN 0262621029

Structuring specification in Z to build a unifying framework for hypertext systems
d'Inverno, Mark and Priestley, Mark. 1995. Structuring specification in Z to build a unifying framework for hypertext systems. In: Jonathan P. Bowen and Michael G. Hinchey, eds. ZUM '95: The Z Formal Specification Notation. 967 Berlin, Germany: Springer, pp. 83-102. ISBN 9783540602712

Knowledge interchange protocols
Campbell, John A. and d'Inverno, Mark. 1990. Knowledge interchange protocols. In: Yves Demazeau and Jean-Pierre Müller, eds. Decentralized AI: Proceedings of the First European Workshop on Modeling Autonomous Agents in a Multi-Agent World. Amsterdam, Netherlands: North-Holland, pp. 63-80. ISBN 9780444887054

Languages and Formal Methods
Crowcroft, J and d'Inverno, Mark. Languages and Formal Methods. In: J Crowcroft, ed. Open Distributed Systems. UCL Press..

Article

Engineering multiuser museum interactives for shared cultural experiences
Confalonieri, Roberto; Yee-King, Matthew; Hazelden, Katina; d'Inverno, Mark; De Jonge, Dave; Osman, Nardine; Sierra, Carles; Agmoud, Leila and Prade, Henri. 2015. Engineering multiuser museum interactives for shared cultural experiences. Engineering Applications of Artificial Intelligence, 46(Part A), pp. 180-195. ISSN 0952-1976

Fluid gesture interaction design: applications of continuous recognition for the design of modern gestural interfaces
Zamborlin, Bruno; Bevilacqua, Frédéric; Gillies, Marco and d'Inverno, Mark. 2014. Fluid gesture interaction design: applications of continuous recognition for the design of modern gestural interfaces. ACM Transactions on Interactive Intelligent Systems, 3(4), pp. 30-45. ISSN 2160-6455

Crowd-based socio-cognitive systems
Noriega, Pablo and d'Inverno, Mark. 2014. Crowd-based socio-cognitive systems. Crowd Intelligence: Foundations, Methods and Practices. European Network for Social Intelligence, Barcelona, January, 1148, pp. 1-15. ISSN 1613-0073

Pedagogical Agents for Social Music Learning in Crowd-Based Socio-Cognitive Systems
Yee-King, Matthew and d'Inverno, Mark. 2014. Pedagogical Agents for Social Music Learning in Crowd-Based Socio-Cognitive Systems. Crowd Intelligence: Foundations, Methods, and Practices (CEUR Workshop Proceedings), 1148, pp. 76-93. ISSN 1613-0073

Specifying Termination in CSP
Howells, Paul and d'Inverno, Mark. 2013. Specifying Termination in CSP. Theoretical Computer Science, 503, pp. 31-60. ISSN 0304-3975

Flexible termination semantics
Paul, Howells and Mark, d'Inverno. 2013. Flexible termination semantics. Theoretical Computer Science, 503, pp. 31-60. ISSN 0304-3975

Creativity through autonomy and interaction
d'Inverno, Mark and Luck, Michael. 2012. Creativity through autonomy and interaction. Cognitive Computation, 4(3), pp. 332-346. ISSN 1866-9956

Communicating open systems
d'Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A and Sierra, Carles. 2012. Communicating open systems. Artificial Intelligence, 186, pp. 38-94. ISSN 0004-3702

Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery
Fields, Ben; Jacobson, Kurt; Rhodes, Christophe; d'Inverno, Mark; Sandler, Mark and Casey, Michael A.. 2011. Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery. IEEE Transactions on Multimedia, 13(4), pp. 674-686. ISSN 1520-9210

Towards a Distributed Research Environment for Music Informatics and Computational Musicology
Dixon, Simon; Sandler, Mark; d'Inverno, Mark and Rhodes, Christophe. 2010. Towards a Distributed Research Environment for Music Informatics and Computational Musicology. Journal of New Music Research, 39(4), pp. 291-294. ISSN 0929-8215

Linked Data and you: Bringing music research software into the Semantic Web
Cannam, Chris; Sandler, Mark; Jewell, Michael O; Rhodes, Christophe and d'Inverno, Mark. 2010. Linked Data and you: Bringing music research software into the Semantic Web. Journal of New Music Research, 39(4), pp. 313-325. ISSN 0929-8215

Investigating music collections at different scales with AudioDB
Rhodes, Christophe; Crawford, Tim; Casey, Michael A. and d'Inverno, Mark. 2010. Investigating music collections at different scales with AudioDB. Journal of New Music Research, 39(4), pp. 337-348. ISSN 0929-8215

A CSP model with flexible parallel termination semantics
Howells, Paul and d'Inverno, Mark. 2009. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing, 21(5), pp. 421-449. ISSN 0934-5043

New experimental and theoretical investigations of hematopoietic stem cells and chronic myeloid leukemia
Roeder, Ingo and d'Inverno, Mark. 2009. New experimental and theoretical investigations of hematopoietic stem cells and chronic myeloid leukemia. Blood Cells, Molecules, and Diseases, 43(1), pp. 88-97. ISSN 1079-9796

Agents in bioinformatics, computational and systems biology
Merelli, Emanuela; Armano, Giuliano; Cannata, Nicola; Corradini, Flavio; d'Inverno, Mark; Doms, Andreas; Lord, Phillip; Martin, Andrew; Milanesi, Luciano; Möller, Steffen; Schroeder, Michael and Luck, Michael. 2007. Agents in bioinformatics, computational and systems biology. Briefings in Bioinformatics, 8(1), pp. 45-59. ISSN 1467-5463

Net Work: an interactive artwork designed using an interdisciplinary performative approach
Bird, Jon; d'Inverno, Mark and Prophet, Jane. 2007. Net Work: an interactive artwork designed using an interdisciplinary performative approach. Digital Creativity, 18(1), pp. 11-23. ISSN 1462-6268

A normative framework for agent-based systems
y López, Fabiola López; Luck, Michael and d'Inverno, Mark. 2006. A normative framework for agent-based systems. Computational and Mathematical Organization Theory, 12(2-3), pp. 227-250. ISSN 1381-298X

From SMART to agent systems development
Ashri, Ronald; Luck, Michael and d'Inverno, Mark. 2005. From SMART to agent systems development. Engineering Applications of Artificial Intelligence, 18(2), pp. 129-140. ISSN 0952-1976

The dMARS architecture. A specification of the distributed multi-agent reasoning system.
d'Inverno, Mark; Georgeff, M.; Kinny, D. and Luck, M.. 2004. The dMARS architecture. A specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems, 9(1/2), pp. 5-53. ISSN 13872532

Understanding cell lineages as complex adaptive systems
d'Inverno, Mark and Theise, Neil. 2004. Understanding cell lineages as complex adaptive systems. Blood Cells Molecules and Diseases, 32(1), pp. 17-20. ISSN 1079-9796

Embedded intelligent music–or iHiFi the intelligent HiFi
Eacott, John and d'Inverno, Mark. 2003. Embedded intelligent music–or iHiFi the intelligent HiFi. Digital Creativity, 14(2), pp. 67-73. ISSN 1462-6268

Unifying agent systems
Luck, Michael and d'Inverno, Mark. 2003. Unifying agent systems. Annals of Mathematics and Artificial Intelligence, 37(1-2), pp. 131-167. ISSN 1012-2443

Practical and theoretical innovations in multi-agent systems research
d'Inverno, Mark; Luck, Michael and Ukmas, Ukmas. 2002. Practical and theoretical innovations in multi-agent systems research. The Knowledge Engineering Review, 17(3), pp. 295-301. ISSN 0269-8889

Soft-link hypertext for information retrieval
d'Inverno, Mark; Howells, Paul; Hu, Michael and Luck, Michael. 2002. Soft-link hypertext for information retrieval. Information and Software Technology, 44(2), pp. 101-112. ISSN 0950-5849

A Conceptual Framework for Agent Definition and Development
Luck, Michael and d'Inverno, Mark. 2001. A Conceptual Framework for Agent Definition and Development. The Computer Journal, 44(1), pp. 1-20. ISSN 0010-4620

Learning in multi-agent systems
Alonso, Eduardo; d'Inverno, Mark; Kudenko, Daniel; Luck, Michael and Noble, Jason. 2001. Learning in multi-agent systems. The Knowledge Engineering Review, 16(3), pp. 277-284. ISSN 0269-8889

Multi-agent systems research into the 21st century
d'Inverno, Mark and Luck, Michael. 2001. Multi-agent systems research into the 21st century. The Knowledge Engineering Review, 16(3), pp. 271-275. ISSN 0269-8889

Formalising high-performance systems methodologies
Ribeiro Justo, G.R.; Howells, Paul and d'Inverno, Mark. 1999. Formalising high-performance systems methodologies. Journal of Systems Architecture, 45(6-7), pp. 441-464. ISSN 1383-7621

Negotiation in multi-agent systems
Beer, Martin; d'Inverno, Mark; Luck, Michael; Jennings, Nick; Preist, Chris and Schroeder, Michael. 1999. Negotiation in multi-agent systems. The Knowledge Engineering Review, 14(3), pp. 285-289. ISSN 0269-8889

Foundations of Multi-Agent systems: techniques, tools and theory
Lee, LC; Collis, JC; Binmore, K; Vulcan, N; van Eijk, RM; de Boer, FS; van der Hoek, W; Meyer, JJ Ch; Padget, J; Bradford, R; d'Inverno, Mark; Luck, Michael and Fisher, Michael. 1998. Foundations of Multi-Agent systems: techniques, tools and theory. The Knowledge Engineering Review, pp. 297-302.

Engineering AgentSpeak(L): A formal computational model
d'Inverno, Mark and Luck, Michael. 1998. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3), pp. 233-260. ISSN 0955-792X

A Formal Framework for Hypertext Systems
d'Inverno, Mark; Priestley, Mark and Luck, Michael. 1997. A Formal Framework for Hypertext Systems. Software Engineering. IEE Proceedings, 144(3), pp. 175-184. ISSN 1364-5080

Formalisms for multi-agent systems
d'Inverno, Mark; Fisher, Michael; Lomuscio, Alessio; Luck, Michael; De Rijke, Maarten; Ryan, Mark and Wooldridge, Michael. 1997. Formalisms for multi-agent systems. The Knowledge Engineering Review, 12(03), pp. 315-321.

A Formal Framework For Specifying Design Methods
d'Inverno, Mark; Justo, G.R. Ribeiro and Howells, Paul. 1996. A Formal Framework For Specifying Design Methods. Software Process: Improvement and Practice, 2(3), pp. 181-196. ISSN 1077-4866

Conference or Workshop Item

Investigating Swarm Intelligence for Performance Prediction
al-Rifaie, Mohammad Majid; Yee-King, Matthew and d'Inverno, Mark. 2016. 'Investigating Swarm Intelligence for Performance Prediction'. In: Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, United States.

Experience Driven Design of Creative Systems
Yee-King, Matthew and d'Inverno, Mark. 2016. 'Experience Driven Design of Creative Systems'. In: Proceedings of the 7th Computational Creativity Conference (ICCC 2016). Paris, France.

Sketches vs Skeletons: Video Annotation Can Capture What Motion Capture Cannot
Gillies, Marco; Brenton, Harry; Yee-King, Matthew; Grimalt-Reynes, Andreu and d'Inverno, Mark. 2015. 'Sketches vs Skeletons: Video Annotation Can Capture What Motion Capture Cannot'. In: Proceedings of the 2Nd International Workshop on Movement and Computing. Vancouver, Canada.

Duplicate detection in facsimile scans of early printed music
Rhodes, Christophe; Crawford, Tim and d'Inverno, Mark. 2014. 'Duplicate detection in facsimile scans of early printed music'. In: European Conference on Data Analysis. Bremen, Germany 2 - 4 July 2014.

Pedagogical agents for social music learning in Crowd-based Socio-Cognitive Systems
Yee-King, Matthew and d'Inverno, Mark. 2014. 'Pedagogical agents for social music learning in Crowd-based Socio-Cognitive Systems'. In: Crowd Intelligence: Foundations, Methods, and Practices (CEUR Workshop Proceedings). Barcelona, Spain.

Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)
Howells, Paul and d'Inverno, Mark. 2013. 'Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)'. In: Communicating Process Architectures 2013. Edinburgh.

Successful Termination in Timed CSP
Howells, Paul and d'Inverno, Mark. 2013. 'Successful Termination in Timed CSP'. In: Communicating Process Architectures 2013. Edinburgh.

Towards a Design Framework for Controlled Hybrid Social Games
Verhagen, Harko; Noriega, Pablo and d'Inverno, Mark. 2013. 'Towards a Design Framework for Controlled Hybrid Social Games'. In: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour. Exeter, UK.

Reflexive Loopers for Solo Musical Improvisation
Pachet, François; Roy, Pierre; Moreira, Julian and d'Inverno, Mark. 2013. 'Reflexive Loopers for Solo Musical Improvisation'. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Paris.

Communicating Open Systems: Extended Abstract
d'Inverno, Mark; Luck, Michael; Noriega, Pablo; A., Juan and Sierra, Carles. 2013. 'Communicating Open Systems: Extended Abstract'. In: IJCAI 2013. Beijing, China.

WeCurate: Enriching the Sociocultural Practices of the Museum Experience
Hazelden, Katina; Yee-King, Matthew; Confalonieri, Roberto; Ghedini, Fiammetta; Sierra, Carles and d'Inverno, Mark. 2013. 'WeCurate: Enriching the Sociocultural Practices of the Museum Experience'. In: Electronic Visualisation and the Arts (EVA 2013). London 29 - 31 July 2013.

Multiuser Museum Interactives for Shared Cultural Experiences: an Agent-based Approach
Hazelden, Katina; Yee-King, Matthew; Confalonieri, Roberto; Sierra, Carles; Ghedini, Fiammetta; De Jonge, Dave; Osman, Nardine and d'Inverno, Mark. 2013. 'Multiuser Museum Interactives for Shared Cultural Experiences: an Agent-based Approach'. In: CHI'13 Extended Abstracts on Human Factors in Computing Systems. Paris.

Sharing Online Cultural Experiences: An Argument-Based Approach
Amgoud, Leila; Confalonieri, Roberto; De Jonge, Dave; d'Inverno, Mark; Hazelden, Katina; Osman, Nardine; Prade, Henri; Sierra, Carles and Yee-King, Matthew. 2012. 'Sharing Online Cultural Experiences: An Argument-Based Approach'. In: The 9th International Conference on Modeling Decisions for Artificial Intelligence. Girona, Spain 21 -23 November 2012.

Experiences - A Forgotten Component of Epistemic States
Amgoud, Leila; d'Inverno, Mark; Osman, Nardine; Prade, Henri and Sierra, Carles. 2012. 'Experiences - A Forgotten Component of Epistemic States'. In: Agreement Technologies. Dubrovnik, Croatia 15-16 October 2012.

Towards Community Browsing for Shared Experiences: The WeBrowse System
Yee-King, Matthew; Confalonieri, Roberto; De Jonge, Dave; Osman, Nardine; Hazelden, Katina; Amgoud, Leila; Prade, Henri; Sierra, Carles and d'Inverno, Mark. 2012. 'Towards Community Browsing for Shared Experiences: The WeBrowse System'. In: Agreement Technologies. Dubrovnik, Croatia 15-16 October 2012.

WeCurate: Designing for synchronised browsing and social negotiation
Hazelden, Katina; Yee-King, Matthew; d'Inverno, Mark; Confalonieri, Roberto; De Jonge, Dave; Amgoud, Leila; Osman, Nardine; Prade, Henri and Sierra, Carles. 2012. 'WeCurate: Designing for synchronised browsing and social negotiation'. In: The first International Conference on Agreement Technologies. Dubrovnik, Croatia.

Automatic Group-Interactive Radio Using Social-Networks of Musicians
Fields, Benjamin; Rhodes, Christophe and d'Inverno, Mark. 2011. 'Automatic Group-Interactive Radio Using Social-Networks of Musicians'. In: ICWSM-11 Fifth International AAAI Conference on Weblogs and Social Media. Barcelona, Spain 17 - 21 July 2011.

Weaving a fabric of socially aware agents
d'Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A and Sierra, Carles. 2011. 'Weaving a fabric of socially aware agents'. In: 14th International Conference, PRIMA 2011. Wollongong, Australia.

Using Song Social Tags and Topic Models to Describe and Compare Playlists
Fields, Ben; Rhodes, Christophe and d'Inverno, Mark. 2010. 'Using Song Social Tags and Topic Models to Describe and Compare Playlists'. In: 1st Workshop On Music Recommendation And Discovery (WOMRAD), ACM RecSys. Barcelona, Spain.

Querying improvised music: Do you sound like yourself?
Jewell, Michael O.; Rhodes, Christophe and d'Inverno, Mark. 2010. 'Querying improvised music: Do you sound like yourself?'. In: The Eleventh International Society for Music Information Retrieval Conference (ISMIR 2010). Utrecht, Netherlands 9 - 13 August 2010.

Net Work: Lessons from Collaboratively Designing an Interactive Artwork
Bird, Jon; d'Inverno, Mark and Prophet, Jane. 2006. 'Net Work: Lessons from Collaboratively Designing an Interactive Artwork'. In: Generative Art 2006 Proceedings of the 9th International Conference. Milan, Italy 13 - 15 December 2006.

Towards Intelligent Responsive Sound
d'Inverno, Mark; Eacott, John and Olofsson, Fredrik. 2005. 'Towards Intelligent Responsive Sound'. In: Towards Intelligent Responsive Sound, EVA Conference. University College London. London, United Kingdom.

A typology of relationships and goals for regulation and coordination
Ashri, Ronald; Luck, Michael and d'Inverno, Mark. 2004. 'A typology of relationships and goals for regulation and coordination'. In: ECAI Workshop in Coordination in Emerging Agent Societies. Valencia, Spain.

The intelligent street: responsive sound environments for social interaction
Lörstad, Henrik; d'Inverno, Mark and Eacott, John. 2004. 'The intelligent street: responsive sound environments for social interaction'. In: 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology. Singapore, Singapore 3 - 5 June 2004.

Identifying opportunities and constraints for goal achievement through relationship analysis
Ashri, Ronald; Luck, Michael and d'Inverno, Mark. 2004. 'Identifying opportunities and constraints for goal achievement through relationship analysis'. In: Third International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3 (AAMAS'04). New York, USA.

On identifying and managing relationships in multi-agent systems
d'Inverno, Mark; Ashri, Ronald and Luck, Michael. 2003. 'On identifying and managing relationships in multi-agent systems'. In: Eighteenth International Joint Conference on Artificial Intelligence. Acapulco, Mexico 9-15 August.

Towards a Motivation-Based Approach for Evaluating Goals
Munroe, Steve; Luck, Michael and d'Inverno, Mark. 2003. 'Towards a Motivation-Based Approach for Evaluating Goals'. In: The Second International Joint Conference on Autonomous Agents and Multi-Agent Systems. Melbourne, Australia.

Constraining autonomy through norms
Luck, Michael; d'Inverno, Mark and López y López, Fabiola. 2002. 'Constraining autonomy through norms'. In: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2. New York, NY, United States.

Autonomy: A nice idea in theory
Luck, Michael and d'Inverno, Mark. 2001. 'Autonomy: A nice idea in theory'. In: Intelligent Agents VII Agent Theories Architectures and Languages. Boston, MA, United States.

A Framework for Norm-based Inter-Agent Dependence
y Lopez, Fabiolas López; Luck, Michael and d'Inverno, Mark. 2001. 'A Framework for Norm-based Inter-Agent Dependence'. In: Third Mexican International Conference on Computer Science. Aguascalientes, Mexico.

Development and application of a formal agent framework
d'Inverno, Mark and Luck, Michael. 1997. 'Development and application of a formal agent framework'. In: Proceedings First IEEE International Conference on Formal Engineering Methods. Hiroshima, Japan.

A Z specification of the soft-link hypertext model
d'Inverno, Mark and Hu, Michael. 1997. 'A Z specification of the soft-link hypertext model'. In: ZUM '97: The Z Formal Specification Notation. Reading, United Kingdom.

A formal framework for specifying design methods
d'Inverno, Mark; Justo, GR Ribeiro and Howells, Paul. 1996. 'A formal framework for specifying design methods'. In: System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on,. Hawaii.

Goal Generation and Adoption in Hierarchical Agent Models
Luck, Michael and d'Inverno, Mark. 1995. 'Goal Generation and Adoption in Hierarchical Agent Models'. In: Eighth Australian Joint Conference on Artificial Intelligence. New South Wales, Australia.

Composition

Prosecco
d'Inverno, Mark. 2013. Prosecco.

Couldn't be better
d'Inverno, Mark. 2012. Couldn't be better.

Around and around
d'Inverno, Mark. 2012. Around and around.

Funny you should say that
d'Inverno, Mark. 2012. Funny you should say that.

I just can't remember
d'Inverno, Mark. 2012. I just can't remember.

Now make a wish
d'Inverno, Mark. 2012. Now make a wish.

Pretty Late
d'Inverno, Mark. 2012. Pretty Late.

So sweet of you
d'Inverno, Mark. 2012. So sweet of you.

Song Bouncey
d'Inverno, Mark. 2012. Song Bouncey.

Why not
d'Inverno, Mark. 2012. Why not.

Wouldn't you love to know
d'Inverno, Mark. 2012. Wouldn't you love to know.

Count on It
d'Inverno, Mark. 2012. Count on It.

May's Dance
d'Inverno, Mark. 2011. May's Dance.

Never so easy
d'Inverno, Mark. 2009. Never so easy.

Film/Video

Reflexive VirtualBand and pianist Mark d'Inverno performing Now is the Time
d'Inverno, Mark. 2013. Reflexive VirtualBand and pianist Mark d'Inverno performing Now is the Time.

Project

VERSIONS of the Composition
d'Inverno, Mark. 2012. VERSIONS of the Composition.

Report

An Experience-Based BDI Logic: Motivating Shared Experiences and Intentionality
Osman, Nardine; d'Inverno, Mark; Sierra, Carles; Amgoud, Leila; Prade, Henri; Yee-King, Matthew; Confalonieri, Roberto; de Jonge, Dave and Hazelden, Katina. 2013. An Experience-Based BDI Logic: Motivating Shared Experiences and Intentionality. Working Paper. IIIA, Vienna, Austria.

Thesis

Agents, Agency and Autonomy: A Formal Computational Model
d'Inverno, Mark. 1998. Agents, Agency and Autonomy: A Formal Computational Model. Doctoral thesis, Department of Computer Science, University College London

Other

Goldsmiths Statement on Open Access
d'Inverno, Mark and Hill, Elisabeth L.. 2014. Goldsmiths Statement on Open Access. Goldsmiths, University of London.

Articles related to Prof Mark d'Inverno