Items Authored/Edited by d'Inverno, Mark
![]() | Up a level |
Number of items: 163.
2024
Osman, Nardine and d'Inverno, Mark.
2024.
'A Computational Framework of Human Values'.
In: AAMAS '23: International Conference on Autonomous Agents and Multiagent Systems. Auckland, New Zealand 6 - 10 May 2024.
[Conference or Workshop Item]
2023
Noriega, Pablo; Verhagen, Harko; Padget, Julian and d'Inverno, Mark.
2023.
'Addressing the Value Alignment Problem Through Online Institutions'.
In: Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI (COINE 2023: Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI). London, United Kingdom 29 May 2023.
[Conference or Workshop Item]
Lionetti, Davide; Pappas, Antonios; Comanducci, Luca; Bernardini, Alberto; Zanoni, Massimiliano; Sarti, Augusto; Yee-King, Matthew and d'Inverno, Mark.
2023.
'HandMonizer: a case study for personalized digital musical instrument design'.
In: 4th International Symposium on the Internet of Sounds. Pisa, Italy 26-27 October 2023.
[Conference or Workshop Item]
2022
Noriega, Pablo; Verhagen, Harko; Padget, Julian and d'Inverno, Mark.
2022.
'Design Heuristics for Ethical Online Institutions'.
In: International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE 2022: Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV). Virtual Event 9 May 2022.
[Conference or Workshop Item]
2021
Noriega, Pablo; Verhagen, Harko; Padget, Julian and d'Inverno, Mark.
2021.
Ethical Online AI Systems through Conscientious Design.
IEEE Internet Computing, 25(6),
pp. 58-64.
ISSN 1089-7801
[Article]
2020
Yee-King, Matthew; McCallum, Louis; Llano, Maria Teresa; Ruzicka, Vit; d'Inverno, Mark and Grierson, Mick.
2020.
'Examining Student Coding Behaviours in Creative Computing Lessons using Abstract Syntax Trees and Vocabulary Analysis'.
In: 2020 ACM Conference on Innovation and Technology in Computer Science Education. Trondheim, Norway.
[Conference or Workshop Item]
McCormack, Jon; Hutchings, Patrick; Gifford, Toby; Yee-King, Matthew; Llano, Maria Teresa and d'Inverno, Mark.
2020.
Design Considerations for Real-Time Collaboration with Creative Artificial Intelligence.
Organised Sound, 25(1),
pp. 41-52.
ISSN 1355-7718
[Article]
Llano, Maria Teresa; d'Inverno, Mark; Yee-King, Matthew; McCormack, Jon; Ilsar, Alon; Pease, Alison and Colton, Simon.
2020.
'Explainable Computational Creativity'.
In: International Conference on Computational Creativity 2020 (ICCC'20). Coimbra, Portugal 7 - 11 September 2020.
[Conference or Workshop Item]
2019
McCormack, Jon; Gifford, Toby; Hutchings, Patrick; Llano, Maria Teresa; Yee-King, Matthew and d'Inverno, Mark.
2019.
'In a Silent Way: Communication between AI and improvising musicians beyond sound'.
In: CHI 2019 Conference on Human Factors in Computing Systems. Glasgow, United Kingdom 4-9 May 2019.
[Conference or Workshop Item]
Still, Arthur and d'Inverno, Mark.
2019.
Can Machines Be Artists? A Deweyan Response in Theory and Practice.
Arts, 8(1),
36.
ISSN 2076-0752
[Article]
Yee-King, Matthew; Wilmering, Thomas; Llano, Maria Teresa; Krivenski, Maria and d'Inverno, Mark.
2019.
Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance.
Frontiers in Digital Humanities, 5(29),
[Article]
Still, Arthur; Yee-King, Matthew and d'Inverno, Mark.
2019.
Creativity and Feedback: Designing Systems to Support Student Learning and Improve Instruction.
In: Kevin A. Gluck and John A. Laird, eds.
Interactive Task Learning: Humans, Robots, and Agents Acquiring New Tasks through Natural Interactions.
26
MIT Press, p. 217.
ISBN 9780262349420
[Book Section]
2018
Yee-King, Matthew; Fedden, Leon and d'Inverno, Mark.
2018.
Automatic Programming of VST Sound Synthesizers using Deep Networks and Other Techniques.
IEEE Transactions on Emerging Topics in Computational Intelligence, 2(2),
pp. 150-159.
ISSN 2471-285X
[Article]
Gifford, Toby; Knotts, Shelly; McCormack, Jon; Kalonaris, Stefano; Yee-King, Matthew and d'Inverno, Mark.
2018.
Computational Systems for Music Improvisation.
Digital Creativity, 29(1),
pp. 19-36.
ISSN 1462-6268
[Article]
2017
Yee-King, Matthew; Grierson, Mick and d'Inverno, Mark.
2017.
Evidencing the value of inquiry based, constructionist learning for student coders.
International Journal of Engineering Pedagogy, 7(3),
pp. 109-129.
ISSN 2192-4880
[Article]
Yee-King, Matthew; Grierson, Mick and d'Inverno, Mark.
2017.
'STEAM WORKS: Student coders experiment more and experimenters gain higher grades'.
In: EDUCON2017: IEEE Global Engineering Education Conference. Athens, Greece April 26-28, 2017.
[Conference or Workshop Item]
2016
McCormack, Jon and d'Inverno, Mark.
2016.
'Designing improvisational interfaces'.
In: International Conference on Computational Creativity. Paris, France 27 June - 1 July 2016.
[Conference or Workshop Item]
Still, Arthur and d'Inverno, Mark.
2016.
'A history of creativity for future AI research'.
In: UNSPECIFIED. UNDEFINED.
[Conference or Workshop Item]
al-Rifaie, Mohammad Majid; Yee-King, Matthew and d'Inverno, Mark.
2016.
'Investigating Swarm Intelligence for Performance Prediction'.
In: Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, United States 29 June - 2 July 2016.
[Conference or Workshop Item]
Yee-King, Matthew and d'Inverno, Mark.
2016.
'Experience Driven Design of Creative Systems'.
In: Proceedings of the 7th Computational Creativity Conference (ICCC 2016). Paris, France.
[Conference or Workshop Item]
Yee-King, Matthew and d'Inverno, Mark.
2016.
'Experience driven design of creative systems'.
In: Proceedings of the Seventh International Conference on Computational Creativity. Paris, France 27 June - 1 July 2016.
[Conference or Workshop Item]
2015
Confalonieri, Roberto; Yee-King, Matthew; Hazelden, Katina; d'Inverno, Mark; De Jonge, Dave; Osman, Nardine; Sierra, Carles; Agmoud, Leila and Prade, Henri.
2015.
Engineering multiuser museum interactives for shared cultural experiences.
Engineering Applications of Artificial Intelligence, 46(Part A),
pp. 180-195.
ISSN 0952-1976
[Article]
Gillies, Marco; Brenton, Harry; Yee-King, Matthew; Grimalt-Reynes, Andreu and d'Inverno, Mark.
2015.
'Sketches vs Skeletons: Video Annotation Can Capture What Motion Capture Cannot'.
In: Proceedings of the 2Nd International Workshop on Movement and Computing. Vancouver, Canada.
[Conference or Workshop Item]
d'Inverno, Mark and McCormack, Jon.
2015.
'Heroic versus Collaborative AI for the Arts'.
In: 24th International Joint Conference on Artificial Intelligence (IJCAI). Buenos Aires, Argentina 25–31 July 2015.
[Conference or Workshop Item]
Yee-King, Matthew; Krivenski, Maria; Brenton, Harry and d'Inverno, Mark.
2015.
Music circle: designing educational social machines for effective feedback.
In: Luc Steels, ed.
Music learning with Massive Open Online Courses (MOOCs).
6
Amsterdam: IOS Press, pp. 87-100.
ISBN 9781614995920
[Book Section]
d'Inverno, Mark and Still, Arthur.
2015.
Social Feedback as a Creative Process.
In: Luc Steels, ed.
Music Learning with Massive Open Online Courses (MOOCs).
6
Amsterdam: IOS Press, pp. 41-57.
ISBN 9781614995937
[Book Section]
2014
d'Inverno, Mark and Hill, Elisabeth L..
2014.
Goldsmiths Statement on Open Access.
Goldsmiths, University of London.
[Other]
Rhodes, Christophe; Crawford, Tim and d'Inverno, Mark.
2014.
'Duplicate detection in facsimile scans of early printed music'.
In: European Conference on Data Analysis. Bremen, Germany 2 - 4 July 2014.
[Conference or Workshop Item]
Brenton, Harry; Yee-King, Matthew; Grimalt-Reynes, Andreu; Gillies, Marco; Krivenski, Maria and d'Inverno, Mark.
2014.
'A Social Timeline for Exchanging Feedback about Musical Performances'.
In: Proceedings of the 28th International BCS Human Computer Interaction. Southport, United Kingdom.
[Conference or Workshop Item]
Yee-King, Matthew and d'Inverno, Mark.
2014.
'Pedagogical agents for social music learning in Crowd-based Socio-Cognitive Systems'.
In: Crowd Intelligence: Foundations, Methods, and Practices (CEUR Workshop Proceedings). Barcelona, Spain.
[Conference or Workshop Item]
Zamborlin, Bruno; Bevilacqua, Frédéric; Gillies, Marco and d'Inverno, Mark.
2014.
Fluid gesture interaction design: applications of continuous recognition for the design of modern gestural interfaces.
ACM Transactions on Interactive Intelligent Systems, 3(4),
22.
ISSN 2160-6455
[Article]
Still, Arthur and d'Inverno, Mark.
2014.
'Creative Feedback: a manifesto for social learning'.
In: Educational Data Mining. London, United Kingdom 4 – 7 July 2014.
[Conference or Workshop Item]
Noriega, Pablo and d'Inverno, Mark.
2014.
Crowd-based socio-cognitive systems.
Crowd Intelligence: Foundations, Methods and Practices. European Network for Social Intelligence, Barcelona, January, 1148,
pp. 1-15.
ISSN 1613-0073
[Article]
Yee-King, Matthew and d'Inverno, Mark.
2014.
Pedagogical Agents for Social Music Learning in Crowd-Based Socio-Cognitive Systems.
Crowd Intelligence: Foundations, Methods, and Practices (CEUR Workshop Proceedings), 1148,
pp. 76-93.
ISSN 1613-0073
[Article]
2013
Howells, Paul and d'Inverno, Mark.
2013.
'Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity)'.
In: Communicating Process Architectures 2013. Edinburgh.
[Conference or Workshop Item]
Howells, Paul and d'Inverno, Mark.
2013.
'Successful Termination in Timed CSP'.
In: Communicating Process Architectures 2013. Edinburgh.
[Conference or Workshop Item]
d'Inverno, Mark; Luck, Michael; Noriega, Pablo; A., Juan and Sierra, Carles.
2013.
'Communicating Open Systems: Extended Abstract'.
In: IJCAI 2013. Beijing, China.
[Conference or Workshop Item]
Osman, Nardine; d'Inverno, Mark; Sierra, Carles; Amgoud, Leila; Prade, Henri; Yee-King, Matthew; Confalonieri, Roberto; de Jonge, Dave and Hazelden, Katina.
2013.
An Experience-Based BDI Logic: Motivating Shared Experiences and Intentionality.
Working Paper.
IIIA, Vienna, Austria.
[Report]
Hazelden, Katina; Yee-King, Matthew; Confalonieri, Roberto; Sierra, Carles; Ghedini, Fiammetta; De Jonge, Dave; Osman, Nardine and d'Inverno, Mark.
2013.
'Multiuser Museum Interactives for Shared Cultural
Experiences: an Agent-based Approach'.
In: CHI'13 Extended Abstracts on Human Factors in Computing Systems. Paris.
[Conference or Workshop Item]
Pachet, François; Roy, Pierre; Moreira, Julian and d'Inverno, Mark.
2013.
'Reflexive Loopers for Solo Musical Improvisation'.
In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Paris.
[Conference or Workshop Item]
Verhagen, Harko; Noriega, Pablo and d'Inverno, Mark.
2013.
'Towards a Design Framework for Controlled Hybrid Social Games'.
In: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour. Exeter, UK.
[Conference or Workshop Item]
Hazelden, Katina; Yee-King, Matthew; Confalonieri, Roberto; Ghedini, Fiammetta; Sierra, Carles and d'Inverno, Mark.
2013.
'WeCurate: Enriching the Sociocultural Practices of the Museum Experience'.
In: Electronic Visualisation and the Arts (EVA 2013). London 29 - 31 July 2013.
[Conference or Workshop Item]
2012
Amgoud, Leila; Confalonieri, Roberto; de Jonge, Dave; d'Inverno, Mark; Hazelden, Katina; Osman, Nardine; Prade, Henri; Sierra, Carles and Yee-King, Matthew.
2012.
Sharing Online Cultural Experiences: An Argument-Based Approach.
In: Mateu Villaret; Beatriz López; Yasuo Narukawa and Vicenç Torra, eds.
Modeling Decisions for Artificial Intelligence.
7647
Berlin, Germany: Springer, pp. 282-293.
ISBN 9783642346194
[Book Section]
Amgoud, Leila; d'Inverno, Mark; Osman, Nardine; Prade, Henri and Sierra, Carles.
2012.
'Experiences - A Forgotten Component of Epistemic States'.
In: Agreement Technologies. Dubrovnik, Croatia 15-16 October 2012.
[Conference or Workshop Item]
Yee-King, Matthew; Confalonieri, Roberto; De Jonge, Dave; Osman, Nardine; Hazelden, Katina; Amgoud, Leila; Prade, Henri; Sierra, Carles and d'Inverno, Mark.
2012.
'Towards Community Browsing for Shared Experiences: The WeBrowse System'.
In: Agreement Technologies. Dubrovnik, Croatia 15-16 October 2012.
[Conference or Workshop Item]
d'Inverno, Mark and Luck, Michael.
2012.
Creativity through autonomy and interaction.
Cognitive Computation, 4(3),
pp. 332-346.
ISSN 1866-9956
[Article]
d'Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A and Sierra, Carles.
2012.
Communicating open systems.
Artificial Intelligence, 186,
pp. 38-94.
ISSN 0004-3702
[Article]
d'Inverno, Mark and McCormack, John, eds.
2012.
Computers and Creativity.
UK: Springer.
ISBN 978-3-642-31727-9
[Edited Book]
McCormack, Jon and d'Inverno, Mark.
2012.
Computers and Creativity: The Road Ahead.
In: Jon McCormack and Mark d'Inverno, eds.
Computers and Creativity.
Berlin, Germany: Springer Berlin Heidelberg, pp. 421-424.
ISBN 978-3-642-31726-2
[Book Section]
Cohen, Harold; Nake, Frieder; Brown, David C.; Brown, Paul; Galanter, Philip; McCormack, Jon and d'Inverno, Mark.
2012.
Evaluation of Creative Aesthetics.
In: Jon McCormack and Mark d'Inverno, eds.
Computers and Creativity.
Berlin, Germany: Springer Berlin Heidelberg, pp. 95-111.
ISBN 978-3-642-31726-2
[Book Section]
Jones, Daniel; Brown, Andrew R. and d'Inverno, Mark.
2012.
The Extended Composer.
In: Jon McCormack and Mark d'Inverno, eds.
Computers and Creativity.
Berlin, Germany: Springer Berlin Heidelberg, pp. 175-203.
ISBN 978-3-642-31726-2
[Book Section]
Hazelden, Katina; Yee-King, Matthew; d'Inverno, Mark; Confalonieri, Roberto; De Jonge, Dave; Amgoud, Leila; Osman, Nardine; Prade, Henri and Sierra, Carles.
2012.
'WeCurate: Designing for synchronised browsing and social negotiation'.
In: The first International Conference on Agreement Technologies. Dubrovnik, Croatia.
[Conference or Workshop Item]
McCormack, Jon and d'Inverno, Mark.
2012.
Why does Computing matter to Creativity?
In: Jon McCormack and Mark d'Inverno, eds.
Computers and Creativity.
Berlin, Germany: Springer Berlin Heidelberg, i-vi.
ISBN 978-3-642-31727-9
[Book Section]
2011
Fields, Benjamin; Rhodes, Christophe and d'Inverno, Mark.
2011.
'Automatic Group-Interactive Radio Using Social-Networks of Musicians'.
In: ICWSM-11 Fifth International AAAI Conference on Weblogs and Social Media. Barcelona, Spain 17 - 21 July 2011.
[Conference or Workshop Item]
d'Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A and Sierra, Carles.
2011.
'Weaving a fabric of socially aware agents'.
In: 14th International Conference, PRIMA 2011. Wollongong, Australia.
[Conference or Workshop Item]
2010
Fields, Ben; Rhodes, Christophe and d'Inverno, Mark.
2010.
'Using Song Social Tags and Topic Models to Describe and Compare Playlists'.
In: 1st Workshop On Music Recommendation And Discovery (WOMRAD), ACM RecSys. Barcelona, Spain.
[Conference or Workshop Item]
Cannam, Chris; Sandler, Mark; Jewell, Michael O; Rhodes, Christophe and d'Inverno, Mark.
2010.
Linked Data and you: Bringing music research software into the Semantic Web.
Journal of New Music Research, 39(4),
pp. 313-325.
ISSN 0929-8215
[Article]
Jewell, Michael O.; Rhodes, Christophe and d'Inverno, Mark.
2010.
'Querying improvised music: Do you sound like yourself?'.
In: The Eleventh International Society for Music Information Retrieval Conference (ISMIR 2010). Utrecht, Netherlands 9 - 13 August 2010.
[Conference or Workshop Item]
2009
Roeder, Ingo and d'Inverno, Mark.
2009.
New experimental and theoretical investigations of hematopoietic stem cells and chronic myeloid leukemia.
Blood Cells, Molecules, and Diseases, 43(1),
pp. 88-97.
ISSN 1079-9796
[Article]
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.
2007.
Agents in bioinformatics, computational and systems biology.
Briefings in Bioinformatics, 8(1),
pp. 45-59.
ISSN 1467-5463
[Article]
Bird, Jon; d'Inverno, Mark and Prophet, Jane.
2007.
Net Work: an interactive artwork designed using an interdisciplinary performative approach.
Digital Creativity, 18(1),
pp. 11-23.
ISSN 1462-6268
[Article]
2006
d'Inverno, Mark and Saunders, Rob.
2006.
Agent-based modelling of Stem Cell organisation in a Niche.
In: , ed.
Methodologies and Applications.
Berlin, Germany: Springer Berlin Heidelberg, pp. 389-418.
ISBN 978-3-540-31901-6
[Book Section]
Luck, Michael and d'Inverno, Mark.
2006.
Formal Methods and Agent-Based Systems.
In: Christopher A. Rouff; Michael Hinchey; James Rash; Walter Truszkowski and Diana Gordon-Spears, eds.
Agent Technology from a Formal Perspective.
Berlin, Germany: Springer, pp. 65-96.
ISBN 9781852339470
[Book Section]
d'Inverno, Mark; Theise, Neil and Prophet, Jane.
2006.
Mathematical Modeling of Stem Cells: A Complexity Primer for the Stem-Cell Biologist.
In: Christopher S. Potten; Robert B. Clarke; James Wilson and Andrew G. Renehan, eds.
Tissue Stem Cells.
New York, NY: Taylor and Francis, pp. 1-16.
ISBN 9780824728991
[Book Section]
Bird, Jon; d'Inverno, Mark and Prophet, Jane.
2006.
'Net Work: Lessons from Collaboratively Designing an Interactive Artwork'.
In: Generative Art 2006 Proceedings of the 9th International Conference. Milan, Italy 13 - 15 December 2006.
[Conference or Workshop Item]
y López, Fabiola López; Luck, Michael and d'Inverno, Mark.
2006.
A normative framework for agent-based systems.
Computational and Mathematical Organization Theory, 12(2-3),
pp. 227-250.
ISSN 1381-298X
[Article]
2005
d'Inverno, Mark and Saunders, Rob.
2005.
Agent-based modelling of stem cell self-organisation in a niche.
In: Sven A. Brueckner; Giovanna Di Marzo Serugendo; Anthony Karageorgos and Radhika Nagpal, eds.
Engineering self-organising systems: methodologies and applications.
Berlin, Germany: Springer, pp. 52-68.
ISBN 9783540261803
[Book Section]
Ashri, Ronald; Luck, Michael and d'Inverno, Mark.
2005.
From SMART to agent systems development.
Engineering Applications of Artificial Intelligence, 18(2),
pp. 129-140.
ISSN 0952-1976
[Article]
2004
Luck, Michael; Ashri, Ronald and d'Inverno, Mark.
2004.
Agent-Based Software Development.
Boston, Mass.: Artech House, pp. 1-226.
ISBN 9781580536059
[Book]
Prophet, Jane and d'Inverno, Mark.
2004.
Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence.
In: Ernest Edmonds and Ross Gibson, eds.
Interaction: systems, theory and practice.
Sydney, Australia: Creativity & Cognition Studios Press, pp. 251-270.
ISBN 9780975153314
[Book Section]
Ashri, Ronald; Luck, Michael and d'Inverno, Mark.
2004.
'Identifying opportunities and constraints for goal achievement through relationship analysis'.
In: Third International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 3 (AAMAS'04). New York, USA.
[Conference or Workshop Item]
Munroe, Steve; Luck, Michael and d'Inverno, Mark.
2004.
Motivation-based selection of negotiation partners.
In: Frances Titsworth, ed.
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems.
USA: IEEE Computer Press, pp. 1520-1521.
ISBN 0769520928
[Book Section]
Lopez y Lopez, Fabiola; Luck, Michael and d'Inverno, Mark.
2004.
Normative agent reasoning in dynamic societies.
In: Frances Titsworth, ed.
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems.
USA: IEEE Computer Press, pp. 732-739.
ISBN 0769520928
[Book Section]
d'Inverno, Mark and Luck, Michael.
2004.
Understanding Agent Systems.
Springer.
ISBN 9783540407003
[Book]
Lörstad, Henrik; d'Inverno, Mark and Eacott, John.
2004.
The intelligent street: responsive sound environments for social interaction.
In: , ed.
Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology.
New York, NY: ACM, pp. 155-162.
ISBN 1581138822
[Book Section]
Ashri, Ronald; Luck, Michael and d'Inverno, Mark.
2004.
'A typology of relationships and goals for regulation and coordination'.
In: ECAI Workshop in Coordination in Emerging Agent Societies. Valencia, Spain.
[Conference or Workshop Item]
2003
d'Inverno, Mark; Ashri, Ronald and Luck, Michael.
2003.
'On identifying and managing relationships in multi-agent systems'.
In: Eighteenth International Joint Conference on Artificial Intelligence. Acapulco, Mexico 9-15 August.
[Conference or Workshop Item]
Griffiths, Nathan; Luck, Michael and d'Inverno, Mark.
2003.
Annotating Cooperative Plans with Trusted Agents.
In: Rino Falcone; Suzanne Barber; Larry Korba and Munindar Singh, eds.
Trust, Reputation, and Security: Theories and Practice.
Berlin, Germany: Springer, pp. 87-107.
ISBN 9783540009887
[Book Section]
Luck, Michael; d'Inverno, Mark and Munroe, Steve.
2003.
Autonomy: Variable and generative.
In: Henry Hexmoor; Cristiano Castelfranchi and Rino Falcone, eds.
Agent Autonomy.
Boston, MA: Springer, pp. 11-28.
ISBN 978-1-4020-7402-8
[Book Section]
Munroe, Steve; Luck, Michael and d'Inverno, Mark.
2003.
Towards Motivation-Based Decisions for Worth Goals.
In: Vladimír Mařík; Michal Pěchouček and Jörg Müller, eds.
Multi-Agent Systems and Applications III.
2691
Berlin, Germany: Springer, pp. 17-28.
ISBN 9783540404507
[Book Section]
Munroe, Steve; Luck, Michael and d'Inverno, Mark.
2003.
'Towards a Motivation-Based Approach for Evaluating Goals'.
In: The Second International Joint Conference on Autonomous Agents and Multi-Agent Systems. Melbourne, Australia.
[Conference or Workshop Item]
Luck, Michael and d'Inverno, Mark.
2003.
Unifying agent systems.
Annals of Mathematics and Artificial Intelligence, 37(1-2),
pp. 131-167.
ISSN 1012-2443
[Article]
2002
Luck, Michael; d'Inverno, Mark and López y López, Fabiola.
2002.
'Constraining autonomy through norms'.
In: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2. New York, NY, United States.
[Conference or Workshop Item]
d'Inverno, Mark; Luck, Michael; Fisher, Michael and Preist, Chris.
2002.
Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers.
Berlin, Germany: Springer.
ISBN 9783540439622
[Book]
Ashri, Ronald; Luck, Michael and d'Inverno, Mark.
2002.
Infrastructure Support for Agent-Based Development.
In: Mark d'Inverno; Michael Luck; Michael Fisher and Chris Preist, eds.
Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers.
2403
Berlin, Germany: Springer, pp. 73-88.
ISBN 9783540439622
[Book Section]
2001
Luck, Michael and d'Inverno, Mark.
2001.
Autonomy: A Nice Idea in Theory.
In: , ed.
Intelligent Agents VII Agent Theories Architectures and Languages.
1986
Berlin, Germany: Springer Berlin Heidelberg, pp. 351-353.
ISBN 978-3-540-44631-6
[Book Section]
Luck, Michael and d'Inverno, Mark.
2001.
'Autonomy: A nice idea in theory'.
In: Intelligent Agents VII Agent Theories Architectures and Languages. Boston, MA, United States.
[Conference or Workshop Item]
Luck, Michael and d'Inverno, Mark.
2001.
A Conceptual Framework for Agent Definition and Development.
The Computer Journal, 44(1),
pp. 1-20.
ISSN 0010-4620
[Article]
d'Inverno, Mark and Luck, Michael.
2001.
Formal Agent Development: Framework to System.
In: Diana Gordon; Michael G. Hinchey; Walt Truszkowski; James L. Rash and Christopher A. Rouff, eds.
Formal Approaches to Agent-Based Systems.
Berlin, Germany: Springer, pp. 133-147.
ISBN 9783540427162
[Book Section]
y Lopez, Fabiolas López; Luck, Michael and d'Inverno, Mark.
2001.
'A Framework for Norm-based Inter-Agent Dependence'.
In: Third Mexican International Conference on Computer Science. Aguascalientes, Mexico.
[Conference or Workshop Item]
Alonso, Eduardo; d'Inverno, Mark; Kudenko, Daniel; Luck, Michael and Noble, Jason.
2001.
Learning in multi-agent systems.
The Knowledge Engineering Review, 16(3),
pp. 277-284.
ISSN 0269-8889
[Article]
d'Inverno, Mark and Luck, Michael.
2001.
Multi-agent systems research into the 21st century.
The Knowledge Engineering Review, 16(3),
pp. 271-275.
ISSN 0269-8889
[Article]
Luck, Michael and d'Inverno, Mark.
2001.
Plan Analysis for Autonomous Sociological Agents.
In: Cristiano Castelfranchi and Yves Lespérance, eds.
Intelligent Agents VII Agent Theories Architectures and Languages.
1986
Berlin, Germany: Springer, pp. 182-197.
ISBN 9783540424222
[Book Section]
2000
Hindriks, Koen; d'Inverno, Mark and Luck, Michael.
2000.
Architecture for Agent Programming Languages.
In: Werner Horn, ed.
ECAI 2000 Proceedings.
Washington, D.C.: IOS Press, pp. 363-367.
ISBN 9781586030131
[Book Section]
d'Inverno, Mark; Hindriks, Koen and Luck, Michael.
2000.
A Formal Architecture for the 3APL Agent Programming Language.
In: Gerhard Goos; Juris Hartmanis and Jan van Leeuwen, eds.
ZB 2000: Formal Specification and Development in Z and B.
1878
Berlin, Germany: Springer, pp. 168-187.
ISBN 9783540679448
[Book Section]
d'Inverno, Mark and Luck, Michael.
2000.
Sociological agents for effective social action.
In: Bob Werner, ed.
Fourth International Conference on MultiAgent Systems : proceedings : Boston, Massachusetts, USA, July 10-12, 2000.
Los Alamitos, CA: IEEE Computer Society, pp. 379-380.
ISBN 0769506259
[Book Section]
1999
Beer, Martin; d'Inverno, Mark; Luck, Michael; Jennings, Nick; Preist, Chris and Schroeder, Michael.
1999.
Negotiation in multi-agent systems.
The Knowledge Engineering Review, 14(3),
pp. 285-289.
ISSN 0269-8889
[Article]
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.
1998.
Foundations of Multi-Agent systems: techniques, tools and theory.
The Knowledge Engineering Review,
pp. 297-302.
[Article]
d'Inverno, Mark; Kinney, D. and Luck, Michael.
1998.
Interaction protocols in Agentis.
In: Bob Werner, ed.
International Conference on Multi Agent Systems, 1998. Proceedings.
Washington, D.C.: The Institute of Electrical and Electronics Engineers, pp. 112-119.
ISBN 081868500X
[Book Section]
Luck, Michael and d'Inverno, Mark.
1998.
Motivated Behaviour for Goal Adoption.
In: Chenqi Zhang and Dickson Lukose, eds.
Multi-Agent Systems. Theories, Languages and Applications.
1544
Berlin, Germany: Springer, pp. 58-73.
ISBN 9783540654773
[Book Section]
d'Inverno, Mark; Kinny, David; Luck, Michael and Wooldridge, Michael.
1998.
A formal specification of dMARS.
In: Munindar P. Singh; Anand Rao and Michael J. Wooldridge, eds.
Intelligent Agents IV: Agent Theories, Architectures, and Languages.
1365
Berlin, Germany: Springer, pp. 155-176.
ISBN 9783540641629
[Book Section]
1997
d'Inverno, Mark and Luck, Michael.
1997.
'Development and application of a formal agent framework'.
In: Proceedings First IEEE International Conference on Formal Engineering Methods. Hiroshima, Japan.
[Conference or Workshop Item]
d'Inverno, Mark; Luck, Michael and Wooldridge, Michael.
1997.
Cooperation Structures.
In: Martha E. Pollack, ed.
IJCAI '97 : Proceedings of the fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, August 23-29, 1997.
San Francisco, CA: Morgan Kaufmann, pp. 600-605.
ISBN 9781558604803
[Book Section]
d'Inverno, Mark; Priestley, Mark and Luck, Michael.
1997.
A Formal Framework for Hypertext Systems.
Software Engineering. IEE Proceedings, 144(3),
pp. 175-184.
ISSN 1364-5080
[Article]
d'Inverno, Mark; Fisher, Michael; Lomuscio, Alessio; Luck, Michael; De Rijke, Maarten; Ryan, Mark and Wooldridge, Michael.
1997.
Formalisms for multi-agent systems.
The Knowledge Engineering Review, 12(03),
pp. 315-321.
[Article]
Luck, Michael; Griffiths, Nathan and d'Inverno, Mark.
1997.
From agent theory to agent construction: A case study.
In: Jörg P. Müller; Michael J. Wooldridge and Nicholas R. Jennings, eds.
Intelligent Agents III Agent Theories, Architectures, and Languages.
1193
Berlin, Germany: Springer, pp. 49-63.
ISBN 9783540625070
[Book Section]
d'Inverno, Mark and Luck, Michael.
1997.
Making and breaking engagements: An operational analysis of agent relationships.
In: Chengqi Zhang and Dickson Lukose, eds.
Multi-Agent Systems Methodologies and Applications.
1286
Berlin, Germany: Springer, pp. 48-62.
ISBN 9783540634126
[Book Section]
d'Inverno, Mark and Hu, Michael.
1997.
'A Z specification of the soft-link hypertext model'.
In: ZUM '97: The Z Formal Specification Notation. Reading, United Kingdom.
[Conference or Workshop Item]
1996
Luck, Michael and d'Inverno, Mark.
1996.
Engagement and cooperation in motivated agent modelling.
In: Chengqi Zhang and Dickson Lukose, eds.
Distributed Artificial Intelligence Architecture and Modelling.
Berlin, Germany: Springer, pp. 70-84.
ISBN 9783540613145
[Book Section]
d'Inverno, Mark; Justo, G.R. Ribeiro and Howells, Paul.
1996.
A Formal Framework For Specifying Design Methods.
Software Process: Improvement and Practice, 2(3),
pp. 181-196.
ISSN 1077-4866
[Article]
d'Inverno, Mark and Luck, Michael.
1996.
Formalising the Contract Net as a goal-directed system.
In: Walter Van de Velde and John W. Perram, eds.
Agents Breaking Away.
Berlin, Germany: Springer, pp. 72-85.
ISBN 9783540608523
[Book Section]
d'Inverno, Mark and Luck, Michael.
1996.
Understanding Autonomous Interaction.
In: Wolfgang Wahlster, ed.
ECAI 96 : 12th European Conference on Artificial Intelligence, August 11-16, 1996, Budapest, Hungary : proceedings.
Chichester, UK: Wiley, pp. 529-533.
ISBN 0471968099
[Book Section]
d'Inverno, Mark; Justo, GR Ribeiro and Howells, Paul.
1996.
'A formal framework for specifying design methods'.
In: System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on,. Hawaii.
[Conference or Workshop Item]
d'Inverno, Mark and Luck, Michael.
1996.
A formal view of social dependence networks.
In: Dickson Lukose and Chengqi Zhang, eds.
Distributed Artificial Intelligence Architecture and Modelling.
1087
Berlin, Germany: Springer, pp. 115-129.
ISBN 9783540613145
[Book Section]
1995
Luck, Michael and d'Inverno, Mark.
1995.
A Formal Framework for Agency and Autonomy.
In: Victor Lesser, ed.
ICMAS-95 : proceedings First International Conference on Multi-Agent Systems.
Cambridge, MA: MIT Press, pp. 254-260.
ISBN 0262621029
[Book Section]
Luck, Michael and d'Inverno, Mark.
1995.
'Goal Generation and Adoption in Hierarchical Agent Models'.
In: Eighth Australian Joint Conference on Artificial Intelligence. New South Wales, Australia.
[Conference or Workshop Item]
Luck, Michael and d'Inverno, Mark.
1995.
Structuring a Z specification to provide a formal framework for autonomous agent systems.
In: Jonathan P. Bowen and Michael G. Hinchey, eds.
ZUM '95: The Z Formal Specification Notation.
967
Berlin, Germany: Springer, pp. 46-62.
ISBN 9783540602712
[Book Section]
d'Inverno, Mark and Priestley, Mark.
1995.
Structuring specification in Z to build a unifying framework for hypertext systems.
In: Jonathan P. Bowen and Michael G. Hinchey, eds.
ZUM '95: The Z Formal Specification Notation.
967
Berlin, Germany: Springer, pp. 83-102.
ISBN 9783540602712
[Book Section]
1990