A Computational Framework of Human Values - Nardine Osman; Mark d'Inverno (Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, 2024)

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

Addressing the Value Alignment Problem Through Online Institutions - Pablo Noriega; Harko Verhagen; Julian A. Padget; Mark d'Inverno (Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI - 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers, 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 (2023 4th International Symposium on the Internet of Sounds, Pisa, Italy, October 26-27, 2023, 2023)

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

A computational framework of human values for ethical AI - Nardine Osman; 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)

Design Heuristics for Ethical Online Institutions - Pablo Noriega; Harko Verhagen; Julian A. Padget; Mark d'Inverno (Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV - International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers, 2022)

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

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

Explainable Computational Creativity - Maria Teresa Llano; Mark d'Inverno; Matthew Yee-King; Jon McCormack; Alon Ilsar; Alison Pease; Simon Colton (Proceedings of the Eleventh International Conference on Computational Creativity, ICCC 2020, Coimbra, Portugal, September 7-11, 2020, 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 (Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020, 2020)

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 (Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019, 2019)

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 (CoRR, 2019)

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)

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)

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 (Autonomous Agents and Multiagent Systems - AAMAS 2017 Workshops, Visionary Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers, 2017)

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

A Manifesto for Conscientious Design of Hybrid Online Social Systems - Pablo Noriega; Harko Verhagen; Mark d'Inverno; Julian A. Padget (Coordination, Organizations, Institutions, and Norms in Agent Systems XII - COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers, 2016)

Investigating Swarm Intelligence for Performance Prediction - Mohammad Majid al-Rifaie; Matthew Yee-King; Mark d'Inverno (Proceedings of the 9th International Conference on Educational Data Mining, EDM 2016, Raleigh, North Carolina, USA, June 29 - July 2, 2016, 2016)

Stimulating collaborative activity in online social learning environments with Markov decision processes - Matthew Yee-King; Mark d'Inverno (Proceedings of the 9th International Conference on Educational Data Mining, EDM 2016, Raleigh, North Carolina, USA, June 29 - July 2, 2016, 2016)

Predicting student grades from online, collaborative social learning metrics using K-NN - Matthew Yee-King; Andreu Grimalt-Reynes; Mark d'Inverno (Proceedings of the 9th International Conference on Educational Data Mining, EDM 2016, Raleigh, North Carolina, USA, June 29 - July 2, 2016, 2016)

Experience Driven Design of Creative Systems - Matthew Yee-King; Mark d'Inverno (Proceedings of the Seventh International Conference on Computational Creativity, ICCC 2016, UPMC, Paris, France, June 27 - July 1, 2016, 2016)

Designing Improvisational Interfaces - Jon McCormack; Mark d'Inverno (Proceedings of the Seventh International Conference on Computational Creativity, ICCC 2016, UPMC, Paris, France, June 27 - July 1, 2016, 2016)

A History of Creativity for Future AI Research - Mark d'Inverno; Arthur Still (Proceedings of the Seventh International Conference on Computational Creativity, ICCC 2016, UPMC, Paris, France, June 27 - July 1, 2016, 2016)

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

Pedagogical agent models for massive online education - Matthew Yee-King; Mark d'Inverno (Proceedings of the First International Workshop on AI and Feedback, AInF 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 26, 2015, 2015)

Revealing and interpreting crowd stories in online social environments - Chris Kiefer; Matthew Yee-King; Mark d'Inverno (Proceedings of the First International Workshop on AI and Feedback, AInF 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 26, 2015, 2015)

Heroic versus Collaborative AI for the Arts - Mark d'Inverno; Jon McCormack (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 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 (Proceedings of the 2nd International Workshop on Movement and Computing, MOCO 2015, Vancouver, British Columbia, Canada, August 14-15, 2015, 2015)

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)

Towards a Framework for Socio-Cognitive Technical Systems - Pablo Noriega; Julian A. Padget; Harko Verhagen; Mark d'Inverno (Coordination, Organizations, Institutions, and Norms in Agent Systems X - COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers, 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 Proceedings of the 28th International BCS Human Computer Interaction Conference, Southport, UK, 9-12 September 2014, 2014)

Duplicate Detection in Facsimile Scans of Early Printed Music - Christophe Rhodes; Tim Crawford; Mark d'Inverno (Analysis of Large and Complex Data - Second European Conference on Data Analysis, ECDA 2014, Bremen, Germany, July 2-4, 2014, 2014)

Creative Feedback: a Manifesto for Social Learning - Mark d'Inverno; Arthur Still (Proceedings of the Workshops held at Educational Data Mining 2014, co-located with 7th International Conference on Educational Data Mining (EDM 2014), London, United Kingdom, July 4-7, 2014, 2014)

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

Multiuser museum interactives for shared cultural experiences: an agent-based approach - Matthew Yee-King; Roberto Confalonieri; Dave de Jonge; Katina Hazelden; Carles Sierra; Mark d'Inverno; Leila Amgoud; Nardine Osman (International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013, 2013)

WeCurate: multiuser museum interactives for shared cultural experiences - Katina Hazelden; Matthew Yee-King; Roberto Confalonieri; Carles Sierra; Fiammetta Ghedini; Dave de Jonge; Nardine Osman; Mark d'Inverno (2013 ACM SIGCHI Conference on Human Factors in Computing Systems, CHI '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts, 2013)

Reflexive loopers for solo musical improvisation - François Pachet; Pierre Roy; Julian Moreira; Mark d'Inverno (2013 ACM SIGCHI Conference on Human Factors in Computing Systems, CHI '13, Paris, France, April 27 - May 2, 2013, 2013)

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

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; Katina Hazelden (IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, Vienna, Austria, November 10-13, 2013, 2013)

Communicating Open Systems: Extended Abstract - Mark d'Inverno; Michael Luck; Pablo Noriega; Juan A. Rodríguez-Aguilar; Carles Sierra (IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, 2013)

Successful Termination in Timed CSP - Paul Howells; Mark d'Inverno (35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, 2013)

Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity) - Paul Howells; Mark d'Inverno (35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, 2013)

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)

WeCurate: Designing For Synchronised Browsing And Social Negotiation - Leila Amgoud; Roberto Confalonieri; Dave de Jonge; Mark d'Inverno; Katina Hazelden; Nardine Osman; Henri Prade; Carles Sierra; Matthew Yee-King (Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, 2012)

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; Mark d'Inverno (Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, 2012)

Experiences - A Forgotten Component of Epistemic States - Leila Amgoud; Mark d'Inverno; Nardine Osman; Henri Prade; Carles Sierra (Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, 2012)

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; Matthew Yee-King (Modeling Decisions for Artificial Intelligence - 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012. Proceedings, 2012)

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)

Automatic Group-Interactive Radio Using Social-Networks of Musicians - Benjamin Fields; Christophe Rhodes; Mark d'Inverno (Proceedings of the Fifth International Conference on Weblogs and Social Media, Barcelona, Catalonia, Spain, July 17-21, 2011, 2011)

Weaving a Fabric of Socially Aware Agents - Mark d'Inverno; Michael Luck; Pablo Noriega; Juan A. Rodríguez-Aguilar; Carles Sierra (Agents in Principle, Agents in Practice - 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings, 2011)

Forest Fire Dynamics In Sonic Organisation - Daniel Jones; Mark d'Inverno (Proceedings of the 2010 International Computer Music Conference, ICMC 2010, New York, USA, 2010, 2010)

Querying Improvised Music: Do You Sound Like Yourself? - Michael O. Jewell; Christophe Rhodes; Mark d'Inverno (Proceedings of the 11th International Society for Music Information Retrieval Conference, ISMIR 2010, Utrecht, Netherlands, August 9-13, 2010, 2010)

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

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

Computational Creativity: An Interdisciplinary Approach, 12.07. - 17.07.2009 - Margaret A. Boden; Mark d'Inverno; Jon McCormack (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009)

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

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

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; 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)

A Normative Framework for Agent-Based Systems - Fabiola López y López; Michael Luck; Mark d'Inverno (Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007)

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

Theory and application of intelligent agent systems - Mark d'Inverno (ICINCO 2006, Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization, Setúbal, Portugal, August 1-5, 2006, 2006)

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)

Agents, emergence and modelling: What value for communication networks? - Mark d'Inverno (ICETE 2005 - Proceedings of the Second International Conference on e-Business and Telecommunication Networks, Reading, UK, October 3-7, 2005, 2005)

A Normative Framework for Agent-Based Systems - Fabiola López y López; Michael Luck; Mark d'Inverno (Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK, 12-15 April 2005. Proceedings, 2005)

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

Understanding agent systems, Second Edition - Mark d'Inverno; Michael Luck (Springer, 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)

The intelligent street: responsive sound environments for social interaction - Henrik Lörstad; Mark d'Inverno; John Eacott (Proceedings of the 2004 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, 2004, Singapore, June 3-5, 2004, 2004)

Agent-Based Modelling of Stem Cell Self-organisation in a Niche - Mark d'Inverno; Rob Saunders (Engineering Self-Organising Systems, Methodologies and Applications [revised versions of papers presented at the Engineering Selforganising Applications (ESOA 2004) workshop, held during the Autonomous Agents and Multi-agent Systems conference (AAMAS 2004) in New York in July 2004, and selected invited papers], 2004)

Normative Agent Reasoning in Dynamic Societies - Fabiola López y López; Michael Luck; Mark d'Inverno (3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, 2004)

Identifying Opportunities and Constraints for Goal Achievement through Relationship Analysis - Ronald Ashri; Michael Luck; Mark d'Inverno (3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, 2004)

Motivation-Based Selection of Negotiation Partners - Stephen J. Munroe; Michael Luck; Mark d'Inverno (3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, 2004)

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)

Towards a motivation-based approach for evaluating goals - Stephen J. Munroe; Michael Luck; Mark d'Inverno (The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, 2003)

Towards Motivation-Based Decisions for Worth Goals - Stephen J. Munroe; Michael Luck; Mark d'Inverno (Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003, Proceedings, 2003)

On Identifying and Managing Relationships in Multi-Agent Systems - Ronald Ashri; Michael Luck; Mark d'Inverno (IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, 2003)

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)

Annotating Cooperative Plans with Trusted Agents - Nathan Griffiths; Michael Luck; Mark d'Inverno (Trust, Reputation, and Security: Theories and Practice, AAMAS 2002 International Workshop, Bologna, Italy, July 15, 2002, Selected and Invited Papers, 2002)

Constraining autonomy through norms - Fabiola López y López; Michael Luck; Mark d'Inverno (The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, 2002)

Infrastructure Support for Agent-Based Development - Ronald Ashri; Michael Luck; Mark d'Inverno (Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers, 2002)

Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers - Mark d'Inverno; Michael Luck; Michael Fisher; Chris Preist (Springer, 2002)

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)

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

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

Plan Analysis for Autonomous Sociological Agents - Michael Luck; Mark d'Inverno (Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings, 2000)

Autonomy: A Nice Idea in Theory - Michael Luck; Mark d'Inverno (Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings, 2000)

Architecture for Agent Programming Languages - Koen V. Hindriks; Mark d'Inverno; Michael Luck (ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, 2000)

Formal Agent Development: Framework to System - Mark d'Inverno; Michael Luck (Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, 2000)

Sociological Agents for Effective Social Action - Mark d'Inverno; Michael Luck (4th International Conference on Multi-Agent Systems, ICMAS 2000, Boston, MA, USA, July 10-12, 2000, 2000)

A Formal Architecture for the 3APL Agent Programming Language - Mark d'Inverno; Koen V. Hindriks; Michael Luck (ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, 2000)

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 (Knowl. Eng. Rev., 1999)

Agents, agency and autonomy: a formal computational model - Mark d'Inverno (University College London, UK, 1998)

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

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

Motivated Behavior for Goal Adoption - Michael Luck; Mark d'Inverno (Multi-Agent Systems: Theories, Languages, and Applications, 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Queensland, Australia, July 13, 1998, Selected Papers, 1998)

Interaction Protocols in Agentis - Mark d'Inverno; David Kinny; Michael Luck (Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, 1998)

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; Alessio Lomuscio; Michael Luck; Maarten de Rijke; Mark Ryan; Michael J. Wooldridge (Knowl. Eng. Rev., 1997)

A Formal Specification of dMARS - Mark d'Inverno; David Kinny; Michael Luck; Michael J. Wooldridge (Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings, 1997)

Development and Application of a Formal Agent Framework - Mark d'Inverno; Michael Luck (First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, 1997)

Cooperation Structures - Mark d'Inverno; Michael Luck; Michael J. Wooldridge (Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes, 1997)

A Z Specification of the Soft-Link Hypertext Model - Mark d'Inverno; Michael J. Hu (ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings, 1997)

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

From Agent Theory to Agent Construction: A Case Study - Michael Luck; Nathan Griffiths; Mark d'Inverno (Intelligent Agents III, Agent Theories, Architectures, and Languages, ECAI '96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings, 1996)

Making and Breaking Engagements: An Operational Analysis of Agent Relationships - Mark d'Inverno; Michael Luck (Multi-Agent Systems: Methodologies and Applications, Second Australian Workshop on Distributed Artificial Intelligence, Cairns, Queensland, Australia, August 27, 1996, Revised Papers, 1996)

Understanding Autonomous Interaction - Mark d'Inverno; Michael Luck (12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings, 1996)

A Formal Framework for Specifying Design Methods - Mark d'Inverno; George R. Ribeiro-Justo; Paul Howells (29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, 1996)

Formalising the Contract Net as a Goal-Directed System - Mark d'Inverno; Michael Luck (Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings, 1996)

Engagement and Cooperating in Motivated Agent Modelling - Michael Luck; Mark d'Inverno (Distributed Artificial Intelligence: Architecture and Modelling, First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995, Proceedings, 1995)

A Formal View of Social Dependence Networks - Mark d'Inverno; Michael Luck (Distributed Artificial Intelligence: Architecture and Modelling, First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995, Proceedings, 1995)

A Formal Framework for Agency and Autonomy - Michael Luck; Mark d'Inverno (Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA, 1995)

Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems - Michael Luck; Mark d'Inverno (ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, 1995)

Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems - Mark d'Inverno; Mark Priestley (ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings, 1995)

Specification, Design and Implementation of an Interactive Conferencing System - Mark d'Inverno; Jon Crowcroft (Proceedings IEEE INFOCOM '91, The Conference on Computer Communications, Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking in the 90s, Bal Harbour, Florida, USA, April 7-11, 1991, 1991)