Design Considerations for Real-Time Collaboration With Creative Artificial Intelligence, Jon McCormack, Toby Gifford, Patrick Hutchins, Matthew Yee-King, Maria Teresa Llano and Mark d’Inverno, OrganisedSound, 25(1), pp. 41-52. ISSN 1355-7718, 2020.
Creativity and Feedback: Designing Systems to Support Students and Improve Learning, Arthur Still, Matthew Yee-King and Mark d’Inverno, in Interactive Task Learning: Agents, Robots, and Humans Acquiring New Tasks through Natural Interactions, edited by K. A. Gluck and J. E. Laird. Strüngmann Forum Reports, vol. 26. Cambridge, MA: MIT Press, 2020.
Examining Student Coding Behaviours in Creative Computing Lessons using Abstract Syntax Trees and Vocabulary Analysis, Matthew Yee-King; Louis McCallum; Teresa Maria Llano, Vit Ruzicka, Mark Griersonand Mark d’Inverno. ITiCSE ’20: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, Pages 273–279, ttps://doi.org/10.1145/3341525.3387408, June 2020.
Explainable Computational Creativity, Maria Teresa Llano Rodriguez, Mark d’Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease and Simon Colton, International Conference on ComputationalCreativity, ICCC, 2020.
Can Machines Be Artists? A Deweyan Response in Theory and Practice, Arthur Still and Mark d’Inverno, Arts 2019, 8(1), Special Issue on The Machine as Artist (for the 21st Century), 2019.
In a Silent Way: Communication between AI and improvising musicians beyond sound, Jon McCormack, TobyGifford, Tom Hutchings, Maria Teresa Lano-Rodriguez, Matthew Yee-King and Mark d’Inverno In Brewster,S. A.; Fitzpatrick, G.; Cox, A. L.; and Kostakos, V., eds., Proceedings of the 2019 CHI Conference on HumanFactors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019, 38. ACM, 2019.
Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance, Matthew John Yee-King, Thomas Wilmering, Maria Teresa Llano, Maria Krivenski and Mark d’Inverno, Frontiers in Digital Humanities (Special Issue on Digital Musicology), 5(29), 2019.
Computational systems for music improvisation, Tony Gifford, Shelley Knotts, Jon McCormack, Stefan Kalonaris, Matthew Yee-King and Mark d’Inverno, Digital Creativity 29 (1), pp. 19-36. ISSN 1462-6268
Automatic Programming of VST Sound Synthesizers Using Deep Networks and Other Techniques, Matthew Yee-King, Leon Fedden and Mark d’Inverno, IEEE Transactions on Emerging Topics in Computational Intelligence, 2(2), pp. 150-159. ISSN 2471-285
STEAM WORKS: Student coders experiment more and experimenters gain higher grades, Matthew Yee-King, Mick Grierson and Mark d’Inverno, In: EDUCON2017: IEEE Global Engineering Education Conference. Athens, Greece April 26-28, 2017.
A Manifesto for Conscientious Design of Hybrid Online Social Systems, Pablo Noriega; Harko Verhagen, Mark d’Inverno, Julian Padget, 2017, 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.
Evidencing the value of inquiry based, constructionist learning for student coders, Yee-King, Matthew; Grierson, Mick and d’Inverno, Mark. 2017. International Journal of Engineering Pedagogy, ISSN 2192-4880
Identifying affordances for modelling second-order emergent phenomena with the WIT framework. Pablo Noriega, Jordi Sabater-Mir, Harko Verhagen, Julian Padget and Mark d’Inverno, In G. Sukthankar, & J. A. Rodriguez (Eds.), Autonomous Agents and Multiagent Systems: Revised Selected Papers (Vol. 10643). (Lecture Notes in Artificial Intelligence). Springer International Publishing, p. 208-227, 2017
Mohammad M al-Rifaie, Matthew Yee-King and Mark d’Inverno, Boolean prediction of final grades based on weekly and cumulative activities, Intelligent Systems Conference (IntelliSys), 2017, 462-469
A history of creativity for future AI research, Arthur Still and Mark d’Inverno, In Pachet, F.; Cardoso, A.; Corruble, V.; and Ghedini, F., eds., Proceedings of the 7th International Conference on Computational Creativity (ICCC 2016). Universite Pierre et Marie Curie, France 2016.
Experience driven design of creative systems, Matthew Yee-King and Mark d’Inverno, In Pachet, F.; Cardoso, A.; Corruble, V.; and Ghedini, F., eds., Proceedings of the 7th International Conference on Computational Creativity (ICCC 2016). Universite Pierre et Marie Curie, France 2016.
Designing improvisational interfaces, Jon McCormack and Mark d’Inverno, In Pachet, F.; Cardoso, A.; Corruble, V.; and Ghedini, F., eds., Title: Proceedings of the 7th International Conference on Computational Creativity (ICCC 2016). Universite Pierre et Marie Curie, France 2016.
Predicting student grades from online, collaborative social learning metrics using K-NN, Matthew Yee-King, Andreu Grimalt-Reynes and Mark d’Inverno, Proceedings of the 9th International Conference on Educational Data Mining (EDM 2016), June 29, 2016 – July 2, 2016 Raleigh, NC, USA.
Stimulating collaborative activity in online social learning environments with Markov decision processes, Matthew Yee-King and Mark d’Inverno, Proceedings of the 9th International Conference on Educational Data Mining (EDM 2016), June 29, 2016 – July 2, 2016 Raleigh, NC, USA.
Investigating Swarm Intelligence for Performance Prediction, Mohammad Majid Al- Rifaie, Matthew Yee-King and Mark d’Inverno, Proceedings of the 9th International Conference on Educational Data Mining (EDM 2016), June 29, 2016 – July 2, 2016 Raleigh, NC, USA.
Heroic versus Collaborative AI for the Arts, Mark d’Inverno and Jon McCormack. 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, 2105.
Social Feedback as a Creative Process, Mark d’Inverno and Arthur Still, in Music Learning with Massive Open Online System, Luc Steels (editor), pages 41-57, IOS Press, 2015.
Engineering multiuser museum interactives for shared cultural experiences, Roberto Confalonieri, MatthewYee-King,; Katina Hazelden, Mark d’Inverno, Dave De Jonge, Nardine Osman, Carles Sierra, Leila Agmoud and Henri Prade, . in Engineering Applications of Artificial Intelligence, 46(Part A), pp. 180-195. ISSN 0952-1976, 2015.
Pedagogical agent models for massive online education, Matthew Yee-King and Mark d’Inverno, In Proceedings of the First International Conference on AI and Feedback – Volume 1407 (AInF’15), Nardine Osman and Matthew Yee-King (Eds.), Vol. 1407. CEUR-WS.org, Aachen, Germany, Germany, 2-9, 2015.
Sketches vs Skeletons: Video Annotation Can Capture What Motion Capture Cannot. Marco Gillies, Harry Brenton, Matthew Yee-King, Andreu Grimalt-Reynes and Mark d’Inverno, 2015. In: Proceedings of the 2nd International Workshop on Movement and Computing. Vancouver, Canada, 2015.
Revealing and interpreting crowd stories in online social environments, Chris Kiefer, Matthew Yee-King, and Mark d’Inverno, 2015. In Proceedings of the First International Conference on AI and Feedback – Volume 1407 (AInF’15), Nardine Osman and Matthew Yee-King (Eds.), Vol. 1407. CEUR-WS.org, Aachen, Germany, Germany, 47-52, 2015.
A Social Timeline for Exchanging Feedback about Musical Performances, Harry Brenton, Matthew Yee-King, Andreu Grimalt-Reynes, Marco Gillies, Maria Krivenski, Mark d’Inverno. British HCI Conference, Southport, UK, 9-12 Sep, 2014.
Dedigning educational social machines for effective feedback, Matthew Yee-King, Maria Krivenski, Harry Brenton, Andreu Grimalt-Reynes, Mark d’Inverno. 8th International Conference on e-learning. Lisbon, Portugal, 15-18 July, 2014.
Creative Feedback: a manifesto for social learning, Mark d’Inverno and Arthur Still, in Proceedings of the Workshops held at Educational Data Mining 2014 conference, EDM 2014, London, UK, July 4-7, 2014, CEUR workshop proceedings.
Social machines for education driven by feedback agents, Yee-King, Mark d’Inverno and Pablo Noriega, in Proceedings First International Workshop on the Multiagent Foundations of Social Computing, AAMAS-2014, Paris, France, May 6 2014.
Pedagogical agents for social music learning in Crowd-based Socio-Cognitive Systems, Matthew Yee-King and Mark d’Inverno. in Proceedings First International Workshop on the Multiagent Foundations of Social Computing, AAMAS-2014, Paris, France May 6 2014.
On the future of computers and creativity, Jon McCormack and Mark d’Inverno. AISB Symposium on Computational Creativity, AISB-2014, Goldsmiths, London, UK, April 1-4, 2014
Duplicate detection in facsimile scans of early printed music, Christophe Rhodes, Tim Crawford and Mark d’Inverno. European Conference on Data Analysis, Bremen, DE, 2014, [Conference].
Fluid gesture interaction design applications of continuous recognition for the design of modern gestural interfaces, Bruno Zamborlin, Frédéric Bevilacqua, Marco Gillies and Mark d’Inverno. ACM Transactions on Interactive Intelligent Systems, vol. 3, pp. 30-45, ACM Press, 2014, ISSN 2160-6455, [Article].
Crowd Based Socio Cognitive Systems, Pablo Noriega and Mark d’Inverno. Crowd Intelligence: Foundations, Methods and Practices. European Network for Social Intelligence, Barcelona, January, vol. 1148, pp. 1-15, 2014, ISSN 1613-0073, [Article].
Specifying and Analysing Networks of Processes in CSPt or In Search of Associativity, Paul Howells and Mark d’Inverno. Communicating Process Architectures 2013, pp. 157-184, 2013.
Successful Termination in Timed CSP, Paul Howells and Mark d’Inverno. Communicating Process Architectures 2013, pp. 21-38, 2013.
Communicating Open Systems Extended Abstract, Mark d’Inverno, Michael Luck, Pablo Noriega, Juan A. and Carles Sierra. IJCAI 2013, Beijing, China , AAAI Press, 2013, [Conference].
An Experience Based BDI Logic Motivating Shared Experiences and Intentionality, Nardine Osman, Mark d’Inverno, Carles Sierra, Leila Amgoud, Henri Prade, Matthew Yee-King, Roberto Confalonieri, Dave de Jonge and Katina Hazelden. 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013), Vienna, Austria , IIIA, 2013, [Monograph].
Multiuser Museum Interactives for Shared Cultural Experiences an Agent based Approach, Katina Hazelden, Matthew Yee-King, Roberto Confalonieri, Carles Sierra, Fiammetta Ghedini, Dave De Jonge, Nardine Osman and Mark d’Inverno. CHI’13 Extended Abstracts on Human Factors in Computing Systems, pp. 571-576, 2013, [Conference].
Reflexive loopers for solo musical improvisation, François Pachet, Pierre Roy, Julien Moreira and Mark d’Inverno. Wendy E. Mackay, Stephen Brewster and Susanne Bødker. CHI ’13 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, vol. 2205, pp. 2205 -2208, New York, ACM, 2013, ISSN 1062-9432.
Towards a Design Framework for Controlled Hybrid Social Games, Harko Verhagen, Pablo Noriega and Mark d’Inverno. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, pp. 83-87, Exeter, UK, The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2013.
WeCurate: Enriching the Sociocultural Practices of the Museum Experience, Katina Hazelden, Matthew Yee-King, Roberto Confalonieri, Fiammetta Ghedini, Carles Sierra and Mark d’Inverno. Electronic Visualisation and the Arts (EVA 2013), pp. 113-120, 2013.
Sharing Online Cultural Experiences: An Argument-Based Approach, Leila Amgoud, Roberto Confalonieri, Dave De Jonge, Mark d’Inverno, Katina Hazelden, Nardine Osman, Henri Prade, Carles Sierra and Matthew Yee-King. The 9th International Conference on Modeling Decisions for Artificial Intelligence, Girona, ES, 2012, [Conference].
Experiences: A Forgotten Component of Epistemic States, Leila Amgoud, Mark d’Inverno, Nardine Osman, Henri Prade and Carles Sierra. Agreement Technologies, vol. 918, pp. 220-230, Dubrovnik, HR, CEUR Workshop Proceedings, 2012, [Conference].
Towards Community Browsing for Shared Experiences: The WeBrowse System, Matthew Yee-King, Roberto Confalonieri, Dave De Jonge, Nardine Osman, Katina Hazelden, Leila Amgoud, Henri Prade, Carles Sierra and Mark d’Inverno. Agreement Technologies, vol. 918, pp. 201-202, Dubrovnik, HR, CEUR Workshop Proceedings, 2012, [Conference].
Creativity through autonomy and interaction, Mark d’Inverno and Michael Luck. Cognitive Computation, vol. 4, pp. 332-346, Springer-Verlag, 2012, ISSN 1866-9956, [Article].
Communicating Open Systems Extended Abstract, Mark d’Inverno, Michael Luck, Pablo Noriega, Juan A Rodriguez-Aguilar and Carles Sierra. Artificial Intelligence, vol. 186, pp. 38-94, Elsevier, 2012, ISSN 0004-3702, [Article].
Computers and Creativity, Mark d’Inverno and John McCormack. UK, Springer, 2012, [Book].
Computers and Creativity: The Road Ahead, Jon McCormack and Mark d’Inverno. Jon McCormack and Mark d’Inverno. pp. 421-424, Berlin, Germany, Springer Berlin Heidelberg, 2012, [Book section].
Evaluation of Creative Aesthetics, Harold Cohen, Frieder Nake, David C. Brown, Paul Brown, Philip Galanter, Jon McCormack and Mark d’Inverno. Jon McCormack and Mark d’Inverno. pp. 95-111, Berlin, Germany, Springer Berlin Heidelberg, 2012, [Book section].
The extended composer, Daniel Jones, Andrew R. Brown and Mark d’Inverno. Jon McCormack and Mark d’Inverno. pp. 175-203, Berlin, Germany, Springer Berlin Heidelberg, 2012, [Book section].
Sharing Online Cultural Experiences: An Argument Based Approach, Leila Amgoud, Roberto Confalonieri, Dave de Jonge, Mark d’Inverno, Katina Hazelden, Nardine Osman, Henri Prade, Carles Sierra and Matthew Yee-King. Mateu Villaret, Beatriz López, Yasuo Narukawa and Vicenç Torra. vol. 7647, pp. 282-293, Berlin, Germany, Springer, 2012, [Book section].
WeCurate: Designing for synchronised browsing and social negotiation, Katina Hazelden, Matthew Yee-King, Mark d’Inverno, Roberto Confalonieri, Dave De Jonge, Leila Amgoud, Nardine Osman, Henri Prade and Carles Sierra. The first International Conference on Agreement Technologies, Dubrovnik, HR, Dubrovnik, Croatia, 2012, [Conference].
Why does Computing matter to Creativity?, Jon McCormack and Mark d’Inverno. Jon McCormack and Mark d’Inverno. pp. i-vi, Berlin, Germany, Springer Berlin Heidelberg, 2012, [Book section].
Automatic Group Interactive Radio Using Social Networks of Musicians, Benjamin Fields, Christophe Rhodes and Mark d’Inverno. ICWSM-11 Fifth International AAAI Conference on Weblogs and Social Media, pp. 478-481, Barcelona, ES, The AAAI Press, 2011, [Conference].
Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery, Ben Fields, Kurt Jacobson, Christophe Rhodes, Mark d’Inverno, Mark Sandler and Michael A. Casey. IEEE Transactions on Multimedia, vol. 13, pp. 674-686, IEEE Circuits & Systems Society, 2011, ISSN 1520-9210, [Article].
Weaving a fabric of socially aware agents, Mark d’Inverno, Michael Luck, Pablo Noriega, Juan A Rodriguez-Aguilar and Carles Sierra. 14th International Conference, PRIMA 2011, pp. 263-274, Springer, 2011, [Conference].
Using Song Social Tags and Topic Models to Describe and Compare Playlists, Ben Fields, Christophe Rhodes and Mark d’Inverno. 1st Workshop On Music Recommendation And Discovery (WOMRAD), ACM RecSys, Barcelona, ES, 2010, [Conference].
Designing physical artefacts from computational simulations and building computational simulations of physical systems, Mark d’Inverno and Jane Prophet. Gower Publishing, 2010, [Book section].
Investigating music collections at different scales with AudioDB, Christophe Rhodes, Tim Crawford, Michael A. Casey and Mark d’Inverno. Journal of New Music Research, vol. 39, pp. 337-348, Taylor & Francis, 2010, ISSN 0929-8215, [Article].
Linked Data and you: Bringing music research software into the Semantic Web, Chris Cannam, Mark Sandler, Michael O Jewell, Christophe Rhodes and Mark d’Inverno. Journal of New Music Research, vol. 39, pp. 313-325, Taylor & Francis, 2010, ISSN 0929-8215, [Article].
Querying Improvised Music: Do you sound like yourself?, Michael O. Jewell, Christophe Rhodes and Mark d’Inverno. The Eleventh International Society for Music Information Retrieval Conference (ISMIR 2010) , pp. 483-488, Utrecht, NL, International Society for Music Information Retrieval, 2010, [Conference].
Towards a Distributed Research Environment for Music Informatics and Computational Musicology, Simon Dixon, Mark Sandler, Mark d’Inverno and Christophe Rhodes. Journal of New Music Research, vol. 39, pp. 291-294, Routledge, 2010, ISSN 0929-8215, [Article].
A CSP model with flexible parallel termination semantics, Paul Howells and Mark d’Inverno. Formal Aspects of Computing, vol. 21, pp. 421-449, 2009, ISSN 0934-5043, [Article].
Agent-Based Modeling of Stem Cells, Mark d’Inverno, Paul Howells, Sara Montagna, Ingo Roeder and Rob Saunders. Adelinde Uhrmacher and Danny Weyns. pp. 389-422, Boca Raton, FL, CRC Press, Taylor & Francis Group, 2009, [Book section].
New experimental and theoretical investigations of hematopoietic stem cells and chronic myeloid leukemia, Ingo Roeder and Mark d’Inverno. Blood Cells, Molecules, and Diseases, vol. 43, pp. 88-97, Elsevier, 2009, ISSN 1079-9796, [Article].
Agents in bioinformatics computational and systems biology, Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d’Inverno, Andreas Doms, Phillip Lord, Andrew Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder and Michael Luck. Briefings in Bioinformatics, vol. 8, pp. 45-59, Oxford University Press, 2007, ISSN 1467-5463, [Article].
Net Work: An interactive artwork designed using an interdisciplinary performative approach, Jon Bird, Mark d’Inverno and Jane Prophet. Digital Creativity, vol. 18, pp. 11-23, Taylor & Francis, 2007, ISSN 1462-6268, [Article].
Agent based modelling of stem cell self organisation in a niche, Mark d’Inverno and Rob Saunders. pp. 389-418, Berlin, Germany, Springer Berlin Heidelberg, 2006, [Book section].
Formal Methods and Agent Based Systems, Michael Luck and Mark d’Inverno. Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski and Diana Gordon-Spears. Agent Technology from a Formal Perspective, pp. 65-96, Berlin, Germany, Springer, 2006, [Book section].
Mathematical modelling of stem cells- a complexity primer for the stem cell biologist, Mark d’Inverno, Neil Theise and Jane Prophet. Christopher S. Potten, Robert B. Clarke, James Wilson and Andrew G. Renehan. Tissue Stem Cells: Biology and Applications, 2nd edn. Marcell Dekker Inc: New York, NY, pp. 1-16, New York, NY, Taylor and Francis, 2006, [Book section].
Multidisciplinary Investigation into Adult Stem Cell Behavior, Mark d’Inverno and Jane Prophet. pp. 49-64, Berlin, Germany, Springer Berlin Heidelberg, 2006, [Book section].
Net Work: Lessons from collaboratively designing an interactive artwork, Jon Bird, Mark d’Inverno and Jane Prophet. Generative Art 2006 Proceedings of the 9th International Conference, vol. 309, pp. 309-316, Milan, IT, 2006, [Conference].
Transdisciplinary Research in CELL, Jane Prophet and Mark d’Inverno. MIT Press, 2006,
A normative framework for agent based systems, Fabiola López y López , Michael Luck and Mark d’Inverno. Computational and Mathematical Organization Theory, vol. 12, pp. 227-250, Springer, 2006, ISSN 1381-298X.
Agent-based modelling of stem cell self-organisation in a niche, Mark d’Inverno and Rob Saunders. Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos and Radhika Nagpal. Engineering Self-Organising Systems, pp. 52-68, Berlin, Germany, Springer, 2005.
From SMART to agent systems development, Ronald Ashri, Michael Luck and Mark d’Inverno. Engineering Applications of Artificial Intelligence, vol. 18, pp. 129-140, Elsevier, 2005, ISSN 0952-1976, [Article].
The dMARS architecture. A specification of the distributed multi-agent reasoning system
Mark d’Inverno, M. Georgeff, D. Kinny and M. Luck. Autonomous Agents and Multi-Agent Systems, vol. 9, pp. 5-53, 2004, ISSN 13872532, [Article].
Understanding cell lineages as complex adaptive systems
Mark d’Inverno and Neil Theise. Blood Cells Molecules and Diseases, vol. 32, pp. 17-20, 2004, ISSN 1079-9796, [Article].
Agent-Based Software Development
Michael Luck, Ronald Ashri and Mark d’Inverno. Artech House, pp. 1-226, Boston, Mass., Artech House, 2004, [book].
Creative conflict in interdisciplinary collaboration: Interpretation, scale and emergence
Jane Prophet and Mark d’Inverno. Ernest Edmonds and Ross Gibson. Interaction: systems, theory and practice. Creativity and Cognition Studios, pp. 251-270, Sydney, Australia, Creativity & Cognition Studios Press, 2004, [Book section].
Identifying opportunities and constraints for goal achievement through relationship analysis, Ronald Ashri, Michael Luck and Mark d’Inverno. Third International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3 (AAMAS’04), vol. 3, pp. 1452-1453, 2004, [Conference].
Motivation based selection of negotiation partners, Steve Munroe, Michael Luck and Mark d’Inverno. Frances Titsworth. Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3, pp. 1520-1521, USA, IEEE Computer Press, 2004, [Book section].
Normative agent reasoning in dynamic societies, Fabiola Lopez y Lopez, Michael Luck and Mark d’Inverno. Frances Titsworth. pp. 732-739, USA, IEEE Computer Press, 2004, [Book section].
Understanding Agent Systems, Mark d’Inverno and Michael Luck. Springer, 2004, [book].
The intelligent street: Responsive sound environments for social interaction
Henrik Lörstad , Mark d’Inverno and John Eacott. pp. 155-162, New York, NY, ACM, 2004, [Book section].
The intelligent street: Responsive sound environments for social interaction
Henrik Lörstad , Mark d’Inverno and John Eacott. 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology, pp. 155-162, Singapore, SG, 2004, [Conference].
A typology of relationships and goals for regulation and coordination
Ronald Ashri, Michael Luck and Mark d’Inverno. ECAI Workshop in Coordination in Emerging Agent Societies, Valencia, ES, 2004, [Conference].
On identifying and managing relationships in multi agent systems
Mark d’Inverno, Ronald Ashri and Michael Luck. Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, MX, IJCAI, 2003, [Conference].
Annotating Cooperative Plans with Trusted Agents
Nathan Griffiths, Michael Luck and Mark d’Inverno. Rino Falcone, Suzanne Barber, Larry Korba and Munindar Singh. Trust, Reputation, and Security: Theories and Practice, pp. 87-107, Berlin, Germany, Springer, 2003, [Book section].
Autonomy: Variable and generative
Michael Luck, Mark d’Inverno and Steve Munroe. Henry Hexmoor, Cristiano Castelfranchi and Rino Falcone. Agent Autonomy, pp. 11-28, Boston, MA, Springer, 2003, [Book section].
Embedded intelligent music or iHiFi the intelligent HiFi
John Eacott and Mark d’Inverno. Digital Creativity, vol. 14, pp. 67-73, Taylor & Francis, 2003, ISSN 1462-6268, [Article].
Towards Motivation Based Decisions for Worth Goals
Steve Munroe, Michael Luck and Mark d’Inverno. Vladimír Mařík, Michal Pěchouček and Jörg Müller. Multi-Agent Systems and Applications III, vol. 2691, pp. 17-28, Berlin, Germany, Springer, 2003, [Book section].
Towards Motivation Based Decisions for Worth Goals
Steve Munroe, Michael Luck and Mark d’Inverno. The Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 1074-1075, Melbourne, AU, 2003, [Conference].
Unifying agent systems
Michael Luck and Mark d’Inverno. Annals of Mathematics and Artificial Intelligence, vol. 37, pp. 131-167, Springer, 2003, ISSN 1012-2443, [Article].
Constraining autonomy through norms
Michael Luck, Mark d’Inverno and Fabiola López y López. Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, pp. 674-681, New York, NY, US, New York, 2002, [Conference].
Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers
Mark d’Inverno, Michael Luck, Michael Fisher and Chris Preist. Mark d’Inverno, Michael Luck, Michael Fisher and Christ Preist. vol. 2403, Berlin, Germany, Springer, 2002, [book].
Infrastructure Support for Agent Based Development
Ronald Ashri, Michael Luck and Mark d’Inverno. Mark d’Inverno, Michael Luck, Michael Fisher and Chris Preist. Foundations and applications of multi-agent Systems, vol. 2403, pp. 73-88, Berlin, Germany, Springer, 2002, [Book section].
Practical and theoretical innovations in multi-agent systems research
Mark d’Inverno, Michael Luck and Ukmas Ukmas. The Knowledge Engineering Review, vol. 17, pp. 295-301, Cambridge University Press, 2002, ISSN 0269-8889 , [Article].
Soft-link hypertext for information retrieval
Mark d’Inverno, Paul Howells, Michael Hu and Michael Luck. Information and Software Technology, vol. 44, pp. 101-112, Elsevier, 2002, ISSN 0950-5849, [Article].
Autonomy: A Nice Idea in Theory, Michael Luck and Mark d’Inverno. Intelligent Agents VII Agent Theories Architectures and Languages, pp. 286-293, Boston, MA, US, Springer, 2001, [Conference].
A Conceptual Framework for Agent Definition and Development
Michael Luck and Mark d’Inverno. The Computer Journal, vol. 44, pp. 1-20, Br Computer Soc, 2001, ISSN 0010-4620 , [Article].
Formal Agent Development: Framework to System
Mark d’Inverno and Michael Luck. Diana Gordon, Michael G. Hinchey, Walt Truszkowski, James L. Rash and Christopher A. Rouff. Formal Approaches to Agent-Based Systems, pp. 133-147, Berlin, Germany, Springer, 2001, [Book section].
A Framework for Norm based Inter Agent Dependence
Fabiolas López y Lopez, Michael Luck and Mark d’Inverno. Third Mexican International Conference on Computer Science, Aguascalientes, MX, Mexican Society of Computer Science, 2001, [Conference].
Learning in multi agent systems
Eduardo Alonso, Mark d’Inverno, Daniel Kudenko, Michael Luck and Jason Noble. The Knowledge Engineering Review, vol. 16, pp. 277-284, Cambridge University Press, 2001, ISSN 0269-8889, [Article].
Multi-agent systems research into the 21st century
Mark d’Inverno and Michael Luck. The Knowledge Engineering Review, vol. 16, pp. 271-275, Cambridge University Press, 2001, ISSN 0269-8889, [Article].
Plan Analysis for Autonomous Sociological Agents
Michael Luck and Mark d’Inverno. Cristiano Castelfranchi and Yves Lespérance . Intelligent Agents VII Agent Theories Architectures and Languages, vol. 1986, pp. 182-197, Berlin, Germany, Springer, 2001, [Book section].
Architecture for Agent Programming Languages
Koen Hindriks, Mark d’Inverno and Michael Luck. Werner Horn. European Conference on Artificial Intelligence, pp. 363-367, Berlin, DE, Washington, D.C., IOS Press, 2000, [Book section].
A Formal Architecture for the 3APL Agent Programming Language
Mark d’Inverno, Koen Hindriks and Michael Luck. Gerhard Goos, Juris Hartmanis and Jan van Leeuwen. ZB 2000: Formal Specification and Development in Z and B, vol. 1878, pp. 168-187, Berlin, Germany, Springer, 2000, [Book section].
Sociological agents for effective social action
Mark d’Inverno and Michael Luck. Bob Werner. MultiAgent Systems, 2000. Proceedings. Fourth International Conference on, pp. 379-380, Los Alamitos, CA, IEEE Computer Society, 2000, [Book section]
Agent Models and Plans
Mark d’Inverno and Michael Luck. pp. 44-58, -, Springer Hungarica, 1999, [Book section].
Formalising high-performance systems methodologies
G.R. Ribeiro Justo, Paul Howells and Mark d’Inverno. Journal of Systems Architecture, vol. 45, pp. 441-464, Elsevier, 1999, ISSN 1383-7621, [Article].
Negotiation in multi-agent systems
Martin Beer, Mark d’Inverno, Michael Luck, Nick Jennings, Chris Preist and Michael Schroeder. The Knowledge Engineering Review, vol. 14, pp. 285-289, Cambridge University Press, 1999, ISSN 0269-8889, [Article].
Agents, Agency and Autonomy: A Formal Computational Model
Mark d’Inverno. 1998, [thesis].
Engineering AgentSpeak(L): A formal computational model
Mark d’Inverno and Michael Luck. Journal of Logic and Computation, vol. 8, pp. 233-260, Oxford University Press, 1998, ISSN 0955-792X, [Article].
Foundations of Multi-Agent systems: Techniques tools and theory
LC Lee, JC Collis, K Binmore, N Vulcan, RM van Eijk, FS de Boer, W van der Hoek, JJ Ch Meyer, J Padget, R Bradford, Mark d’Inverno, Michael Luck and Michael Fisher. The Knowledge Engineering Review, pp. 297-302, 1998, [Article].
Interaction protocols in Agentis
Mark d’Inverno, D. Kinney and Michael Luck. Bob Werner. Multi Agent Systems, 1998. Proceedings. International Conference on, pp. 112-119, Washington, D.C., The Institute of Electrical and Electronics Engineers, 1998, [Book section].
Motivated Behaviour for Goal Adoption
Michael Luck and Mark d’Inverno. Chenqi Zhang and Dickson Lukose. Multi-Agent Systems. Theories, Languages and Applications, vol. 1544, pp. 58-73, Berlin, Germany, Springer, 1998, [Book section].
A formal specification of dMARS
Mark d’Inverno, David Kinny, Michael Luck and Michael Wooldridge. Munindar P. Singh, Anand Rao and Michael J. Wooldridge. Intelligent Agents IV Agent Theories, Architectures, and Languages, vol. 1365, pp. 155-176, Berlin, Germany, Springer, 1998, [Book section].
Development and application of a formal agent framework
Mark d’Inverno and Michael Luck. James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff and Diana Gordon. Proceedings First IEEE International Conference on Formal Engineering Methods, pp. 222-231, Hiroshima, JP, 1997, [Conference].
Cooperation structures
Mark d’Inverno, Michael Luck and Michael Wooldridge. Martha E. Pollack. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, pp. 600-605, San Francisco, CA, Morgan Kaufmann, 1997, [Book section].
A Formal Framework for Hypertext Systems
Mark d’Inverno, Mark Priestley and Michael Luck. Software Engineering. IEE Proceedings, vol. 144, pp. 175-184, IEEE, 1997, ISSN 1364-5080 , [Article].
Formalisms for multi-agent systems
Mark d’Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten De Rijke, Mark Ryan and Michael Wooldridge. The Knowledge Engineering Review, vol. 12, pp. 315-321, Cambridge Univ Press, 1997, [Article].
From agent theory to agent construction: A case study
Michael Luck, Nathan Griffiths and Mark d’Inverno. Jörg P. Müller, Michael J. Wooldridge and Nicholas R. Jennings. vol. 1193, pp. 49-63, Berlin, Germany, Springer, 1997, [Book section].
Making and breaking engagements: An operational analysis of agent relationships
Mark d’Inverno and Michael Luck. Chengqi Zhang and Dickson Lukose. Multi-Agent Systems Methodologies and Applications, vol. 1286, pp. 48-62, Berlin, Germany, Springer, 1997, [Book section].
A Z specification of the soft-link hypertext model
Mark d’Inverno and Michael Hu. ZUM ’97: The Z Formal Specification Notation, pp. 295-316, Reading, GB, Springer, 1997, [Conference].
Engagement and cooperation in motivated agent modelling
Michael Luck and Mark d’Inverno. Chengqi Zhang and Dickson Lukose. Distributed Artificial Intelligence Architecture and Modelling, pp. 70-84, Berlin, Germany, Springer, 1996, [Book section].
A Formal Framework For Specifying Design Methods
Mark d’Inverno, G.R. Ribeiro Justo and Paul Howells. System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on,, vol. 2, pp. 181-196, Wiley, 1996, ISSN 1077-4866, [Article].
Formalising the Contract Net as a goal directed system
Mark d’Inverno and Michael Luck. Walter Van de Velde and John W. Perram. Agents breaking away, pp. 72-85, Berlin, Germany, Springer, 1996, [Book section].
Understanding Autonomous Interaction
Mark d’Inverno and Michael Luck. Wolfgang Wahlster. ECAI, pp. 529-533, Chichester, UK, Wiley, 1996, [Book section].
A Formal Framework For Specifying Design Methods
Mark d’Inverno, GR Ribeiro Justo and Paul Howells. System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on,, vol. 1, pp. 741-750, 1996, [Conference].
A formal view of social dependence networks
Mark d’Inverno and Michael Luck. Dickson Lukose and Chengqi Zhang. Distributed Artificial Intelligence Architecture and Modelling, vol. 1087 , pp. 115-129, Berlin, Germany, Springer, 1996, [Book section].
A Formal Framework for Agency and Autonomy
Michael Luck and Mark d’Inverno. Victor Lesser. Proceedings of the first international conference on Multi-Agent Systems, pp. 254-260, Cambridge, MA, MIT Press, 1995, [Book section].
Goal Generation and Adoption in Hierarchical Agent Models
Michael Luck and Mark d’Inverno. X. Yao and . Eighth Australian Joint Conference on Artificial Intelligence, New South Wales, AU, Singapore, World Scientific, 1995, [Conference].
Structuring a Z specification to provide a formal framework for autonomous agent systems
Michael Luck and Mark d’Inverno. Jonathan P. Bowen and Michael G. Hinchey. ZUM’95: The Z Formal Specification Notation, vol. 967, pp. 46-62, Berlin, Germany, Springer, 1995, [Book section].
Structuring specification in Z to build a unifying framework for hypertext systems
Mark d’Inverno and Mark Priestley. Jonathan P. Bowen and Michael G. Hinchey. ZUM’95: The Z Formal Specification Notation, vol. 967, pp. 83-102, Berlin, Germany, Springer, 1995, [Book section].
Knowledge interchange protocols
John A. Campbell and Mark d’Inverno. Yves Demazeau and Jean-Pierre Müller. Decentralized AI: Proc. of the First European Workshop on Modelling, pp. 63-80, Amsterdam, Netherlands, North-Holland, 1990, [Book section].