Mark d'Inverno

127 papers A* 6A 10B 6C 9Journal 38Unranked 51

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	A Computational Framework of Human Values. AAMAS Nardine Osman, Mark d'Inverno
2024	—	`conf`	Designing an AI-creativity music course. AIMC Matthew Yee-King, Mark d'Inverno, Andrea Fiorucci
2024	J	`jnl`	Modelling Human Values for AI Reasoning. CoRR Nardine Osman, Mark d'Inverno
2024	—	`conf`	Strategies for building AI-enhanced audio software with impact. AIMC Matthew Yee-King, Mark d'Inverno
2023	J	`jnl`	A computational framework of human values for ethical AI. CoRR Nardine Osman, Mark d'Inverno
2023	C	`conf`	Addressing the Value Alignment Problem Through Online Institutions. COINE Pablo Noriega, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2023	—	`conf`	HandMonizer: a case study for personalized digital musical instrument design. IS2 Davide Lionetti, Antonios Pappas, Luca Comanducci, Alberto Bernardini, Massimiliano Zanoni, Augusto Sarti, Matthew Yee-King, Mark d'Inverno
2023	J	`jnl`	Human Values in Multiagent Systems. CoRR Nardine Osman, Mark d'Inverno
2023	J	`jnl`	The pop song generator: designing an online course to teach collaborative, creative AI. CoRR Matthew Yee-King, Andrea Fiorucci, Mark d'Inverno
2022	C	`conf`	Design Heuristics for Ethical Online Institutions. COINE Pablo Noriega, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2022	J	`jnl`	Explainable Computational Creativity. CoRR Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton
2021	J	`jnl`	Ethical Online AI Systems Through Conscientious Design. IEEE Internet Comput. Pablo Noriega, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2020	B	`conf`	Examining Student Coding Behaviours in Creative Computing Lessons using Abstract Syntax Trees and Vocabulary Analysis. ITiCSE Matthew Yee-King, Louis McCallum, Maria Teresa Llano, Vít Ruzicka, Mark d'Inverno, Mick Grierson
2020	C	`conf`	Explainable Computational Creativity. ICCC Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton
2019	A*	`conf`	In a Silent Way: Communication Between AI and Improvising Musicians Beyond Sound. CHI Jon McCormack, Toby Gifford, Patrick Hutchings, Maria Teresa Llano Rodriguez, Matthew Yee-King, Mark d'Inverno
2019	J	`jnl`	In a Silent Way: Communication Between AI and Improvising Musicians Beyond Sound. CoRR Jon McCormack, Toby Gifford, Patrick Hutchings, Maria Teresa Llano Rodriguez, Matthew Yee-King, Mark d'Inverno
2018	J	`jnl`	Automatic Programming of VST Sound Synthesizers Using Deep Networks and Other Techniques. IEEE Trans. Emerg. Top. Comput. Intell. Matthew John Yee-King, Leon Fedden, Mark d'Inverno
2018	J	`jnl`	Computational systems for music improvisation. Digit. Creativity Toby Gifford, Shelly Knotts, Jon McCormack, Stefano Kalonaris, Matthew Yee-King, Mark d'Inverno
2018	J	`jnl`	Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance. Frontiers Digit. Humanit. Matthew John Yee-King, Thomas Wilmering, Maria Teresa Llano Rodriguez, Maria Krivenski, Mark d'Inverno
2017	J	`jnl`	Evidencing the Value of Inquiry Based, Constructionist Learning for Student Coders. Int. J. Eng. Pedagog. Matthew John Yee-King, Mick Grierson, Mark d'Inverno
2017	—	`conf`	Identifying Affordances for Modelling Second-Order Emergent Phenomena with the AAMAS Workshops (Visionary Papers) Pablo Noriega, Jordi Sabater-Mir, Harko Verhagen, Julian A. Padget, Mark d'Inverno
2017	C	`conf`	STEAM WORKS: Student coders experiment more and experimenters gain higher grades. EDUCON Matthew Yee-King, Mick Grierson, Mark d'Inverno
2016	C	`conf`	A History of Creativity for Future AI Research. ICCC Mark d'Inverno, Arthur Still
2016	—	`conf`	A Manifesto for Conscientious Design of Hybrid Online Social Systems. COIN@AAMAS/ECAI Pablo Noriega, Harko Verhagen, Mark d'Inverno, Julian A. Padget
2016	C	`conf`	Designing Improvisational Interfaces. ICCC Jon McCormack, Mark d'Inverno
2016	C	`conf`	Experience Driven Design of Creative Systems. ICCC Matthew Yee-King, Mark d'Inverno
2016	B	`conf`	Investigating Swarm Intelligence for Performance Prediction. EDM Mohammad Majid al-Rifaie, Matthew Yee-King, Mark d'Inverno
2016	B	`conf`	Predicting student grades from online, collaborative social learning metrics using K-NN. EDM Matthew Yee-King, Andreu Grimalt-Reynes, Mark d'Inverno
2016	B	`conf`	Stimulating collaborative activity in online social learning environments with Markov decision processes. EDM Matthew Yee-King, Mark d'Inverno
2015	J	`jnl`	Engineering multiuser museum interactives for shared cultural experiences. Eng. Appl. Artif. Intell. Roberto Confalonieri, Matthew Yee-King, Katina Hazelden, Mark d'Inverno, Dave de Jonge, Nardine Osman, Carles Sierra, Leila Amgoud, Henri Prade
2015	A*	`conf`	Heroic versus Collaborative AI for the Arts. IJCAI Mark d'Inverno, Jon McCormack
2015	—	`conf`	Pedagogical agent models for massive online education. AInF@IJCAI Matthew Yee-King, Mark d'Inverno
2015	—	`conf`	Revealing and interpreting crowd stories in online social environments. AInF@IJCAI Chris Kiefer, Matthew Yee-King, Mark d'Inverno
2015	—	`conf`	Sketches vs skeletons: video annotation can capture what motion capture cannot. MOCO Marco Gillies, Harry Brenton, Matthew Yee-King, Andreu Grimalt-Reynes, Mark d'Inverno
2014	—	`conf`	A Social Timeline for Exchanging Feedback about Musical Performances. BCS HCI Harry Brenton, Matthew Yee-King, Andreu Grimalt-Reynes, Marco Gillies, Maria Krivenski, Mark d'Inverno
2014	—	`conf`	Creative Feedback: a Manifesto for Social Learning. EDM (Workshops) Mark d'Inverno, Arthur Still
2014	—	`conf`	Duplicate Detection in Facsimile Scans of Early Printed Music. ECDA Christophe Rhodes, Tim Crawford, Mark d'Inverno
2014	J	`jnl`	Fluid gesture interaction design: Applications of continuous recognition for the design of modern gestural interfaces. ACM Trans. Interact. Intell. Syst. Bruno Zamborlin, Frédéric Bevilacqua, Marco Gillies, Mark d'Inverno
2014	—	`conf`	Towards a Framework for Socio-Cognitive Technical Systems. COIN@AAMAS/PRICAI Pablo Noriega, Julian A. Padget, Harko Verhagen, Mark d'Inverno
2013	C	`conf`	An experience-based BDI logic: Motivating shared experiences and intentionality. IECON Nardine Osman, Mark d'Inverno, Carles Sierra, Leila Amgoud, Henri Prade, Matthew Yee-King, Roberto Confalonieri, Dave de Jonge, Katina Hazelden
2013	A*	`conf`	Communicating Open Systems: Extended Abstract. IJCAI Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra
2013	A	`conf`	Multiuser museum interactives for shared cultural experiences: an agent-based approach. AAMAS Matthew Yee-King, Roberto Confalonieri, Dave de Jonge, Katina Hazelden, Carles Sierra, Mark d'Inverno, Leila Amgoud, Nardine Osman
2013	A*	`conf`	Reflexive loopers for solo musical improvisation. CHI François Pachet, Pierre Roy, Julian Moreira, Mark d'Inverno
2013	—	`conf`	Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). CPA Paul Howells, Mark d'Inverno
2013	J	`jnl`	Specifying termination in CSP. Theor. Comput. Sci. Paul Howells, Mark d'Inverno
2013	—	`conf`	Successful Termination in Timed CSP. CPA Paul Howells, Mark d'Inverno
2013	—	`conf`	WeCurate: Enriching the Sociocultural Practices of the Museum Experience. EVA Katina Hazelden, Matthew Yee-King, Roberto Confalonieri, Fiammetta Ghedini, Carles Sierra, Mark d'Inverno
2013	—	`conf`	WeCurate: multiuser museum interactives for shared cultural experiences. CHI Extended Abstracts Katina Hazelden, Matthew Yee-King, Roberto Confalonieri, Carles Sierra, Fiammetta Ghedini, Dave de Jonge, Nardine Osman, Mark d'Inverno
2012	J	`jnl`	Communicating open systems. Artif. Intell. Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra
2012	J	`jnl`	Creativity Through Autonomy and Interaction. Cogn. Comput. Mark d'Inverno, Michael Luck
2012	—	`conf`	Experiences - A Forgotten Component of Epistemic States. AT Leila Amgoud, Mark d'Inverno, Nardine Osman, Henri Prade, Carles Sierra
2012	B	`conf`	Sharing Online Cultural Experiences: An Argument-Based Approach. MDAI Leila Amgoud, Roberto Confalonieri, Dave de Jonge, Mark d'Inverno, Katina Hazelden, Nardine Osman, Henri Prade, Carles Sierra, Matthew Yee-King
2012	—	`conf`	Towards Community Browsing for Shared Experiences: The WeBrowse System. AT Matthew Yee-King, Roberto Confalonieri, Dave de Jonge, Nardine Osman, Katina Hazelden, Leila Amgoud, Henri Prade, Carles Sierra, Mark d'Inverno
2012	—	`conf`	WeCurate: Designing For Synchronised Browsing And Social Negotiation. AT Leila Amgoud, Roberto Confalonieri, Dave de Jonge, Mark d'Inverno, Katina Hazelden, Nardine Osman, Henri Prade, Carles Sierra, Matthew Yee-King
2011	J	`jnl`	Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery. IEEE Trans. Multim. Benjamin Fields, Kurt Jacobson, Christophe Rhodes, Mark d'Inverno, Mark B. Sandler, Michael A. Casey
2011	A	`conf`	Automatic Group-Interactive Radio Using Social-Networks of Musicians. ICWSM Benjamin Fields, Christophe Rhodes, Mark d'Inverno
2011	B	`conf`	Weaving a Fabric of Socially Aware Agents. PRIMA Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra
2010	—	`conf`	Forest Fire Dynamics In Sonic Organisation. ICMC Daniel Jones, Mark d'Inverno
2010	—	`conf`	Querying Improvised Music: Do You Sound Like Yourself?. ISMIR Michael O. Jewell, Christophe Rhodes, Mark d'Inverno
2009	—	`conf`	09291 Abstracts Collection - Computational Creativity: an interdisciplinary approach. Computational Creativity: An Interdisciplinary Approach Margaret A. Boden, Mark d'Inverno, Jon McCormack
2009	—	`conf`	09291 Summary - Computational Creativity: an interdisciplinary approach. Computational Creativity: An Interdisciplinary Approach Jon McCormack, Margaret A. Boden, Mark d'Inverno
2009	J	`jnl`	A CSP model with flexible parallel termination semantics. Formal Aspects Comput. Paul Howells, Mark d'Inverno
2009	—	`ch.`	Agent-Based Modeling of Stem Cells. Multi-Agent Systems Paul Howells, Mark d'Inverno, Rob Saunders, Ingo Roeder, Sara Montagna
2009	—	`ed.`	Computational Creativity: An Interdisciplinary Approach, 12.07. - 17.07.2009 Computational Creativity: An Interdisciplinary Approach Margaret A. Boden, Mark d'Inverno, Jon McCormack
2007	—	`conf`	A Normative Framework for Agent-Based Systems. Normative Multi-agent Systems Fabiola López y López, Michael Luck, Mark d'Inverno
2007	J	`jnl`	Agents in bioinformatics, computational and systems biology. Briefings Bioinform. 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
2006	J	`jnl`	A normative framework for agent-based systems. Comput. Math. Organ. Theory Fabiola López y López, Michael Luck, Mark d'Inverno
2006	—	`conf`	Theory and application of intelligent agent systems. ICINCO-ICSO Mark d'Inverno
2005	—	`conf`	A Normative Framework for Agent-Based Systems. NORMAS Fabiola López y López, Michael Luck, Mark d'Inverno
2005	—	`conf`	Agents, emergence and modelling: What value for communication networks? ICETE Mark d'Inverno
2005	J	`jnl`	From SMART to agent systems development. Eng. Appl. Artif. Intell. Ronald Ashri, Michael Luck, Mark d'Inverno
2005	J	`jnl`	Multidisciplinary Investigation into Adult Stem Cell Behavior. Trans. Comp. Sys. Biology Mark d'Inverno, Jane Prophet
2004	—	`conf`	Agent-Based Modelling of Stem Cell Self-organisation in a Niche. Engineering Self-Organising Systems Mark d'Inverno, Rob Saunders
2004	—	`book`	Agent-Based Software Development. Michael Luck, Ronald Ashri, Mark d'Inverno
2004	J	`jnl`	Best Papers From Eumas 2003: The 1st European Workshop On Multi-Agent Systems. Appl. Artif. Intell. Mark d'Inverno, Carles Sierra, Franco Zambonelli, Michael Luck, Steven Willmott
2004	A	`conf`	Identifying Opportunities and Constraints for Goal Achievement through Relationship Analysis. AAMAS Ronald Ashri, Michael Luck, Mark d'Inverno
2004	A	`conf`	Motivation-Based Selection of Negotiation Partners. AAMAS Stephen J. Munroe, Michael Luck, Mark d'Inverno
2004	A	`conf`	Normative Agent Reasoning in Dynamic Societies. AAMAS Fabiola López y López, Michael Luck, Mark d'Inverno
2004	J	`jnl`	The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Auton. Agents Multi Agent Syst. Mark d'Inverno, Michael Luck, Michael P. Georgeff, David Kinny, Michael J. Wooldridge
2004	—	`conf`	The intelligent street: responsive sound environments for social interaction. Advances in Computer Entertainment Technology Henrik Lörstad, Mark d'Inverno, John Eacott
2004	—	`book`	Understanding agent systems, Second Edition. Mark d'Inverno, Michael Luck
2003	J	`jnl`	Embedded intelligent music-or iHiFi the intelligent HiFi. Digit. Creativity John Eacott, Mark d'Inverno
2003	A*	`conf`	On Identifying and Managing Relationships in Multi-Agent Systems. IJCAI Ronald Ashri, Michael Luck, Mark d'Inverno
2003	—	`conf`	Towards Motivation-Based Decisions for Worth Goals. CEEMAS Stephen J. Munroe, Michael Luck, Mark d'Inverno
2003	A	`conf`	Towards a motivation-based approach for evaluating goals. AAMAS Stephen J. Munroe, Michael Luck, Mark d'Inverno
2003	J	`jnl`	Unifying Agent Systems. Ann. Math. Artif. Intell. Michael Luck, Mark d'Inverno
2002	—	`conf`	Annotating Cooperative Plans with Trusted Agents. Trust, Reputation, and Security Nathan Griffiths, Michael Luck, Mark d'Inverno
2002	A	`conf`	Constraining autonomy through norms. AAMAS Fabiola López y López, Michael Luck, Mark d'Inverno
2002	—	`ed.`	Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers Foundations and Applications of Multi-Agent Systems Mark d'Inverno, Michael Luck, Michael Fisher, Chris Preist
2002	—	`conf`	Infrastructure Support for Agent-Based Development. Foundations and Applications of Multi-Agent Systems Ronald Ashri, Michael Luck, Mark d'Inverno
2002	J	`jnl`	Practical and theoretical innovations in multi-agent systems research. Knowl. Eng. Rev. Mark d'Inverno, Michael Luck
2002	J	`jnl`	Soft-link hypertext for information retrieval. Inf. Softw. Technol. Mark d'Inverno, Paul Howells, Michael J. Hu, Michael Luck
2001	J	`jnl`	A Conceptual Framework for Agent Definition and Development. Comput. J. Michael Luck, Mark d'Inverno
2001	J	`jnl`	Learning in multi-agent systems. Knowl. Eng. Rev. Eduardo Alonso, Mark d'Inverno, Daniel Kudenko, Michael Luck, Jason Noble
2001	J	`jnl`	Multi-agent systems research into the 21st century. Knowl. Eng. Rev. Mark d'Inverno, Michael Luck
2001	—	`book`	Understanding agent systems. Mark d'Inverno, Michael Luck
2000	—	`conf`	A Formal Architecture for the 3APL Agent Programming Language. ZB Mark d'Inverno, Koen V. Hindriks, Michael Luck
2000	A	`conf`	Architecture for Agent Programming Languages. ECAI Koen V. Hindriks, Mark d'Inverno, Michael Luck
2000	—	`conf`	Autonomy: A Nice Idea in Theory. ATAL Michael Luck, Mark d'Inverno
2000	—	`conf`	Formal Agent Development: Framework to System. FAABS Mark d'Inverno, Michael Luck
2000	—	`conf`	Plan Analysis for Autonomous Sociological Agents. ATAL Michael Luck, Mark d'Inverno
2000	—	`conf`	Sociological Agents for Effective Social Action. ICMAS Mark d'Inverno, Michael Luck
1999	J	`jnl`	Formalising high-performance systems methodologies. J. Syst. Archit. George R. Ribeiro-Justo, Paul Howells, Mark d'Inverno
1999	J	`jnl`	Negotiation in multi-agent systems. Knowl. Eng. Rev. Martin Beer, Mark d'Inverno, Michael Luck, Nick R. Jennings, Chris Preist, Michael Schroeder
1998	—	`—`	Agents, agency and autonomy: a formal computational model. Mark d'Inverno
1998	J	`jnl`	Engineering AgentSpeak(L): A Formal Computational Model. J. Log. Comput. Mark d'Inverno, Michael Luck
1998	J	`jnl`	Foundations of Multi-Agent Systems: Techniques, Tools and Theory. Knowl. Eng. Rev. Michael Luck, Mark d'Inverno, Michael Fisher
1998	—	`conf`	Interaction Protocols in Agentis. ICMAS Mark d'Inverno, David Kinny, Michael Luck
1998	—	`conf`	Motivated Behavior for Goal Adoption. DAI Michael Luck, Mark d'Inverno
1997	—	`conf`	A Formal Specification of dMARS. ATAL Mark d'Inverno, David Kinny, Michael Luck, Michael J. Wooldridge
1997	—	`conf`	A Z Specification of the Soft-Link Hypertext Model. ZUM Mark d'Inverno, Michael J. Hu
1997	—	`conf`	Cooperation Structures. IJCAI (1) Mark d'Inverno, Michael Luck, Michael J. Wooldridge
1997	C	`conf`	Development and Application of a Formal Agent Framework. ICFEM Mark d'Inverno, Michael Luck
1997	J	`jnl`	Formal framework for hypertext systems. IEE Proc. Softw. Eng. Mark d'Inverno, Mark Priestley, Michael Luck
1997	J	`jnl`	Formalisms for multi-agent systems. Knowl. Eng. Rev. Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge
1996	J	`jnl`	A Formal Framework For Specifying Design Methods. Softw. Process. Improv. Pract. Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells
1996	—	`conf`	A Formal Framework for Specifying Design Methods. HICSS (1) Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells
1996	—	`conf`	Formalising the Contract Net as a Goal-Directed System. MAAMAW Mark d'Inverno, Michael Luck
1996	—	`conf`	From Agent Theory to Agent Construction: A Case Study. ATAL Michael Luck, Nathan Griffiths, Mark d'Inverno
1996	—	`conf`	Making and Breaking Engagements: An Operational Analysis of Agent Relationships. DAI Mark d'Inverno, Michael Luck
1996	A	`conf`	Understanding Autonomous Interaction. ECAI Mark d'Inverno, Michael Luck
1995	—	`conf`	A Formal Framework for Agency and Autonomy. ICMAS Michael Luck, Mark d'Inverno
1995	—	`conf`	A Formal View of Social Dependence Networks. DAI Mark d'Inverno, Michael Luck
1995	—	`conf`	Engagement and Cooperating in Motivated Agent Modelling. DAI Michael Luck, Mark d'Inverno
1995	—	`conf`	Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM Mark d'Inverno, Mark Priestley
1995	—	`conf`	Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. ZUM Michael Luck, Mark d'Inverno
1991	A*	`conf`	Specification, Design and Implementation of an Interactive Conferencing System. INFOCOM Mark d'Inverno, Jon Crowcroft