Mark d'Inverno

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

François Pachet, Pierre Roy, Julian Moreira, Mark d'Inverno: Reflexive loopers for solo musical improvisation. CHI 2013: 2205-2208

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

Mark d'Inverno, Michael Luck: Creativity Through Autonomy and Interaction. Cognitive Computation 4(3): 332-346 (2012)

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

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

Leila Amgoud, Mark d'Inverno, Nardine Osman, Henri Prade, Carles Sierra: Experiences - A Forgotten Component of Epistemic States. AT 2012: 220-230

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

Benjamin Fields, Kurt Jacobson, Christophe Rhodes, Mark d'Inverno, Mark B. Sandler, Michael Casey: Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery. IEEE Transactions on Multimedia 13(4): 674-686 (2011)

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

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

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

Paul Howells, Mark d'Inverno: A CSP model with flexible parallel termination semantics. Formal Asp. Comput. 21(5): 421-449 (2009)

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

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

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

Fabiola López y López, Michael Luck, Mark d'Inverno: A normative framework for agent-based systems. Computational & Mathematical Organization Theory 12(2-3): 227-250 (2006)

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

Ronald Ashri, Michael Luck, Mark d'Inverno: From SMART to agent systems development. Eng. Appl. of AI 18(2): 129-140 (2005)

Mark d'Inverno, Jane Prophet: Multidisciplinary Investigation into Adult Stem Cell Behavior. : 49-64 (2005)

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

Fabiola López y López, Michael Luck, Mark d'Inverno: A Normative Framework for Agent-Based Systems. NORMAS 2005: 24-35

Michael Luck, Ronald Ashri, Mark d'Inverno: Agent-Based Software Development. Artech House 2004, isbn 978-1-58053-605-9, pp. I-XIII, 1-208

Mark d'Inverno, Carles Sierra, Franco Zambonelli, Michael Luck, Steven Willmott: Best Papers From Eumas 2003: The 1st European Workshop On Multi-Agent Systems. Applied Artificial Intelligence 18(9-10): 775-778 (2004)

Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael Wooldridge: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems 9(1-2): 5-53 (2004)

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

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

Fabiola López y López, Michael Luck, Mark d'Inverno: Normative Agent Reasoning in Dynamic Societies. AAMAS 2004: 732-739

Ronald Ashri, Michael Luck, Mark d'Inverno: Identifying Opportunities and Constraints for Goal Achievement through Relationship Analysis. AAMAS 2004: 1452-1453

Stephen J. Munroe, Michael Luck, Mark d'Inverno: Motivation-Based Selection of Negotiation Partners. AAMAS 2004: 1520-1521

Michael Luck, Mark d'Inverno: Unifying Agent Systems. Ann. Math. Artif. Intell. 37(1-2): 131-167 (2003)

John Eacott, Mark d'Inverno: Embedded intelligent music-or iHiFi the intelligent HiFi. Digital Creativity 14(2): 67-73 (2003)

Stephen J. Munroe, Michael Luck, Mark d'Inverno: Towards a motivation-based approach for evaluating goals. AAMAS 2003: 1074-1075

Stephen J. Munroe, Michael Luck, Mark d'Inverno: Towards Motivation-Based Decisions for Worth Goals. CEEMAS 2003: 17-28

Ronald Ashri, Michael Luck, Mark d'Inverno: On Identifying and Managing Relationships in Multi-Agent Systems. IJCAI 2003: 743-748

Mark d'Inverno, Paul Howells, Michael J. Hu, Michael Luck: Soft-link hypertext for information retrieval. Information & Software Technology 44(2): 101-112 (2002)

Mark d'Inverno, Michael Luck: Practical and theoretical innovations in multi-agent systems research. Knowledge Eng. Review 17(3): 295-301 (2002)

Nathan Griffiths, Michael Luck, Mark d'Inverno: Annotating Cooperative Plans with Trusted Agents. Trust, Reputation, and Security 2002: 87-107

Fabiola López y López, Michael Luck, Mark d'Inverno: Constraining autonomy through norms. AAMAS 2002: 674-681

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

Mark d'Inverno, Michael Luck, Michael Fisher, Chris Preist (Eds.): Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers. Lecture Notes in Computer Science 2403, Springer 2002, isbn 3-540-43962-5

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

Michael Luck, Mark d'Inverno: Plan Analysis for Autonomous Sociological Agents. ATAL 2000: 182-197

Michael Luck, Mark d'Inverno: Autonomy: A Nice Idea in Theory. ATAL 2000: 351-353

Koen V. Hindriks, Mark d'Inverno, Michael Luck: Architecture for Agent Programming Languages. ECAI 2000: 363-367

Mark d'Inverno, Michael Luck: Formal Agent Development: Framework to System. FAABS 2000: 133-147

Mark d'Inverno, Michael Luck: Sociological Agents for Effective Social Action. ICMAS 2000: 379-380

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

George R. Ribeiro-Justo, Paul Howells, Mark d'Inverno: Formalising high-performance systems methodologies. Journal of Systems Architecture 45(6-7): 441-464 (1999)

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

Michael Luck, Mark d'Inverno: Motivated Behavior for Goal Adoption. DAI 1998: 58-73

Mark d'Inverno, David Kinny, Michael Luck: Interaction Protocols in Agentis. ICMAS 1998: 112-119

Mark d'Inverno, Mark Priestley, Michael Luck: Formal framework for hypertext systems. IEE Proceedings - Software 144(3): 175-184 (1997)

Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge: A Formal Specification of dMARS. ATAL 1997: 155-176

Mark d'Inverno, Michael Luck: Development and Application of a Formal Agent Framework. ICFEM 1997: 222-231

Mark d'Inverno, Michael Luck, Michael Wooldridge: Cooperation Structures. IJCAI (1) 1997: 600-605

Mark d'Inverno, Michael J. Hu: A Z Specification of the Soft-Link Hypertext Model. ZUM 1997: 297-316

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

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

Mark d'Inverno, Michael Luck: Understanding Autonomous Interaction. ECAI 1996: 529-533

Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells: A Formal Framework for Specifying Design Methods. HICSS (1) 1996: 741-

Mark d'Inverno, Michael Luck: Formalising the Contract Net as a Goal-Directed System. MAAMAW 1996: 72-85

Michael Luck, Mark d'Inverno: Engagement and Cooperating in Motivated Agent Modelling. DAI 1995: 70-84

Mark d'Inverno, Michael Luck: A Formal View of Social Dependence Networks. DAI 1995: 115-129

Michael Luck, Mark d'Inverno: A Formal Framework for Agency and Autonomy. ICMAS 1995: 254-260

Michael Luck, Mark d'Inverno: Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. ZUM 1995: 47-62

Mark d'Inverno, Mark Priestley: Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM 1995: 83-102

Mark d'Inverno, Jon Crowcroft: Specification, Design and Implementation of an Interactive Conferencing System. INFOCOM 1991: 1114-1126