Prof Mark d'Inverno

Staff details

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

Mark d’Inverno is Professor of Computer Science and Pro-Warden (International) at Goldsmiths, University of London. He was previously Pro-Warden (Research and Enterprise) from 2013 to 2016 and before that Head of the Department of Computing from 2007 to 2011.

He has an MA in Mathematics and an MSc in Computation from Oxford University, and a PhD from UCL entitled “Agents, Agency and Autonomy”. He has published around 200 articles including authored and edited books and has led or co-led a range of research projects funded by EPSRC, AHRC and Wellcome in the UK alongside the EU and other international funding bodies.

His interdisciplinary research interests are at the intersection of Artificial Intelligence with creative activity, music, design, learning and social science and has championed both the value of interdisciplinary research and the diversity of research practice in the UK.

He was formerly a member of HEFCE’s Research and Knowledge Exchange Strategic Advisory Committee and is currently a member of the  REF 2021 Interdisciplinary Research Advisory Panel.  He is a member of “Future of Research Assessment” Strategic Advisory Group (Research England, 2019) and of the newly formed ”JISC Research Strategy Forum”. He is co-founder and advisory board member of the UK’s Practice Research Advisory Group (PRAG UK) and in 2018 was appointed Deputy Convenor for the Creative Arts, Performing Arts & Design Panel of the Hong Kong Research Assessment Exercise 2020. In 2015 he was co-chair of the Special Track on AI and Arts at the International Joint Conference on Artificial Intelligence (the leading conference on AI). He is Chair of the Advisory Board for the EPSRC Programme Grant FAST,  has been a member of the EPSRC review college since 2012 and recently chaired the 2019 EPSRC ICT Prioritisation Panel.

During 2011/12 he took a research sabbatical shared between Artificial Intelligence Research Institute in Barcelona and the Sony Computer Science Research Laboratory in Paris. 

He was the first chair of the charity Safeground which championed intensive courses co-designed by prisoners that have run in over 40 UK prisons around increasing self-awareness in family relationships then serving as a trustee for 14 years. He is also a critically acclaimed jazz pianist and over the last 4 decades has led a variety of bands across a wide range of music including the Mark d’Inverno Quintet.

For the last 19 years, he has enjoyed being the captain of the unwaveringly upbeat, friendly and inclusive Weekenders Cricket Club without being especially good at winning many games.’

 

Publications

Book

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

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

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

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

Book Section

Noriega, Pablo; Verhagen, Harko; d'Inverno, Mark and Padget, Julian. 2017. A Manifesto for Conscientious Design of Hybrid Online Social Systems. In: S. Cranefield; S. Mahmoud; J. Padget and A. Rocha, eds. Coordination, Organizations, Institutions, and Norms in Agent Systems XII. COIN 2016. 10315 Springer, Cham. ISBN 978-3-319-66594-8

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Article

Still, Arthur and d'Inverno, Mark. 2019. Can Machines Be Artists? A Deweyan Response in Theory and Practice. Arts, 8(1), p. 36. ISSN 2076-0752

Yee-King, Matthew; Wilmering, Thomas; Llano, Maria Teresa; Krivenski, Maria and d'Inverno, Mark. 2019. Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance. Frontiers in Digital Humanities, 5(29),

Yee-King, Matthew; Fedden, Leon and d'Inverno, Mark. 2018. Automatic Programming of VST Sound Synthesizers using Deep Networks and Other Techniques. IEEE Transactions on Emerging Topics in Computational Intelligence, 2(2), pp. 150-159. ISSN 2471-285X

Gifford, Toby; Knotts, Shelly; McCormack, Jon; Kalonaris, Stefano; Yee-King, Matthew and d'Inverno, Mark. 2018. Computational Systems for Music Improvisation. Digital Creativity, 29(1), pp. 19-36. ISSN 1462-6268

Yee-King, Matthew; Grierson, Mick and d'Inverno, Mark. 2017. Evidencing the value of inquiry based, constructionist learning for student coders. International Journal of Engineering Pedagogy, 7(3), pp. 109-129. ISSN 2192-4880

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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.

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

McCormack, Jon; Gifford, Toby; Hutchings, Patrick; Llano, Maria Teresa; Yee-King, Matthew and d'Inverno, Mark. 2019. 'In a Silent Way: Communication between AI and improvising musicians beyond sound'. In: CHI 2019 Conference on Human Factors in Computing Systems. Glasgow, United Kingdom 4-9 May 2019.

Yee-King, Matthew; Grierson, Mick and d'Inverno, Mark. 2017. 'STEAM WORKS: Student coders experiment more and experimenters gain higher grades'. In: EDUCON2017: IEEE Global Engineering Education Conference. Athens, Greece April 26-28, 2017.

Still, Arthur and d'Inverno, Mark. 2016. 'A history of creativity for future AI research'. In: UNSPECIFIED. UNDEFINED.

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 29 June - 2 July 2016.

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.

Yee-King, Matthew and d'Inverno, Mark. 2016. 'Experience driven design of creative systems'. In: Proceedings of the Seventh International Conference on Computational Creativity. Paris, France 27 June - 1 July 2016.

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.

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.

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.

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.

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

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

d'Inverno, Mark. 2013. Prosecco.

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

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

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

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

d'Inverno, Mark. 2012. Song Bouncey.

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

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

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

d'Inverno, Mark. 2012. Pretty Late.

d'Inverno, Mark. 2012. Why not.

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

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

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

Film/Video

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

Project

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

Report

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

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

Other

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

Articles related to Prof Mark d'Inverno