Browse by Goldsmiths authors: d'Inverno, Mark

Item Type Date No Grouping

Harmonies of the Future: Barcelona Music Lab Event Talk December 2024. (2024) Yee-King, Matthew and d'Inverno, Mark

The WeCurate Application. (2024) Yee-King, Matthew; De Jonge, Dave; Confalonieri, Roberto; Osman, Nardine; d'Inverno, Mark; Sierra, Carles; Amgoud, Leila and Hazelden, Katina picture_as_pdf

Designing an AI-creativity music course. (2024) Yee-King, Matthew; d'Inverno, Mark and Fiorucci, Andrea

Strategies for building AI-enhanced audio software with impact. (2024) Yee-King, Matthew and d'Inverno, Mark

A Computational Framework of Human Values. (2024) Osman, Nardine and d'Inverno, Mark

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

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

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

Ethical Online AI Systems through Conscientious Design. (2021) Noriega, Pablo; Verhagen, Harko; Padget, Julian and d'Inverno, Mark

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

Design Considerations for Real-Time Collaboration with Creative Artificial Intelligence. (2020) McCormack, Jon; Hutchings, Patrick; Gifford, Toby; Yee-King, Matthew; Llano, Maria Teresa and d'Inverno, Mark picture_as_pdf

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

In a Silent Way: Communication between AI and improvising musicians beyond sound. (2019) McCormack, Jon; Gifford, Toby; Hutchings, Patrick; Llano, Maria Teresa; Yee-King, Matthew and d'Inverno, Mark

Can Machines Be Artists? A Deweyan Response in Theory and Practice. (2019) Still, Arthur and d'Inverno, Mark

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

Creativity and Feedback: Designing Systems to Support Student Learning and Improve Instruction. (2019) Still, Arthur; Yee-King, Matthew and d'Inverno, Mark

Automatic Programming of VST Sound Synthesizers using Deep Networks and Other Techniques. (2018) Yee-King, Matthew; Fedden, Leon and d'Inverno, Mark

Computational Systems for Music Improvisation. (2018) Gifford, Toby; Knotts, Shelly; McCormack, Jon; Kalonaris, Stefano; Yee-King, Matthew and d'Inverno, Mark

A Manifesto for Conscientious Design of Hybrid Online Social Systems. (2017) Noriega, Pablo; Verhagen, Harko; d'Inverno, Mark and Padget, Julian

Evidencing the value of inquiry based, constructionist learning for student coders. (2017) Yee-King, Matthew; Grierson, Mick and d'Inverno, Mark

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

Designing improvisational interfaces. (2016) McCormack, Jon and d'Inverno, Mark

A history of creativity for future AI research. (2016) Still, Arthur and d'Inverno, Mark

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

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

Experience driven design of creative systems. (2016) Yee-King, Matthew and d'Inverno, Mark

Engineering multiuser museum interactives for shared cultural experiences. (2015) Confalonieri, Roberto; Yee-King, Matthew; Hazelden, Katina; d'Inverno, Mark; De Jonge, Dave; Osman, Nardine; Sierra, Carles; Agmoud, Leila and Prade, Henri

Sketches vs Skeletons: Video Annotation Can Capture What Motion Capture Cannot. (2015) Gillies, Marco; Brenton, Harry; Yee-King, Matthew; Grimalt-Reynes, Andreu and d'Inverno, Mark

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

Languages and Formal Methods. (2015) Crowcroft, J and d'Inverno, Mark

Music circle: designing educational social machines for effective feedback. (2015) Yee-King, Matthew; Krivenski, Maria; Brenton, Harry and d'Inverno, Mark

Social Feedback as a Creative Process. (2015) d'Inverno, Mark and Still, Arthur

Goldsmiths Statement on Open Access. (2014) d'Inverno, Mark and Hill, Elisabeth L.

Duplicate detection in facsimile scans of early printed music. (2014) Rhodes, Christophe; Crawford, Tim and d'Inverno, Mark

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

Pedagogical agents for social music learning in Crowd-based Socio-Cognitive Systems. (2014) Yee-King, Matthew and d'Inverno, Mark

Fluid gesture interaction design: applications of continuous recognition for the design of modern gestural interfaces. (2014) Zamborlin, Bruno; Bevilacqua, Frédéric; Gillies, Marco and d'Inverno, Mark

Creative Feedback: a manifesto for social learning. (2014) Still, Arthur and d'Inverno, Mark

Crowd-based socio-cognitive systems. (2014) Noriega, Pablo and d'Inverno, Mark

Pedagogical Agents for Social Music Learning in Crowd-Based Socio-Cognitive Systems. (2014) Yee-King, Matthew and d'Inverno, Mark

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

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

Specifying Termination in CSP. (2013) Howells, Paul and d'Inverno, Mark

Reflexive VirtualBand and pianist Mark d'Inverno performing Now is the Time. (2013) d'Inverno, Mark

Communicating Open Systems: Extended Abstract. (2013) d'Inverno, Mark; Luck, Michael; Noriega, Pablo; A., Juan and Sierra, Carles

An Experience-Based BDI Logic: Motivating Shared Experiences and Intentionality. (2013) Osman, Nardine; d'Inverno, Mark; Sierra, Carles; Amgoud, Leila; Prade, Henri; Yee-King, Matthew; Confalonieri, Roberto; de Jonge, Dave and Hazelden, Katina

Flexible termination semantics. (2013) Paul, Howells and d'Inverno, Mark

Multiuser Museum Interactives for Shared Cultural Experiences: an Agent-based Approach. (2013) Hazelden, Katina; Yee-King, Matthew; Confalonieri, Roberto; Sierra, Carles; Ghedini, Fiammetta; De Jonge, Dave; Osman, Nardine and d'Inverno, Mark

Prosecco. (2013) d'Inverno, Mark audio_file

Reflexive Loopers for Solo Music Improvisation. (2013) Pachet, François; Roy, Pierre; Moreira, Julien and d'Inverno, Mark

Reflexive Loopers for Solo Musical Improvisation. (2013) Pachet, François; Roy, Pierre; Moreira, Julian and d'Inverno, Mark

Towards a Design Framework for Controlled Hybrid Social Games. (2013) Verhagen, Harko; Noriega, Pablo and d'Inverno, Mark

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

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

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

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

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

Creativity through autonomy and interaction. (2012) d'Inverno, Mark and Luck, Michael

Communicating open systems. (2012) d'Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A and Sierra, Carles

Around and around. (2012) d'Inverno, Mark audio_file

Computers and Creativity. (2012)

Computers and Creativity: The Road Ahead. (2012) McCormack, Jon and d'Inverno, Mark

Couldn't be better. (2012) d'Inverno, Mark audio_file

Count on It. (2012) d'Inverno, Mark audio_file

Evaluation of Creative Aesthetics. (2012) Cohen, Harold; Nake, Frieder; Brown, David C.; Brown, Paul; Galanter, Philip; McCormack, Jon and d'Inverno, Mark picture_as_pdf

The Extended Composer. (2012) Jones, Daniel; Brown, Andrew R. and d'Inverno, Mark picture_as_pdf

Funny you should say that. (2012) d'Inverno, Mark audio_file

I just can't remember. (2012) d'Inverno, Mark audio_file

Now make a wish. (2012) d'Inverno, Mark

Pretty Late. (2012) d'Inverno, Mark audio_file

So sweet of you. (2012) d'Inverno, Mark audio_file

Song Bouncey. (2012) d'Inverno, Mark audio_file

VERSIONS of the Composition. (2012) d'Inverno, Mark

WeCurate: Designing for synchronised browsing and social negotiation. (2012) Hazelden, Katina; Yee-King, Matthew; d'Inverno, Mark; Confalonieri, Roberto; De Jonge, Dave; Amgoud, Leila; Osman, Nardine; Prade, Henri and Sierra, Carles

Why does Computing matter to Creativity? (2012) McCormack, Jon and d'Inverno, Mark

Why not. (2012) d'Inverno, Mark description

Wouldn't you love to know. (2012) d'Inverno, Mark audio_file

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

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

May's Dance. (2011) d'Inverno, Mark audio_file

Weaving a fabric of socially aware agents. (2011) d'Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A and Sierra, Carles

Using Song Social Tags and Topic Models to Describe and Compare Playlists. (2010) Fields, Ben; Rhodes, Christophe and d'Inverno, Mark

Designing physical artefacts from computational simulations and building computational simulations of physical systems. (2010) d'Inverno, Mark and Prophet, Jane

Investigating music collections at different scales with AudioDB. (2010) Rhodes, Christophe; Crawford, Tim; Casey, Michael A. and d'Inverno, Mark

Linked Data and you: Bringing music research software into the Semantic Web. (2010) Cannam, Chris; Sandler, Mark; Jewell, Michael O; Rhodes, Christophe and d'Inverno, Mark

Querying improvised music: Do you sound like yourself? (2010) Jewell, Michael O.; Rhodes, Christophe and d'Inverno, Mark

Towards a Distributed Research Environment for Music Informatics and Computational Musicology. (2010) Dixon, Simon; Sandler, Mark; d'Inverno, Mark and Rhodes, Christophe

A CSP model with flexible parallel termination semantics. (2009) Howells, Paul and d'Inverno, Mark

Agent-based modeling of stem cells. (2009) d'Inverno, Mark; Howells, Paul; Montagna, Sara; Roeder, Ingo and Saunders, Rob

Never so easy. (2009) d'Inverno, Mark audio_file

New experimental and theoretical investigations of hematopoietic stem cells and chronic myeloid leukemia. (2009) Roeder, Ingo and d'Inverno, Mark picture_as_pdf

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

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

Agent-based modelling of Stem Cell organisation in a Niche. (2006) d'Inverno, Mark and Saunders, Rob

Formal Methods and Agent-Based Systems. (2006) Luck, Michael and d'Inverno, Mark

Mathematical Modeling of Stem Cells: A Complexity Primer for the Stem-Cell Biologist. (2006) d'Inverno, Mark; Theise, Neil and Prophet, Jane

Multidisciplinary Investigation into Adult Stem Cell Behaviour. (2006) d'Inverno, Mark and Prophet, Jane

Net Work: Lessons from Collaboratively Designing an Interactive Artwork. (2006) Bird, Jon; d'Inverno, Mark and Prophet, Jane

Transdisciplinary Research in CELL. (2006) Prophet, Jane and d'Inverno, Mark

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

Agent-based modelling of stem cell self-organisation in a niche. (2005) d'Inverno, Mark and Saunders, Rob

From SMART to agent systems development. (2005) Ashri, Ronald; Luck, Michael and d'Inverno, Mark

Towards Intelligent Responsive Sound. (2005) d'Inverno, Mark; Eacott, John and Olofsson, Fredrik

The dMARS architecture. A specification of the distributed multi-agent reasoning system. (2004) d'Inverno, Mark; Georgeff, M.; Kinny, D. and Luck, M.

Understanding cell lineages as complex adaptive systems. (2004) d'Inverno, Mark and Theise, Neil

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

Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence. (2004) Prophet, Jane and d'Inverno, Mark

Identifying opportunities and constraints for goal achievement through relationship analysis. (2004) Ashri, Ronald; Luck, Michael and d'Inverno, Mark

Motivation-based selection of negotiation partners. (2004) Munroe, Steve; Luck, Michael and d'Inverno, Mark picture_as_pdf

Negotiation-Based Partner Selection. (2004) Munroe, Steve; Luck, Michael and d'Inverno, Mark

Normative agent reasoning in dynamic societies. (2004) Lopez y Lopez, Fabiola; Luck, Michael and d'Inverno, Mark

Understanding Agent Systems. (2004) d'Inverno, Mark and Luck, Michael

The intelligent street: responsive sound environments for social interaction. (2004) Lörstad, Henrik; d'Inverno, Mark and Eacott, John picture_as_pdf

The intelligent street: responsive sound environments for social interaction. (2004) Lörstad, Henrik; d'Inverno, Mark and Eacott, John

A typology of relationships and goals for regulation and coordination. (2004) Ashri, Ronald; Luck, Michael and d'Inverno, Mark

On identifying and managing relationships in multi-agent systems. (2003) d'Inverno, Mark; Ashri, Ronald and Luck, Michael

Annotating Cooperative Plans with Trusted Agents. (2003) Griffiths, Nathan; Luck, Michael and d'Inverno, Mark

Autonomy: Variable and generative. (2003) Luck, Michael; d'Inverno, Mark and Munroe, Steve

Embedded intelligent music–or iHiFi the intelligent HiFi. (2003) Eacott, John and d'Inverno, Mark

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

Towards a Motivation-Based Approach for Evaluating Goals. (2003) Munroe, Steve; Luck, Michael and d'Inverno, Mark picture_as_pdf

Unifying agent systems. (2003) Luck, Michael and d'Inverno, Mark

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

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

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

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

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

Autonomy: A Nice Idea in Theory. (2001) Luck, Michael and d'Inverno, Mark

Autonomy: A nice idea in theory. (2001) Luck, Michael and d'Inverno, Mark

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

Formal Agent Development: Framework to System. (2001) d'Inverno, Mark and Luck, Michael

A Framework for Norm-based Inter-Agent Dependence. (2001) y Lopez, Fabiolas López; Luck, Michael and d'Inverno, Mark

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

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

Plan Analysis for Autonomous Sociological Agents. (2001) Luck, Michael and d'Inverno, Mark

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

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

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

Sociological agents for effective social action. (2000) d'Inverno, Mark and Luck, Michael

Agent Models and Plans. (1999) d'Inverno, Mark and Luck, Michael

Formalising high-performance systems methodologies. (1999) Ribeiro Justo, G.R.; Howells, Paul and d'Inverno, Mark

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

Agents, Agency and Autonomy: A Formal Computational Model. (1998) d'Inverno, Mark

Engineering AgentSpeak(L): A formal computational model. (1998) d'Inverno, Mark and Luck, Michael

Foundations of Multi-Agent systems: techniques, tools and theory. (1998) Lee, LC; Collis, JC; Binmore, K; Vulcan, N; van Eijk, RM; de Boer, FS; van der Hoek, W; Meyer, JJ Ch; Padget, J; Bradford, R; d'Inverno, Mark; Luck, Michael and Fisher, Michael

Interaction protocols in Agentis. (1998) d'Inverno, Mark; Kinney, D. and Luck, Michael

Motivated Behaviour for Goal Adoption. (1998) Luck, Michael and d'Inverno, Mark

A formal specification of dMARS. (1998) d'Inverno, Mark; Kinny, David; Luck, Michael and Wooldridge, Michael

Development and application of a formal agent framework. (1997) d'Inverno, Mark and Luck, Michael

Cooperation Structures. (1997) d'Inverno, Mark; Luck, Michael and Wooldridge, Michael

A Formal Framework for Hypertext Systems. (1997) d'Inverno, Mark; Priestley, Mark and Luck, Michael

Formalisms for multi-agent systems. (1997) d'Inverno, Mark; Fisher, Michael; Lomuscio, Alessio; Luck, Michael; De Rijke, Maarten; Ryan, Mark and Wooldridge, Michael

From agent theory to agent construction: A case study. (1997) Luck, Michael; Griffiths, Nathan and d'Inverno, Mark

Making and breaking engagements: An operational analysis of agent relationships. (1997) d'Inverno, Mark and Luck, Michael

A Z specification of the soft-link hypertext model. (1997) d'Inverno, Mark and Hu, Michael

Engagement and cooperation in motivated agent modelling. (1996) Luck, Michael and d'Inverno, Mark

A Formal Framework For Specifying Design Methods. (1996) d'Inverno, Mark; Justo, G.R. Ribeiro and Howells, Paul

Formalising the Contract Net as a goal-directed system. (1996) d'Inverno, Mark and Luck, Michael

Understanding Autonomous Interaction. (1996) d'Inverno, Mark and Luck, Michael

A formal framework for specifying design methods. (1996) d'Inverno, Mark; Justo, GR Ribeiro and Howells, Paul

A formal view of social dependence networks. (1996) d'Inverno, Mark and Luck, Michael

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

Goal Generation and Adoption in Hierarchical Agent Models. (1995) Luck, Michael and d'Inverno, Mark

Structuring a Z specification to provide a formal framework for autonomous agent systems. (1995) Luck, Michael and d'Inverno, Mark

Structuring specification in Z to build a unifying framework for hypertext systems. (1995) d'Inverno, Mark and Priestley, Mark

Knowledge interchange protocols. (1990) Campbell, John A. and d'Inverno, Mark