![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Mark d'Inverno
Person information
- affiliation: Goldsmiths University of London, Department of Computing
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c76]Nardine Osman, Mark d'Inverno:
A Computational Framework of Human Values. AAMAS 2024: 1531-1539 - [i9]Nardine Osman, Mark d'Inverno:
Modelling Human Values for AI Reasoning. CoRR abs/2402.06359 (2024) - 2023
- [c75]Pablo Noriega
, Harko Verhagen
, Julian A. Padget
, Mark d'Inverno
:
Addressing the Value Alignment Problem Through Online Institutions. COINE 2023: 77-94 - [i8]Nardine Osman
, Mark d'Inverno:
Human Values in Multiagent Systems. CoRR abs/2305.02739 (2023) - [i7]Nardine Osman
, Mark d'Inverno:
A computational framework of human values for ethical AI. CoRR abs/2305.02748 (2023) - [i6]Matthew Yee-King, Andrea Fiorucci, Mark d'Inverno:
The pop song generator: designing an online course to teach collaborative, creative AI. CoRR abs/2306.10069 (2023) - 2022
- [c74]Pablo Noriega
, Harko Verhagen
, Julian A. Padget
, Mark d'Inverno
:
Design Heuristics for Ethical Online Institutions. COINE 2022: 213-230 - [i5]Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton:
Explainable Computational Creativity. CoRR abs/2205.05682 (2022) - 2021
- [j33]Pablo Noriega
, Harko Verhagen
, Julian A. Padget
, Mark d'Inverno
:
Ethical Online AI Systems Through Conscientious Design. IEEE Internet Comput. 25(6): 58-64 (2021) - 2020
- [c73]Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton:
Explainable Computational Creativity. ICCC 2020: 334-341 - [c72]Matthew Yee-King, Louis McCallum
, Maria Teresa Llano, Vít Ruzicka, Mark d'Inverno, Mick Grierson
:
Examining Student Coding Behaviours in Creative Computing Lessons using Abstract Syntax Trees and Vocabulary Analysis. ITiCSE 2020: 273-279
2010 – 2019
- 2019
- [c71]Jon McCormack, Toby Gifford
, Patrick Hutchings, Maria Teresa Llano Rodriguez, Matthew Yee-King, Mark d'Inverno:
In a Silent Way: Communication Between AI and Improvising Musicians Beyond Sound. CHI 2019: 38 - [i4]Jon McCormack, Toby Gifford, Patrick Hutchings, Maria Teresa Llano Rodriguez, Matthew Yee-King, Mark d'Inverno:
In a Silent Way: Communication Between AI and Improvising Musicians Beyond Sound. CoRR abs/1902.06442 (2019) - 2018
- [j32]Toby Gifford
, Shelly Knotts, Jon McCormack
, Stefano Kalonaris
, Matthew Yee-King, Mark d'Inverno:
Computational systems for music improvisation. Digit. Creativity 29(1): 19-36 (2018) - [j31]Matthew John Yee-King, Thomas Wilmering, Maria Teresa Llano Rodriguez, Maria Krivenski, Mark d'Inverno:
Technology Enhanced Learning: The Role of Ontologies for Feedback in Music Performance. Frontiers Digit. Humanit. 5: 29 (2018) - [j30]Matthew John Yee-King
, Leon Fedden
, Mark d'Inverno
:
Automatic Programming of VST Sound Synthesizers Using Deep Networks and Other Techniques. IEEE Trans. Emerg. Top. Comput. Intell. 2(2): 150-159 (2018) - 2017
- [j29]Matthew John Yee-King, Mick Grierson, Mark d'Inverno:
Evidencing the Value of Inquiry Based, Constructionist Learning for Student Coders. Int. J. Eng. Pedagog. 7(3): 109-129 (2017) - [c70]Pablo Noriega
, Jordi Sabater-Mir, Harko Verhagen, Julian A. Padget
, Mark d'Inverno:
Identifying Affordances for Modelling Second-Order Emergent Phenomena with the WIT Framework. AAMAS Workshops (Visionary Papers) 2017: 208-227 - [c69]Matthew Yee-King, Mick Grierson
, Mark d'Inverno:
STEAM WORKS: Student coders experiment more and experimenters gain higher grades. EDUCON 2017: 359-366 - 2016
- [c68]Pablo Noriega
, Harko Verhagen, Mark d'Inverno, Julian A. Padget
:
A Manifesto for Conscientious Design of Hybrid Online Social Systems. COIN@AAMAS/ECAI 2016: 60-78 - [c67]Mohammad Majid al-Rifaie, Matthew Yee-King, Mark d'Inverno:
Investigating Swarm Intelligence for Performance Prediction. EDM 2016: 264-269 - [c66]Matthew Yee-King, Mark d'Inverno:
Stimulating collaborative activity in online social learning environments with Markov decision processes. EDM 2016: 652-653 - [c65]Matthew Yee-King, Andreu Grimalt-Reynes, Mark d'Inverno:
Predicting student grades from online, collaborative social learning metrics using K-NN. EDM 2016: 654-655 - [c64]Matthew Yee-King, Mark d'Inverno:
Experience Driven Design of Creative Systems. ICCC 2016: 85-92 - [c63]Jon McCormack, Mark d'Inverno:
Designing Improvisational Interfaces. ICCC 2016: 98-106 - [c62]Mark d'Inverno, Arthur Still:
A History of Creativity for Future AI Research. ICCC 2016: 147-155 - 2015
- [j28]Roberto Confalonieri
, Matthew Yee-King, Katina Hazelden, Mark d'Inverno, Dave de Jonge, Nardine Osman
, Carles Sierra
, Leila Amgoud, Henri Prade:
Engineering multiuser museum interactives for shared cultural experiences. Eng. Appl. Artif. Intell. 46: 180-195 (2015) - [c61]Matthew Yee-King, Mark d'Inverno:
Pedagogical agent models for massive online education. AInF@IJCAI 2015: 2-9 - [c60]Chris Kiefer, Matthew Yee-King, Mark d'Inverno:
Revealing and interpreting crowd stories in online social environments. AInF@IJCAI 2015: 47-52 - [c59]Mark d'Inverno, Jon McCormack:
Heroic versus Collaborative AI for the Arts. IJCAI 2015: 2138-2444 - [c58]Marco Gillies, Harry Brenton, Matthew Yee-King, Andreu Grimalt-Reynes, Mark d'Inverno:
Sketches vs skeletons: video annotation can capture what motion capture cannot. MOCO 2015: 104-111 - 2014
- [j27]Bruno Zamborlin, Frédéric Bevilacqua, Marco Gillies, Mark d'Inverno:
Fluid gesture interaction design: Applications of continuous recognition for the design of modern gestural interfaces. ACM Trans. Interact. Intell. Syst. 3(4): 22:1-22:30 (2014) - [c57]Pablo Noriega
, Julian A. Padget
, Harko Verhagen, Mark d'Inverno:
Towards a Framework for Socio-Cognitive Technical Systems. COIN@AAMAS/PRICAI 2014: 164-181 - [c56]Harry Brenton, Matthew Yee-King, Andreu Grimalt-Reynes, Marco Gillies, Maria Krivenski, Mark d'Inverno:
A Social Timeline for Exchanging Feedback about Musical Performances. BCS HCI 2014 - [c55]Christophe Rhodes, Tim Crawford, Mark d'Inverno:
Duplicate Detection in Facsimile Scans of Early Printed Music. ECDA 2014: 449-459 - [c54]Mark d'Inverno, Arthur Still:
Creative Feedback: a Manifesto for Social Learning. EDM (Workshops) 2014 - 2013
- [j26]Paul Howells, Mark d'Inverno:
Specifying termination in CSP. Theor. Comput. Sci. 503: 31-60 (2013) - [c53]Matthew Yee-King, Roberto Confalonieri, Dave de Jonge, Katina Hazelden, Carles Sierra, Mark d'Inverno, Leila Amgoud, Nardine Osman:
Multiuser museum interactives for shared cultural experiences: an agent-based approach. AAMAS 2013: 917-924 - [c52]Katina Hazelden, Matthew Yee-King, Roberto Confalonieri
, Carles Sierra, Fiammetta Ghedini, Dave de Jonge, Nardine Osman
, Mark d'Inverno:
WeCurate: multiuser museum interactives for shared cultural experiences. CHI Extended Abstracts 2013: 571-576 - [c51]François Pachet, Pierre Roy, Julian Moreira, Mark d'Inverno:
Reflexive loopers for solo musical improvisation. CHI 2013: 2205-2208 - [c50]Katina Hazelden, Matthew Yee-King, Roberto Confalonieri, Fiammetta Ghedini, Carles Sierra, Mark d'Inverno:
WeCurate: Enriching the Sociocultural Practices of the Museum Experience. EVA 2013 - [c49]Nardine Osman
, Mark d'Inverno, Carles Sierra
, Leila Amgoud
, Henri Prade, Matthew Yee-King, Roberto Confalonieri
, Dave de Jonge, Katina Hazelden:
An experience-based BDI logic: Motivating shared experiences and intentionality. IECON 2013: 6654-6659 - [c48]Mark d'Inverno, Michael Luck, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra:
Communicating Open Systems: Extended Abstract. IJCAI 2013: 3146-3150 - [c47]Paul Howells, Mark d'Inverno:
Successful Termination in Timed CSP. CPA 2013: 21-38 - [c46]Paul Howells, Mark d'Inverno:
Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity). CPA 2013: 157-184 - 2012
- [j25]Mark d'Inverno, Michael Luck
, Pablo Noriega
, Juan A. Rodríguez-Aguilar
, Carles Sierra
:
Communicating open systems. Artif. Intell. 186: 38-94 (2012) - [j24]Mark d'Inverno, Michael Luck
:
Creativity Through Autonomy and Interaction. Cogn. Comput. 4(3): 332-346 (2012) - [c45]Leila Amgoud, Roberto Confalonieri, Dave de Jonge, Mark d'Inverno, Katina Hazelden, Nardine Osman, Henri Prade, Carles Sierra, Matthew Yee-King:
WeCurate: Designing For Synchronised Browsing And Social Negotiation. AT 2012: 168-179 - [c44]Matthew Yee-King, Roberto Confalonieri, Dave de Jonge, Nardine Osman, Katina Hazelden, Leila Amgoud, Henri Prade, Carles Sierra, Mark d'Inverno:
Towards Community Browsing for Shared Experiences: The WeBrowse System. AT 2012: 201-202 - [c43]Leila Amgoud, Mark d'Inverno, Nardine Osman, Henri Prade, Carles Sierra:
Experiences - A Forgotten Component of Epistemic States. AT 2012: 220-230 - [c42]Leila Amgoud, Roberto Confalonieri
, Dave de Jonge, Mark d'Inverno, Katina Hazelden, Nardine Osman
, Henri Prade, Carles Sierra
, Matthew Yee-King:
Sharing Online Cultural Experiences: An Argument-Based Approach. MDAI 2012: 282-293 - 2011
- [j23]Benjamin Fields, Kurt Jacobson, Christophe Rhodes, Mark d'Inverno, Mark B. Sandler, Michael A. Casey:
Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery. IEEE Trans. Multim. 13(4): 674-686 (2011) - [c41]Benjamin Fields, Christophe Rhodes, Mark d'Inverno:
Automatic Group-Interactive Radio Using Social-Networks of Musicians. ICWSM 2011 - [c40]Mark d'Inverno, Michael Luck
, Pablo Noriega
, Juan A. Rodríguez-Aguilar
, Carles Sierra
:
Weaving a Fabric of Socially Aware Agents. PRIMA 2011: 263-274 - 2010
- [c39]Daniel Jones, Mark d'Inverno:
Forest Fire Dynamics In Sonic Organisation. ICMC 2010 - [c38]Michael O. Jewell, Christophe Rhodes, Mark d'Inverno:
Querying Improvised Music: Do You Sound Like Yourself?. ISMIR 2010: 483-488
2000 – 2009
- 2009
- [j22]Paul Howells, Mark d'Inverno:
A CSP model with flexible parallel termination semantics. Formal Aspects Comput. 21(5): 421-449 (2009) - [p1]Paul Howells, Mark d'Inverno, Rob Saunders, Ingo Roeder, Sara Montagna:
Agent-Based Modeling of Stem Cells. Multi-Agent Systems 2009: 389-418 - [e2]Margaret A. Boden, Mark d'Inverno, Jon McCormack:
Computational Creativity: An Interdisciplinary Approach, 12.07. - 17.07.2009. Dagstuhl Seminar Proceedings 09291, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i3]Margaret A. Boden, Mark d'Inverno, Jon McCormack:
09291 Abstracts Collection - Computational Creativity: an interdisciplinary approach. Computational Creativity: An Interdisciplinary Approach 2009 - [i2]Jon McCormack, Margaret A. Boden, Mark d'Inverno:
09291 Summary - Computational Creativity: an interdisciplinary approach. Computational Creativity: An Interdisciplinary Approach 2009 - 2007
- [j21]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
:
Agents in bioinformatics, computational and systems biology. Briefings Bioinform. 8(1): 45-59 (2007) - [j20]Jon Bird, Mark d'Inverno, Jane Prophet
:
Net Work: an interactive artwork designed using an interdisciplinary performative approach. Digit. Creativity 18(1): 11-23 (2007) - [i1]Fabiola López y López, Michael Luck, Mark d'Inverno:
A Normative Framework for Agent-Based Systems. Normative Multi-agent Systems 2007 - 2006
- [j19]Fabiola López y López, Michael Luck
, Mark d'Inverno:
A normative framework for agent-based systems. Comput. Math. Organ. Theory 12(2-3): 227-250 (2006) - [c37]Mark d'Inverno:
Theory and application of intelligent agent systems. ICINCO-ICSO 2006 - 2005
- [j18]Ronald Ashri, Michael Luck
, Mark d'Inverno:
From SMART to agent systems development. Eng. Appl. Artif. Intell. 18(2): 129-140 (2005) - [j17]Mark d'Inverno, Jane Prophet:
Multidisciplinary Investigation into Adult Stem Cell Behavior. Trans. Comp. Sys. Biology 3: 49-64 (2005) - [c36]Mark d'Inverno:
Agents, emergence and modelling: What value for communication networks? ICETE 2005 - [c35]Fabiola López y López, Michael Luck, Mark d'Inverno:
A Normative Framework for Agent-Based Systems. NORMAS 2005: 24-35 - 2004
- [b4]Michael Luck, Ronald Ashri, Mark d'Inverno:
Agent-Based Software Development. Artech House 2004, ISBN 978-1-58053-605-9, pp. I-XIII, 1-208 - [b3]Mark d'Inverno, Michael Luck:
Understanding agent systems, Second Edition. Springer series on agent technology, Springer 2004, ISBN 978-3-540-40700-3, pp. I-XVIII, 1-240 - [j16]Mark d'Inverno, Carles Sierra
, Franco Zambonelli
, Michael Luck
, Steven Willmott:
Best Papers From Eumas 2003: The 1st European Workshop On Multi-Agent Systems. Appl. Artif. Intell. 18(9-10): 775-778 (2004) - [j15]Mark d'Inverno, Michael Luck
, Michael P. Georgeff, David Kinny, Michael J. Wooldridge:
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Auton. Agents Multi Agent Syst. 9(1-2): 5-53 (2004) - [c34]Henrik Lörstad, Mark d'Inverno, John Eacott:
The intelligent street: responsive sound environments for social interaction. Advances in Computer Entertainment Technology 2004: 155-162 - [c33]Mark d'Inverno, Rob Saunders:
Agent-Based Modelling of Stem Cell Self-organisation in a Niche. Engineering Self-Organising Systems 2004: 52-68 - [c32]Fabiola López y López, Michael Luck, Mark d'Inverno:
Normative Agent Reasoning in Dynamic Societies. AAMAS 2004: 732-739 - [c31]Ronald Ashri, Michael Luck, Mark d'Inverno:
Identifying Opportunities and Constraints for Goal Achievement through Relationship Analysis. AAMAS 2004: 1452-1453 - [c30]Stephen J. Munroe, Michael Luck, Mark d'Inverno:
Motivation-Based Selection of Negotiation Partners. AAMAS 2004: 1520-1521 - 2003
- [j14]Michael Luck
, Mark d'Inverno:
Unifying Agent Systems. Ann. Math. Artif. Intell. 37(1-2): 131-167 (2003) - [j13]John Eacott, Mark d'Inverno:
Embedded intelligent music-or iHiFi the intelligent HiFi. Digit. Creativity 14(2): 67-73 (2003) - [c29]Stephen J. Munroe, Michael Luck
, Mark d'Inverno:
Towards a motivation-based approach for evaluating goals. AAMAS 2003: 1074-1075 - [c28]Stephen J. Munroe, Michael Luck
, Mark d'Inverno:
Towards Motivation-Based Decisions for Worth Goals. CEEMAS 2003: 17-28 - [c27]Ronald Ashri, Michael Luck, Mark d'Inverno:
On Identifying and Managing Relationships in Multi-Agent Systems. IJCAI 2003: 743-748 - 2002
- [j12]Mark d'Inverno, Paul Howells, Michael J. Hu, Michael Luck
:
Soft-link hypertext for information retrieval. Inf. Softw. Technol. 44(2): 101-112 (2002) - [j11]Mark d'Inverno, Michael Luck
:
Practical and theoretical innovations in multi-agent systems research. Knowl. Eng. Rev. 17(3): 295-301 (2002) - [c26]Nathan Griffiths, Michael Luck
, Mark d'Inverno:
Annotating Cooperative Plans with Trusted Agents. Trust, Reputation, and Security 2002: 87-107 - [c25]Fabiola López y López, Michael Luck, Mark d'Inverno:
Constraining autonomy through norms. AAMAS 2002: 674-681 - [c24]Ronald Ashri, Michael Luck
, Mark d'Inverno:
Infrastructure Support for Agent-Based Development. Foundations and Applications of Multi-Agent Systems 2002: 73-88 - [e1]Mark d'Inverno, Michael Luck
, Michael Fisher, Chris Preist:
Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers. Lecture Notes in Computer Science 2403, Springer 2002, ISBN 3-540-43962-5 [contents] - 2001
- [b2]Mark d'Inverno, Michael Luck:
Understanding agent systems. Springer series on agent technology, Springer 2001, ISBN 978-3-540-41975-4, pp. I-XVI, 1-191 - [j10]Michael Luck
, Mark d'Inverno:
A Conceptual Framework for Agent Definition and Development. Comput. J. 44(1): 1-20 (2001) - [j9]Mark d'Inverno, Michael Luck
:
Multi-agent systems research into the 21st century. Knowl. Eng. Rev. 16(3): 271-275 (2001) - [j8]Eduardo Alonso
, Mark d'Inverno, Daniel Kudenko, Michael Luck
, Jason Noble:
Learning in multi-agent systems. Knowl. Eng. Rev. 16(3): 277-284 (2001) - 2000
- [c23]Michael Luck
, Mark d'Inverno:
Plan Analysis for Autonomous Sociological Agents. ATAL 2000: 182-197 - [c22]Michael Luck
, Mark d'Inverno:
Autonomy: A Nice Idea in Theory. ATAL 2000: 351-353 - [c21]Koen V. Hindriks, Mark d'Inverno, Michael Luck:
Architecture for Agent Programming Languages. ECAI 2000: 363-367 - [c20]Mark d'Inverno, Michael Luck
:
Formal Agent Development: Framework to System. FAABS 2000: 133-147 - [c19]Mark d'Inverno, Michael Luck
:
Sociological Agents for Effective Social Action. ICMAS 2000: 379-380 - [c18]Mark d'Inverno, Koen V. Hindriks
, Michael Luck
:
A Formal Architecture for the 3APL Agent Programming Language. ZB 2000: 168-187
1990 – 1999
- 1999
- [j7]George R. Ribeiro-Justo, Paul Howells, Mark d'Inverno:
Formalising high-performance systems methodologies. J. Syst. Archit. 45(6-7): 441-464 (1999) - [j6]Martin Beer, Mark d'Inverno, Michael Luck
, Nick R. Jennings
, Chris Preist, Michael Schroeder:
Negotiation in multi-agent systems. Knowl. Eng. Rev. 14(3): 285-289 (1999) - 1998
- [b1]Mark d'Inverno:
Agents, agency and autonomy: a formal computational model. University College London, UK, 1998 - [j5]Michael Luck
, Mark d'Inverno, Michael Fisher
:
Foundations of Multi-Agent Systems: Techniques, Tools and Theory. Knowl. Eng. Rev. 13(3): 297-302 (1998) - [j4]Mark d'Inverno, Michael Luck
:
Engineering AgentSpeak(L): A Formal Computational Model. J. Log. Comput. 8(3): 233-260 (1998) - [c17]Michael Luck
, Mark d'Inverno:
Motivated Behavior for Goal Adoption. DAI 1998: 58-73 - [c16]Mark d'Inverno, David Kinny, Michael Luck
:
Interaction Protocols in Agentis. ICMAS 1998: 112-119 - 1997
- [j3]Mark d'Inverno, Mark Priestley, Michael Luck
:
Formal framework for hypertext systems. IEE Proc. Softw. Eng. 144(3): 175-184 (1997) - [j2]Mark d'Inverno, Michael Fisher
, Alessio Lomuscio
, Michael Luck
, Maarten de Rijke
, Mark Ryan
, Michael J. Wooldridge:
Formalisms for multi-agent systems. Knowl. Eng. Rev. 12(3): 315-321 (1997) - [c15]Mark d'Inverno, David Kinny, Michael Luck
, Michael J. Wooldridge:
A Formal Specification of dMARS. ATAL 1997: 155-176 - [c14]Mark d'Inverno, Michael Luck
:
Development and Application of a Formal Agent Framework. ICFEM 1997: 222-231 - [c13]Mark d'Inverno, Michael Luck, Michael J. Wooldridge:
Cooperation Structures. IJCAI (1) 1997: 600-605 - [c12]Mark d'Inverno, Michael J. Hu:
A Z Specification of the Soft-Link Hypertext Model. ZUM 1997: 297-316 - 1996
- [j1]Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells:
A Formal Framework For Specifying Design Methods. Softw. Process. Improv. Pract. 2(3): 181-196 (1996) - [c11]Michael Luck, Nathan Griffiths, Mark d'Inverno:
From Agent Theory to Agent Construction: A Case Study. ATAL 1996: 49-63 - [c10]Mark d'Inverno, Michael Luck
:
Making and Breaking Engagements: An Operational Analysis of Agent Relationships. DAI 1996: 48-62 - [c9]Mark d'Inverno, Michael Luck:
Understanding Autonomous Interaction. ECAI 1996: 529-533 - [c8]Mark d'Inverno, George R. Ribeiro-Justo, Paul Howells:
A Formal Framework for Specifying Design Methods. HICSS (1) 1996: 741- - [c7]Mark d'Inverno, Michael Luck
:
Formalising the Contract Net as a Goal-Directed System. MAAMAW 1996: 72-85 - 1995
- [c6]Michael Luck
, Mark d'Inverno:
Engagement and Cooperating in Motivated Agent Modelling. DAI 1995: 70-84 - [c5]Mark d'Inverno, Michael Luck
:
A Formal View of Social Dependence Networks. DAI 1995: 115-129 - [c4]Michael Luck, Mark d'Inverno:
A Formal Framework for Agency and Autonomy. ICMAS 1995: 254-260 - [c3]Michael Luck
, Mark d'Inverno:
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. ZUM 1995: 47-62 - [c2]Mark d'Inverno, Mark Priestley:
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems. ZUM 1995: 83-102 - 1991
- [c1]Mark d'Inverno, Jon Crowcroft:
Specification, Design and Implementation of an Interactive Conferencing System. INFOCOM 1991: 1114-1126
Coauthor Index
aka: Matthew John Yee-King
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint