Browse by Goldsmiths authors: d'Inverno, Mark

Number of items: 166.
Article
  • Ethical Online AI Systems through Conscientious Design. (2021) Noriega, Pablo; Verhagen, Harko; Padget, Julian and d'Inverno, Mark
  • 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
  • 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
  • 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
  • Evidencing the value of inquiry based, constructionist learning for student coders. (2017) Yee-King, Matthew; Grierson, Mick 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
  • 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
  • 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 Termination in CSP. (2013) Howells, Paul and d'Inverno, Mark
  • Flexible termination semantics. (2013) Paul, Howells 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
  • 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.
  • 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
  • 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
  • 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
  • A normative framework for agent-based systems. (2006) y López, Fabiola López; Luck, Michael and d'Inverno, Mark
  • From SMART to agent systems development. (2005) Ashri, Ronald; Luck, Michael and d'Inverno, Mark
  • 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
  • Embedded intelligent music–or iHiFi the intelligent HiFi. (2003) Eacott, John and d'Inverno, Mark
  • Unifying agent systems. (2003) 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
  • A Conceptual Framework for Agent Definition and Development. (2001) 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
  • 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
  • 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
  • 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
  • A Formal Framework For Specifying Design Methods. (1996) d'Inverno, Mark; Justo, G.R. Ribeiro and Howells, Paul
    • Book
  • Agent-Based Software Development. (2004) Luck, Michael; Ashri, Ronald and d'Inverno, Mark
  • Understanding Agent Systems. (2004) d'Inverno, Mark and Luck, Michael
  • Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers. (2002) d'Inverno, Mark; Luck, Michael; Fisher, Michael and Preist, Chris
    • Book Section
  • 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
  • Creativity and Feedback: Designing Systems to Support Student Learning and Improve Instruction. (2019) Still, Arthur; 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
  • 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
  • Reflexive Loopers for Solo Music Improvisation. (2013) Pachet, François; Roy, Pierre; Moreira, Julien 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
  • Computers and Creativity: The Road Ahead. (2012) McCormack, Jon and d'Inverno, Mark
  • 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
  • Why does Computing matter to Creativity? (2012) McCormack, Jon and d'Inverno, Mark
  • Designing physical artefacts from computational simulations and building computational simulations of physical systems. (2010) d'Inverno, Mark and Prophet, Jane
  • Agent-based modeling of stem cells. (2009) d'Inverno, Mark; Howells, Paul; Montagna, Sara; Roeder, Ingo and Saunders, Rob
  • 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
  • Transdisciplinary Research in CELL. (2006) Prophet, Jane and d'Inverno, Mark
  • Agent-based modelling of stem cell self-organisation in a niche. (2005) d'Inverno, Mark and Saunders, Rob
  • Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence. (2004) Prophet, Jane 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
  • The intelligent street: responsive sound environments for social interaction. (2004) Lörstad, Henrik; d'Inverno, Mark and Eacott, John picture_as_pdf
  • 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
  • Towards Motivation-Based Decisions for Worth Goals. (2003) Munroe, Steve; Luck, Michael and d'Inverno, Mark
  • Infrastructure Support for Agent-Based Development. (2002) Ashri, Ronald; Luck, Michael and d'Inverno, Mark
  • Autonomy: A Nice Idea in Theory. (2001) Luck, Michael and d'Inverno, Mark
  • Formal Agent Development: Framework to System. (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
  • 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
  • Cooperation Structures. (1997) d'Inverno, Mark; Luck, Michael 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
  • Engagement and cooperation in motivated agent modelling. (1996) Luck, Michael and d'Inverno, Mark
  • 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 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
  • 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
    • Composition
  • Prosecco. (2013) d'Inverno, Mark audio_file
  • Around and around. (2012) d'Inverno, Mark audio_file
  • Couldn't be better. (2012) d'Inverno, Mark audio_file
  • Count on It. (2012) d'Inverno, Mark audio_file
  • 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
  • Why not. (2012) d'Inverno, Mark description
  • Wouldn't you love to know. (2012) d'Inverno, Mark audio_file
  • May's Dance. (2011) d'Inverno, Mark audio_file
  • Never so easy. (2009) d'Inverno, Mark audio_file
    • Conference or Workshop Item
  • Harmonies of the Future: Barcelona Music Lab Event Talk December 2024. (2024) Yee-King, Matthew and d'Inverno, Mark
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Creative Feedback: a manifesto for social learning. (2014) Still, Arthur 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
  • Communicating Open Systems: Extended Abstract. (2013) d'Inverno, Mark; Luck, Michael; Noriega, Pablo; A., Juan and Sierra, Carles
  • 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
  • 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
  • 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
  • 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
  • Automatic Group-Interactive Radio Using Social-Networks of Musicians. (2011) Fields, Benjamin; Rhodes, Christophe and d'Inverno, Mark
  • 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
  • Querying improvised music: Do you sound like yourself? (2010) Jewell, Michael O.; Rhodes, Christophe and d'Inverno, Mark
  • Net Work: Lessons from Collaboratively Designing an Interactive Artwork. (2006) Bird, Jon; d'Inverno, Mark and Prophet, Jane
  • Towards Intelligent Responsive Sound. (2005) d'Inverno, Mark; Eacott, John and Olofsson, Fredrik
  • Identifying opportunities and constraints for goal achievement through relationship analysis. (2004) Ashri, Ronald; Luck, Michael and d'Inverno, Mark
  • 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
  • Towards a Motivation-Based Approach for Evaluating Goals. (2003) Munroe, Steve; Luck, Michael and d'Inverno, Mark picture_as_pdf
  • Constraining autonomy through norms. (2002) Luck, Michael; d'Inverno, Mark and López y López, Fabiola picture_as_pdf
  • Autonomy: A nice idea in theory. (2001) Luck, Michael and d'Inverno, Mark
  • A Framework for Norm-based Inter-Agent Dependence. (2001) y Lopez, Fabiolas López; Luck, Michael and d'Inverno, Mark
  • Development and application of a formal agent framework. (1997) d'Inverno, Mark and Luck, Michael
  • A Z specification of the soft-link hypertext model. (1997) d'Inverno, Mark and Hu, Michael
  • A formal framework for specifying design methods. (1996) d'Inverno, Mark; Justo, GR Ribeiro and Howells, Paul
  • Goal Generation and Adoption in Hierarchical Agent Models. (1995) Luck, Michael and d'Inverno, Mark
    • Edited Book
  • Computers and Creativity. (2012)
    • Film/Video
  • Reflexive VirtualBand and pianist Mark d'Inverno performing Now is the Time. (2013) d'Inverno, Mark
    • Project
  • VERSIONS of the Composition. (2012) d'Inverno, Mark
    • Report
  • 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
    • Thesis
  • Agents, Agency and Autonomy: A Formal Computational Model. (1998) d'Inverno, Mark
    • Other
  • Goldsmiths Statement on Open Access. (2014) d'Inverno, Mark and Hill, Elisabeth L.