Specification, Design and Implementation of an Interactive Conferencing System. - Mark d'Inverno; Jon Crowcroft (INFOCOM, 1991)

Engagement and Cooperating in Motivated Agent Modelling. - Michael Luck; Mark d'Inverno (DAI, 1995)

A Formal View of Social Dependence Networks. - Mark d'Inverno; Michael Luck (DAI, 1995)

A Formal Framework for Agency and Autonomy. - Michael Luck; Mark d'Inverno (ICMAS, 1995)

Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. - Michael Luck; Mark d'Inverno (ZUM, 1995)

Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. - Mark d'Inverno; Mark Priestley (ZUM, 1995)

From Agent Theory to Agent Construction: A Case Study. - Michael Luck; Nathan Griffiths; Mark d'Inverno (ATAL, 1996)

Making and Breaking Engagements: An Operational Analysis of Agent Relationships. - Mark d'Inverno; Michael Luck (DAI, 1996)

Understanding Autonomous Interaction. - Mark d'Inverno; Michael Luck (ECAI, 1996)

Formalising the Contract Net as a Goal-Directed System. - Mark d'Inverno; Michael Luck (MAAMAW, 1996)

A Formal Framework For Specifying Design Methods. - Mark d'Inverno; George R. Ribeiro-Justo; Paul Howells (Softw. Process. Improv. Pract., 1996)

A Formal Specification of dMARS. - Mark d'Inverno; David Kinny; Michael Luck; Michael J. Wooldridge (ATAL, 1997)

Development and Application of a Formal Agent Framework. - Mark d'Inverno; Michael Luck (ICFEM, 1997)

Cooperation Structures. - Mark d'Inverno; Michael Luck; Michael J. Wooldridge (IJCAI (1), 1997)

A Z Specification of the Soft-Link Hypertext Model. - Mark d'Inverno; Michael J. Hu (ZUM, 1997)

Formal framework for hypertext systems. - Mark d'Inverno; Mark Priestley; Michael Luck (IEE Proc. Softw. Eng., 1997)

Formalisms for multi-agent systems. - Mark d'Inverno; Michael Fisher 001; Alessio Lomuscio; Michael Luck; Maarten de Rijke; Mark Ryan 001; Michael J. Wooldridge (Knowl. Eng. Rev., 1997)

Motivated Behavior for Goal Adoption. - Michael Luck; Mark d'Inverno (DAI, 1998)

Interaction Protocols in Agentis. - Mark d'Inverno; David Kinny; Michael Luck (ICMAS, 1998)

Foundations of Multi-Agent Systems: Techniques, Tools and Theory. - Michael Luck; Mark d'Inverno; Michael Fisher 001 (Knowl. Eng. Rev., 1998)

Engineering AgentSpeak(L): A Formal Computational Model. - Mark d'Inverno; Michael Luck (J. Log. Comput., 1998)

Agents, agency and autonomy: a formal computational model. - Mark d'Inverno (1998)

Formalising high-performance systems methodologies. - George R. Ribeiro-Justo; Paul Howells; Mark d'Inverno (J. Syst. Archit., 1999)

Negotiation in multi-agent systems. - Martin Beer; Mark d'Inverno; Michael Luck; Nick R. Jennings; Chris Preist; Michael Schroeder 001 (Knowl. Eng. Rev., 1999)

Plan Analysis for Autonomous Sociological Agents. - Michael Luck; Mark d'Inverno (ATAL, 2000)

Autonomy: A Nice Idea in Theory. - Michael Luck; Mark d'Inverno (ATAL, 2000)

Architecture for Agent Programming Languages. - Koen V. Hindriks; Mark d'Inverno; Michael Luck (ECAI, 2000)

Formal Agent Development: Framework to System. - Mark d'Inverno; Michael Luck (FAABS, 2000)

Sociological Agents for Effective Social Action. - Mark d'Inverno; Michael Luck (ICMAS, 2000)

A Formal Architecture for the 3APL Agent Programming Language. - Mark d'Inverno; Koen V. Hindriks; Michael Luck (ZB, 2000)

Understanding agent systems. - Mark d'Inverno; Michael Luck (Springer, 2001)

A Conceptual Framework for Agent Definition and Development. - Michael Luck; Mark d'Inverno (Comput. J., 2001)

Learning in multi-agent systems. - Eduardo Alonso; Mark d'Inverno; Daniel Kudenko; Michael Luck; Jason Noble (Knowl. Eng. Rev., 2001)

Multi-agent systems research into the 21st century. - Mark d'Inverno; Michael Luck (Knowl. Eng. Rev., 2001)

Annotating Cooperative Plans with Trusted Agents. - Nathan Griffiths; Michael Luck; Mark d'Inverno (Trust, Reputation, and Security, 2002)

Constraining autonomy through norms. - Fabiola López y López; Michael Luck; Mark d'Inverno (AAMAS, 2002)

Infrastructure Support for Agent-Based Development. - Ronald Ashri; Michael Luck; Mark d'Inverno (Foundations and Applications of Multi-Agent Systems, 2002)

Soft-link hypertext for information retrieval. - Mark d'Inverno; Paul Howells; Michael J. Hu; Michael Luck (Inf. Softw. Technol., 2002)

Practical and theoretical innovations in multi-agent systems research. - Mark d'Inverno; Michael Luck (Knowl. Eng. Rev., 2002)

Towards a motivation-based approach for evaluating goals. - Stephen J. Munroe; Michael Luck; Mark d'Inverno (AAMAS, 2003)

Towards Motivation-Based Decisions for Worth Goals. - Stephen J. Munroe; Michael Luck; Mark d'Inverno (CEEMAS, 2003)

On Identifying and Managing Relationships in Multi-Agent Systems. - Ronald Ashri; Michael Luck; Mark d'Inverno (IJCAI, 2003)

Unifying Agent Systems. - Michael Luck; Mark d'Inverno (Ann. Math. Artif. Intell., 2003)

Embedded intelligent music-or iHiFi the intelligent HiFi. - John Eacott; Mark d'Inverno (Digit. Creativity, 2003)

Understanding agent systems, Second Edition. - Mark d'Inverno; Michael Luck (Springer, 2004)

Agent-Based Software Development. - Michael Luck; Ronald Ashri; Mark d'Inverno (Artech House, 2004)

The intelligent street: responsive sound environments for social interaction. - Henrik Lörstad; Mark d'Inverno; John Eacott (Advances in Computer Entertainment Technology, 2004)

Identifying Opportunities and Constraints for Goal Achievement through Relationship Analysis. - Ronald Ashri; Michael Luck; Mark d'Inverno (AAMAS, 2004)

Normative Agent Reasoning in Dynamic Societies. - Fabiola López y López; Michael Luck; Mark d'Inverno (AAMAS, 2004)

Motivation-Based Selection of Negotiation Partners. - Stephen J. Munroe; Michael Luck; Mark d'Inverno (AAMAS, 2004)

Agent-Based Modelling of Stem Cell Self-organisation in a Niche. - Mark d'Inverno; Rob Saunders (Engineering Self-Organising Systems, 2004)

Best Papers From Eumas 2003: The 1st European Workshop On Multi-Agent Systems. - Mark d'Inverno; Carles Sierra; Franco Zambonelli; Michael Luck; Steven Willmott (Appl. Artif. Intell., 2004)

The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. - Mark d'Inverno; Michael Luck; Michael P. Georgeff; David Kinny; Michael J. Wooldridge (Auton. Agents Multi Agent Syst., 2004)

Agents, emergence and modelling: What value for communication networks? - Mark d'Inverno (ICETE, 2005)

From SMART to agent systems development. - Ronald Ashri; Michael Luck; Mark d'Inverno (Eng. Appl. Artif. Intell., 2005)

Multidisciplinary Investigation into Adult Stem Cell Behavior. - Mark d'Inverno; Jane Prophet (Trans. Comp. Sys. Biology, 2005)

Theory and application of intelligent agent systems. - Mark d'Inverno (ICINCO-ICSO, 2006)

A normative framework for agent-based systems. - Fabiola López y López; Michael Luck; Mark d'Inverno (Comput. Math. Organ. Theory, 2006)

Agents in bioinformatics, computational and systems biology. - Emanuela Merelli; Giuliano Armano; Nicola Cannata; Flavio Corradini; Mark d'Inverno; Andreas Doms; Phillip W. Lord; Andrew C. R. Martin; Luciano Milanesi; Steffen Möller; Michael Schroeder 001; Michael Luck (Briefings Bioinform., 2007)

Net Work: an interactive artwork designed using an interdisciplinary performative approach. - Jon Bird; Mark d'Inverno; Jane Prophet (Digit. Creativity, 2007)

Agent-Based Modeling of Stem Cells. - Paul Howells; Mark d'Inverno; Rob Saunders; Ingo Roeder; Sara Montagna (Multi-Agent Systems, 2009)

09291 Abstracts Collection - Computational Creativity: an interdisciplinary approach. - Margaret A. Boden; Mark d'Inverno; Jon McCormack (Computational Creativity: An Interdisciplinary Approach, 2009)

09291 Summary - Computational Creativity: an interdisciplinary approach. - Jon McCormack; Margaret A. Boden; Mark d'Inverno (Computational Creativity: An Interdisciplinary Approach, 2009)

A CSP model with flexible parallel termination semantics. - Paul Howells; Mark d'Inverno (Formal Aspects Comput., 2009)

Forest Fire Dynamics In Sonic Organisation. - Daniel Jones 004; Mark d'Inverno (ICMC, 2010)

Querying Improvised Music: Do You Sound Like Yourself?. - Michael O. Jewell; Christophe Rhodes; Mark d'Inverno (ISMIR, 2010)

Automatic Group-Interactive Radio Using Social-Networks of Musicians. - Benjamin Fields; Christophe Rhodes; Mark d'Inverno (ICWSM, 2011)

Weaving a Fabric of Socially Aware Agents. - Mark d'Inverno; Michael Luck; Pablo Noriega; Juan A. Rodríguez-Aguilar; Carles Sierra (PRIMA, 2011)

Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery. - Benjamin Fields; Kurt Jacobson; Christophe Rhodes; Mark d'Inverno; Mark B. Sandler; Michael A. Casey (IEEE Trans. Multim., 2011)

WeCurate: Designing For Synchronised Browsing And Social Negotiation. - Leila Amgoud; Roberto Confalonieri 001; Dave de Jonge; Mark d'Inverno; Katina Hazelden; Nardine Osman 001; Henri Prade; Carles Sierra; Matthew Yee-King (AT, 2012)

Experiences - A Forgotten Component of Epistemic States. - Leila Amgoud; Mark d'Inverno; Nardine Osman 001; Henri Prade; Carles Sierra (AT, 2012)

Towards Community Browsing for Shared Experiences: The WeBrowse System. - Matthew Yee-King; Roberto Confalonieri 001; Dave de Jonge; Nardine Osman 001; Katina Hazelden; Leila Amgoud; Henri Prade; Carles Sierra; Mark d'Inverno (AT, 2012)

Sharing Online Cultural Experiences: An Argument-Based Approach. - Leila Amgoud; Roberto Confalonieri 001; Dave de Jonge; Mark d'Inverno; Katina Hazelden; Nardine Osman 001; Henri Prade; Carles Sierra; Matthew Yee-King (MDAI, 2012)

Communicating open systems. - Mark d'Inverno; Michael Luck; Pablo Noriega; Juan A. Rodríguez-Aguilar; Carles Sierra (Artif. Intell., 2012)

Creativity Through Autonomy and Interaction. - Mark d'Inverno; Michael Luck (Cogn. Comput., 2012)

Multiuser museum interactives for shared cultural experiences: an agent-based approach. - Matthew Yee-King; Roberto Confalonieri 001; Dave de Jonge; Katina Hazelden; Carles Sierra; Mark d'Inverno; Leila Amgoud; Nardine Osman 001 (AAMAS, 2013)

WeCurate: multiuser museum interactives for shared cultural experiences. - Katina Hazelden; Matthew Yee-King; Roberto Confalonieri 001; Carles Sierra; Fiammetta Ghedini; Dave de Jonge; Nardine Osman 001; Mark d'Inverno (CHI Extended Abstracts, 2013)

Reflexive loopers for solo musical improvisation. - François Pachet; Pierre Roy; Julian Moreira; Mark d'Inverno (CHI, 2013)

WeCurate: Enriching the Sociocultural Practices of the Museum Experience. - Katina Hazelden; Matthew Yee-King; Roberto Confalonieri 001; Fiammetta Ghedini; Carles Sierra; Mark d'Inverno (EVA, 2013)

An experience-based BDI logic: Motivating shared experiences and intentionality. - Nardine Osman 001; Mark d'Inverno; Carles Sierra; Leila Amgoud; Henri Prade; Matthew Yee-King; Roberto Confalonieri 001; Dave de Jonge; Katina Hazelden (IECON, 2013)

Communicating Open Systems: Extended Abstract. - Mark d'Inverno; Michael Luck; Pablo Noriega; Juan A. Rodríguez-Aguilar; Carles Sierra (IJCAI, 2013)

Successful Termination in Timed CSP. - Paul Howells; Mark d'Inverno (CPA, 2013)

Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). - Paul Howells; Mark d'Inverno (CPA, 2013)

Specifying termination in CSP. - Paul Howells; Mark d'Inverno (Theor. Comput. Sci., 2013)

Towards a Framework for Socio-Cognitive Technical Systems. - Pablo Noriega; Julian A. Padget; Harko Verhagen; Mark d'Inverno (COIN@AAMAS/PRICAI, 2014)

A Social Timeline for Exchanging Feedback about Musical Performances. - Harry Brenton; Matthew Yee-King; Andreu Grimalt-Reynes; Marco Gillies; Maria Krivenski; Mark d'Inverno (BCS HCI, 2014)

Duplicate Detection in Facsimile Scans of Early Printed Music. - Christophe Rhodes; Tim Crawford; Mark d'Inverno (ECDA, 2014)

Creative Feedback: a Manifesto for Social Learning. - Mark d'Inverno; Arthur Still (EDM (Workshops), 2014)

Fluid gesture interaction design: Applications of continuous recognition for the design of modern gestural interfaces. - Bruno Zamborlin; Frédéric Bevilacqua; Marco Gillies; Mark d'Inverno (ACM Trans. Interact. Intell. Syst., 2014)

Revealing and interpreting crowd stories in online social environments. - Chris Kiefer; Matthew Yee-King; Mark d'Inverno (AInF@IJCAI, 2015)

Pedagogical agent models for massive online education. - Matthew Yee-King; Mark d'Inverno (AInF@IJCAI, 2015)

Heroic versus Collaborative AI for the Arts. - Mark d'Inverno; Jon McCormack (IJCAI, 2015)

Sketches vs skeletons: video annotation can capture what motion capture cannot. - Marco Gillies; Harry Brenton; Matthew Yee-King; Andreu Grimalt-Reynes; Mark d'Inverno (MOCO, 2015)

Engineering multiuser museum interactives for shared cultural experiences. - Roberto Confalonieri 001; Matthew Yee-King; Katina Hazelden; Mark d'Inverno; Dave de Jonge; Nardine Osman 001; Carles Sierra; Leila Amgoud; Henri Prade (Eng. Appl. Artif. Intell., 2015)

A Manifesto for Conscientious Design of Hybrid Online Social Systems. - Pablo Noriega; Harko Verhagen; Mark d'Inverno; Julian A. Padget (COIN@AAMAS/ECAI, 2016)

Predicting student grades from online, collaborative social learning metrics using K-NN. - Matthew Yee-King; Andreu Grimalt-Reynes; Mark d'Inverno (EDM, 2016)

Stimulating collaborative activity in online social learning environments with Markov decision processes. - Matthew Yee-King; Mark d'Inverno (EDM, 2016)

Investigating Swarm Intelligence for Performance Prediction. - Mohammad Majid al-Rifaie; Matthew Yee-King; Mark d'Inverno (EDM, 2016)

Designing Improvisational Interfaces. - Jon McCormack; Mark d'Inverno (ICCC, 2016)

Experience Driven Design of Creative Systems. - Matthew Yee-King; Mark d'Inverno (ICCC, 2016)

A History of Creativity for Future AI Research. - Mark d'Inverno; Arthur Still (ICCC, 2016)

Identifying Affordances for Modelling Second-Order Emergent Phenomena with the WIT Framework. - Pablo Noriega; Jordi Sabater-Mir; Harko Verhagen; Julian A. Padget; Mark d'Inverno (AAMAS Workshops (Visionary Papers), 2017)

STEAM WORKS: Student coders experiment more and experimenters gain higher grades. - Matthew Yee-King; Mick Grierson; Mark d'Inverno (EDUCON, 2017)

Evidencing the Value of Inquiry Based, Constructionist Learning for Student Coders. - Matthew John Yee-King; Mick Grierson; Mark d'Inverno (Int. J. Eng. Pedagog., 2017)

Computational systems for music improvisation. - Toby Gifford; Shelly Knotts; Jon McCormack; Stefano Kalonaris; Matthew Yee-King; Mark d'Inverno (Digit. Creativity, 2018)

Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance. - Matthew John Yee-King; Thomas Wilmering; Maria Teresa Llano Rodriguez; Maria Krivenski; Mark d'Inverno (Frontiers Digit. Humanit., 2018)

Automatic Programming of VST Sound Synthesizers Using Deep Networks and Other Techniques. - Matthew John Yee-King; Leon Fedden; Mark d'Inverno (IEEE Trans. Emerg. Top. Comput. Intell., 2018)

In a Silent Way: Communication Between AI and Improvising Musicians Beyond Sound. - Jon McCormack; Toby Gifford; Patrick Hutchings; Maria Teresa Llano Rodriguez; Matthew Yee-King; Mark d'Inverno (CHI, 2019)

Explainable Computational Creativity. - Maria Teresa Llano; Mark d'Inverno; Matthew Yee-King; Jon McCormack; Alon Ilsar; Alison Pease; Simon Colton (ICCC, 2020)

Examining Student Coding Behaviours in Creative Computing Lessons using Abstract Syntax Trees and Vocabulary Analysis. - Matthew Yee-King; Louis McCallum; Maria Teresa Llano; Vít Ruzicka; Mark d'Inverno; Mick Grierson (ITiCSE, 2020)

Ethical Online AI Systems Through Conscientious Design. - Pablo Noriega; Harko Verhagen; Julian A. Padget; Mark d'Inverno (IEEE Internet Comput., 2021)

Design Heuristics for Ethical Online Institutions. - Pablo Noriega; Harko Verhagen; Julian A. Padget; Mark d'Inverno (COINE, 2022)

Addressing the Value Alignment Problem Through Online Institutions. - Pablo Noriega; Harko Verhagen; Julian A. Padget; Mark d'Inverno (COINE, 2023)

HandMonizer: a case study for personalized digital musical instrument design. - Davide Lionetti; Antonios Pappas; Luca Comanducci; Alberto Bernardini; Massimiliano Zanoni; Augusto Sarti; Matthew Yee-King; Mark d'Inverno (IS2, 2023)

Human Values in Multiagent Systems. - Nardine Osman 001; Mark d'Inverno (CoRR, 2023)

A computational framework of human values for ethical AI. - Nardine Osman 001; Mark d'Inverno (CoRR, 2023)

The pop song generator: designing an online course to teach collaborative, creative AI. - Matthew Yee-King; Andrea Fiorucci; Mark d'Inverno (CoRR, 2023)

A Computational Framework of Human Values. - Nardine Osman 001; Mark d'Inverno (AAMAS, 2024)

Modelling Human Values for AI Reasoning. - Nardine Osman 001; Mark d'Inverno (CoRR, 2024)