Mark d'Inverno

Orcid: 0000-0001-8826-5190

Affiliations:
  • Goldsmiths University of London, Department of Computing


According to our database1, Mark d'Inverno authored at least 119 papers between 1991 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modelling Human Values for AI Reasoning.
CoRR, 2024

A Computational Framework of Human Values.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023
The pop song generator: designing an online course to teach collaborative, creative AI.
CoRR, 2023

A computational framework of human values for ethical AI.
CoRR, 2023

Human Values in Multiagent Systems.
CoRR, 2023

HandMonizer: a case study for personalized digital musical instrument design.
Proceedings of the 2023 4th International Symposium on the Internet of Sounds, 2023

Addressing the Value Alignment Problem Through Online Institutions.
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI, 2023

2022
Design Heuristics for Ethical Online Institutions.
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV, 2022

2021
Ethical Online AI Systems Through Conscientious Design.
IEEE Internet Comput., 2021

2020
Examining Student Coding Behaviours in Creative Computing Lessons using Abstract Syntax Trees and Vocabulary Analysis.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

Explainable Computational Creativity.
Proceedings of the Eleventh International Conference on Computational Creativity, 2020

2019
In a Silent Way: Communication Between AI and Improvising Musicians Beyond Sound.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018
Automatic Programming of VST Sound Synthesizers Using Deep Networks and Other Techniques.
IEEE Trans. Emerg. Top. Comput. Intell., 2018

Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance.
Frontiers Digit. Humanit., 2018

Computational systems for music improvisation.
Digit. Creativity, 2018

2017
Evidencing the Value of Inquiry Based, Constructionist Learning for Student Coders.
Int. J. Eng. Pedagog., 2017

STEAM WORKS: Student coders experiment more and experimenters gain higher grades.
Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

Identifying Affordances for Modelling Second-Order Emergent Phenomena with the <i>WIT</i> Framework.
Proceedings of the Autonomous Agents and Multiagent Systems, 2017

2016
A History of Creativity for Future AI Research.
Proceedings of the Seventh International Conference on Computational Creativity, 2016

Experience Driven Design of Creative Systems.
Proceedings of the Seventh International Conference on Computational Creativity, 2016

Designing Improvisational Interfaces.
Proceedings of the Seventh International Conference on Computational Creativity, 2016

Investigating Swarm Intelligence for Performance Prediction.
Proceedings of the 9th International Conference on Educational Data Mining, 2016

Stimulating collaborative activity in online social learning environments with Markov decision processes.
Proceedings of the 9th International Conference on Educational Data Mining, 2016

Predicting student grades from online, collaborative social learning metrics using K-NN.
Proceedings of the 9th International Conference on Educational Data Mining, 2016

A Manifesto for Conscientious Design of Hybrid Online Social Systems.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

2015
Engineering multiuser museum interactives for shared cultural experiences.
Eng. Appl. Artif. Intell., 2015

Sketches vs skeletons: video annotation can capture what motion capture cannot.
Proceedings of the 2nd International Workshop on Movement and Computing, 2015

Heroic versus Collaborative AI for the Arts.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Pedagogical agent models for massive online education.
Proceedings of the First International Workshop on AI and Feedback, 2015

Revealing and interpreting crowd stories in online social environments.
Proceedings of the First International Workshop on AI and Feedback, 2015

2014
Fluid gesture interaction design: Applications of continuous recognition for the design of modern gestural interfaces.
ACM Trans. Interact. Intell. Syst., 2014

Creative Feedback: a Manifesto for Social Learning.
Proceedings of the Workshops held at Educational Data Mining 2014, 2014

Duplicate Detection in Facsimile Scans of Early Printed Music.
Proceedings of the Analysis of Large and Complex Data, 2014

A Social Timeline for Exchanging Feedback about Musical Performances.
Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014

Towards a Framework for Socio-Cognitive Technical Systems.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems X, 2014

2013
Specifying termination in CSP.
Theor. Comput. Sci., 2013

Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity).
Proceedings of the 35th Communicating Process Architectures, 2013

Successful Termination in Timed CSP.
Proceedings of the 35th Communicating Process Architectures, 2013

Communicating Open Systems: Extended Abstract.
Proceedings of the IJCAI 2013, 2013

An experience-based BDI logic: Motivating shared experiences and intentionality.
Proceedings of the IECON 2013, 2013

WeCurate: Enriching the Sociocultural Practices of the Museum Experience.
Proceedings of the Electronic Visualisation and the Arts, 2013

Reflexive loopers for solo musical improvisation.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

WeCurate: multiuser museum interactives for shared cultural experiences.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Multiuser museum interactives for shared cultural experiences: an agent-based approach.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Creativity Through Autonomy and Interaction.
Cogn. Comput., 2012

Communicating open systems.
Artif. Intell., 2012

Sharing Online Cultural Experiences: An Argument-Based Approach.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

Towards Community Browsing for Shared Experiences: The WeBrowse System.
Proceedings of the First International Conference on Agreement Technologies, 2012

Experiences - A Forgotten Component of Epistemic States.
Proceedings of the First International Conference on Agreement Technologies, 2012

WeCurate: Designing For Synchronised Browsing And Social Negotiation.
Proceedings of the First International Conference on Agreement Technologies, 2012

2011
Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery.
IEEE Trans. Multim., 2011

Weaving a Fabric of Socially Aware Agents.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

Automatic Group-Interactive Radio Using Social-Networks of Musicians.
Proceedings of the Fifth International Conference on Weblogs and Social Media, 2011

2010
Querying Improvised Music: Do You Sound Like Yourself?.
Proceedings of the 11th International Society for Music Information Retrieval Conference, 2010

Forest Fire Dynamics In Sonic Organisation.
Proceedings of the 2010 International Computer Music Conference, 2010

2009
A CSP model with flexible parallel termination semantics.
Formal Aspects Comput., 2009

09291 Summary - Computational Creativity: an interdisciplinary approach.
Proceedings of the Computational Creativity: An Interdisciplinary Approach, 12.07., 2009

09291 Abstracts Collection - Computational Creativity: an interdisciplinary approach.
Proceedings of the Computational Creativity: An Interdisciplinary Approach, 12.07., 2009

Agent-Based Modeling of Stem Cells.
Proceedings of the Multi-Agent Systems - Simulation and Applications., 2009

2007
<i>Net Work</i>: an interactive artwork designed using an interdisciplinary performative approach.
Digit. Creativity, 2007

Agents in bioinformatics, computational and systems biology.
Briefings Bioinform., 2007

2006
A normative framework for agent-based systems.
Comput. Math. Organ. Theory, 2006

Theory and application of intelligent agent systems.
Proceedings of the ICINCO 2006, 2006

2005
Multidisciplinary Investigation into Adult Stem Cell Behavior.
Trans. Comp. Sys. Biology, 2005

From SMART to agent systems development.
Eng. Appl. Artif. Intell., 2005

Agents, emergence and modelling: What value for communication networks?
Proceedings of the ICETE 2005, 2005

2004
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.
Auton. Agents Multi Agent Syst., 2004

Best Papers From Eumas 2003: The 1st European Workshop On Multi-Agent Systems.
Appl. Artif. Intell., 2004

Agent-Based Modelling of Stem Cell Self-organisation in a Niche.
Proceedings of the Engineering Self-Organising Systems, 2004

Motivation-Based Selection of Negotiation Partners.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Normative Agent Reasoning in Dynamic Societies.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Identifying Opportunities and Constraints for Goal Achievement through Relationship Analysis.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

The intelligent street: responsive sound environments for social interaction.
Proceedings of the 2004 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, 2004

Agent-Based Software Development.
Artech House, ISBN: 978-1-58053-605-9, 2004

Understanding agent systems, Second Edition.
Springer series on agent technology, Springer, ISBN: 978-3-540-40700-3, 2004

2003
Embedded intelligent music-or iHiFi the intelligent HiFi.
Digit. Creativity, 2003

Unifying Agent Systems.
Ann. Math. Artif. Intell., 2003

On Identifying and Managing Relationships in Multi-Agent Systems.
Proceedings of the IJCAI-03, 2003

Towards Motivation-Based Decisions for Worth Goals.
Proceedings of the Multi-Agent Systems and Applications III, 2003

Towards a motivation-based approach for evaluating goals.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Practical and theoretical innovations in multi-agent systems research.
Knowl. Eng. Rev., 2002

Soft-link hypertext for information retrieval.
Inf. Softw. Technol., 2002

Infrastructure Support for Agent-Based Development.
Proceedings of the Foundations and Applications of Multi-Agent Systems, 2002

Constraining autonomy through norms.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Annotating Cooperative Plans with Trusted Agents.
Proceedings of the Trust, 2002

2001
Multi-agent systems research into the 21st century.
Knowl. Eng. Rev., 2001

Learning in multi-agent systems.
Knowl. Eng. Rev., 2001

A Conceptual Framework for Agent Definition and Development.
Comput. J., 2001

Understanding agent systems.
Springer series on agent technology, Springer, ISBN: 978-3-540-41975-4, 2001

2000
A Formal Architecture for the 3APL Agent Programming Language.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Sociological Agents for Effective Social Action.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Formal Agent Development: Framework to System.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Architecture for Agent Programming Languages.
Proceedings of the ECAI 2000, 2000

Autonomy: A Nice Idea in Theory.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Plan Analysis for Autonomous Sociological Agents.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

1999
Negotiation in multi-agent systems.
Knowl. Eng. Rev., 1999

Formalising high-performance systems methodologies.
J. Syst. Archit., 1999

1998
Agents, agency and autonomy: a formal computational model.
PhD thesis, 1998

Engineering AgentSpeak(L): A Formal Computational Model.
J. Log. Comput., 1998

Foundations of Multi-Agent Systems: Techniques, Tools and Theory.
Knowl. Eng. Rev., 1998

Interaction Protocols in Agentis.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Motivated Behavior for Goal Adoption.
Proceedings of the Multi-Agent Systems: Theories, 1998

1997
Formalisms for multi-agent systems.
Knowl. Eng. Rev., 1997

Formal framework for hypertext systems.
IEE Proc. Softw. Eng., 1997

A Z Specification of the Soft-Link Hypertext Model.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Cooperation Structures.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Development and Application of a Formal Agent Framework.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

A Formal Specification of dMARS.
Proceedings of the Intelligent Agents IV, 1997

1996
A Formal Framework For Specifying Design Methods.
Softw. Process. Improv. Pract., September, 1996

Formalising the Contract Net as a Goal-Directed System.
Proceedings of the Agents Breaking Away, 1996

Understanding Autonomous Interaction.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Making and Breaking Engagements: An Operational Analysis of Agent Relationships.
Proceedings of the Multi-Agent Systems: Methodologies and Applications, 1996

From Agent Theory to Agent Construction: A Case Study.
Proceedings of the Intelligent Agents III, 1996

1995
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

A Formal Framework for Agency and Autonomy.
Proceedings of the First International Conference on Multiagent Systems, 1995

A Formal View of Social Dependence Networks.
Proceedings of the Distributed Artificial Intelligence: Architecture and Modelling, 1995

Engagement and Cooperating in Motivated Agent Modelling.
Proceedings of the Distributed Artificial Intelligence: Architecture and Modelling, 1995

1991
Specification, Design and Implementation of an Interactive Conferencing System.
Proceedings of the Proceedings IEEE INFOCOM '91, 1991


  Loading...