Logo
Logo

Goldsmiths - University of London

Browse by Goldsmiths authors: d'Inverno, Mark

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 144.

Article

[img]
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, ISSN 2192-4880 [Article] (In Press)

[img]
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]

[img]
Preview
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), pp. 30-45. ISSN 2160-6455 [Article]

[img]
Preview
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]

[img]
Preview
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]

Howells, Paul and d'Inverno, Mark. 2013. Specifying Termination in CSP. Theoretical Computer Science, 503, pp. 31-60. ISSN 0304-3975 [Article]

Paul, Howells and d'Inverno, Mark. 2013. Flexible termination semantics. Theoretical Computer Science, 503, pp. 31-60. ISSN 0304-3975 [Article]

[img]
Preview
d'Inverno, Mark and Luck, Michael. 2012. Creativity through autonomy and interaction. Cognitive Computation, 4(3), pp. 332-346. ISSN 1866-9956 [Article]

[img]
Preview
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]

Fields, Ben; Jacobson, Kurt; Rhodes, Christophe; d'Inverno, Mark; Sandler, Mark and Casey, Michael A.. 2011. Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery. IEEE Transactions on Multimedia, 13(4), pp. 674-686. ISSN 1520-9210 [Article]

Rhodes, Christophe; Crawford, Tim; Casey, Michael A. and d'Inverno, Mark. 2010. Investigating music collections at different scales with AudioDB. Journal of New Music Research, 39(4), pp. 337-348. ISSN 0929-8215 [Article]

[img]
Preview
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]

Dixon, Simon; Sandler, Mark; d'Inverno, Mark and Rhodes, Christophe. 2010. Towards a Distributed Research Environment for Music Informatics and Computational Musicology. Journal of New Music Research, 39(4), pp. 291-294. ISSN 0929-8215 [Article]

Howells, Paul and d'Inverno, Mark. 2009. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing, 21(5), pp. 421-449. ISSN 0934-5043 [Article]

[img]
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

d'Inverno, Mark; Georgeff, M.; Kinny, D. and Luck, M.. 2004. The dMARS architecture. A specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems, 9(1/2), pp. 5-53. ISSN 13872532 [Article]

d'Inverno, Mark and Theise, Neil. 2004. Understanding cell lineages as complex adaptive systems. Blood Cells Molecules and Diseases, 32(1), pp. 17-20. ISSN 1079-9796 [Article]

Eacott, John and d'Inverno, Mark. 2003. Embedded intelligent music–or iHiFi the intelligent HiFi. Digital Creativity, 14(2), pp. 67-73. ISSN 1462-6268 [Article]

[img]
Preview
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]

d'Inverno, Mark; Luck, Michael and Ukmas, Ukmas. 2002. Practical and theoretical innovations in multi-agent systems research. The Knowledge Engineering Review, 17(3), pp. 295-301. ISSN 0269-8889 [Article]

d'Inverno, Mark; Howells, Paul; Hu, Michael and Luck, Michael. 2002. Soft-link hypertext for information retrieval. Information and Software Technology, 44(2), pp. 101-112. ISSN 0950-5849 [Article]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

Ribeiro Justo, G.R.; Howells, Paul and d'Inverno, Mark. 1999. Formalising high-performance systems methodologies. Journal of Systems Architecture, 45(6-7), pp. 441-464. ISSN 1383-7621 [Article]

[img]
Preview
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]

d'Inverno, Mark and Luck, Michael. 1998. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3), pp. 233-260. ISSN 0955-792X [Article]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

Book

[img]
Preview
Luck, Michael; Ashri, Ronald and d'Inverno, Mark. 2004. Agent-Based Software Development. Boston, Mass.: Artech House, pp. 1-226. ISBN 9781580536059 [Book]

[img]
Preview
d'Inverno, Mark and Luck, Michael. 2004. Understanding Agent Systems. Springer. ISBN 9783540407003 [Book]

[img]
Preview
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]

Book Section

Noriega, Pablo; Verhagen, Harko; d'Inverno, Mark and Padget, Julian. 2017. A Manifesto for Conscientious Design of Hybrid Online Social Systems. In: S. Cranefield; S. Mahmoud; J. Padget and A. Rocha, eds. Coordination, Organizations, Institutions, and Norms in Agent Systems XII. COIN 2016. 10315 Springer, Cham. ISBN 978-3-319-66594-8 [Book Section]

[img]
Preview
McCormack, Jon and d'Inverno, Mark. 2016. Designing improvisational interfaces. In: F. Pachet; A. Cardoso; V. Corruble and F. Ghedini, eds. Proceedings of the 7th Computational Creativity Conference (ICCC 2016). Paris: Universite Pierre et Marie Curie. [Book Section] (Forthcoming)

[img]
Preview
d'Inverno, Mark and McCormack, Jon. 2015. Heroic versus Collaborative AI for the Arts. In: Qiang Yang and Michael Wooldridge, eds. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California: AAAI Press, pp. 2438-2444. ISBN 978-1-57735-738-4 [Book Section]

Pachet, François; Roy, Pierre; Moreira, Julien and d'Inverno, Mark. 2013. Reflexive Loopers for Solo Music Improvisation. In: Wendy E. Mackay; Stephen Brewster and Susanne Bødker, eds. Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. 2205 New York: ACM, 2205 -2208. ISBN 9781450318990 [Book Section]

[img]
Preview
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]

[img]
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]

[img]
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]

[img]
Preview
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]

[img]
Preview
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]

d'Inverno, Mark and Prophet, Jane. 2010. Designing physical artefacts from computational simulations and building computational simulations of physical systems. In: , ed. Design for the 21st Century. Gower Publishing. ISBN 978-1-4094-0411-8 [Book Section]

d'Inverno, Mark; Howells, Paul; Montagna, Sara; Roeder, Ingo and Saunders, Rob. 2009. Agent-based modeling of stem cells. In: Adelinde Uhrmacher and Danny Weyns, eds. Multi-agent systems: simulation and applications. Boca Raton, FL: CRC Press, Taylor & Francis Group, pp. 389-422. ISBN 9781420070231 [Book Section]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

d'Inverno, Mark and Prophet, Jane. 2006. Multidisciplinary Investigation into Adult Stem Cell Behaviour. In: , ed. Computer Science and Bioinformatics: Multidisciplinary Models, Metaphors and Tools. Berlin, Germany: Springer Berlin Heidelberg, pp. 49-64. ISBN 9783540308836 [Book Section]

Prophet, Jane and d'Inverno, Mark. 2006. Transdisciplinary Research in CELL. In: , ed. Aesthetic Computing. -: MIT Press. ISBN 9780262562379 [Book Section]

[img]
Preview
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]

[img]
Preview
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]

[img]
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]

Munroe, Steve; Luck, Michael and d'Inverno, Mark. 2004. Negotiation-Based Partner Selection. In: , ed. Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems. UNSPECIFIED, pp. 1520-1521. [Book Section]

[img]
Preview
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]

[img]
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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 and Luck, Michael. 2000. Autonomy - A Nice Idea in Theory. In: , ed. Proceedings of the Seventh International Workshop On Agent Theories, Architectures and Languages. Boston: UNSPECIFIED. [Book Section]

[img]
Preview
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]

[img]
Preview
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]

d'Inverno, Mark and Luck, Michael. 1999. Agent Models and Plans. In: , ed. Agent Models and Plans. -: Springer Hungarica, pp. 44-58. ISBN - [Book Section]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

Campbell, John A. and d'Inverno, Mark. 1990. Knowledge interchange protocols. In: Yves Demazeau and Jean-Pierre Müller, eds. Decentralized AI: Proceedings of the First European Workshop on Modeling Autonomous Agents in a Multi-Agent World. Amsterdam, Netherlands: North-Holland, pp. 63-80. ISBN 9780444887054 [Book Section]

Crowcroft, J and d'Inverno, Mark. Languages and Formal Methods. In: J Crowcroft, ed. Open Distributed Systems. UCL Press.. [Book Section]

Composition

[img] [img]
Preview
d'Inverno, Mark. 2013. Prosecco. [Composition]

[img]
Preview
[img]
Preview
d'Inverno, Mark. 2012. Now make a wish. [Composition]

[img] [img]
Preview
d'Inverno, Mark. 2012. Why not. [Composition]

Conference or Workshop Item

[img] [img]
Preview
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]

[img]
Preview
Still, Arthur and d'Inverno, Mark. 2016. 'A history of creativity for future AI research'. In: UNSPECIFIED. UNDEFINED. [Conference or Workshop Item]

[img]
Preview
Yee-King, Matthew and d'Inverno, Mark. 2016. 'Experience driven design of creative systems'. In: UNSPECIFIED. UNDEFINED. [Conference or Workshop Item] (Forthcoming)

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
[img]
Preview
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] (Submitted)

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
Howells, Paul and d'Inverno, Mark. 2013. 'Successful Termination in Timed CSP'. In: Communicating Process Architectures 2013. Edinburgh. [Conference or Workshop Item]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

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: The 9th International Conference on Modeling Decisions for Artificial Intelligence. Girona, Spain 21 -23 November 2012. [Conference or Workshop Item]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

d'Inverno, Mark; Eacott, John and Olofsson, Fredrik. 2005. 'Towards Intelligent Responsive Sound'. In: Towards Intelligent Responsive Sound, EVA Conference. University College London. London, United Kingdom. [Conference or Workshop Item]

[img]
Preview
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]

Lörstad, Henrik; d'Inverno, Mark and Eacott, John. 2004. 'The intelligent street: responsive sound environments for social interaction'. In: 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology. Singapore, Singapore 3 - 5 June 2004. [Conference or Workshop Item]

[img]
Preview
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]

[img]
Preview
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]

[img]
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]

[img]
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

[img]
Preview
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]

Edited Book

[img]
Preview
d'Inverno, Mark and McCormack, John, eds. 2012. Computers and Creativity. UK: Springer. ISBN 978-3-642-31727-9 [Edited Book]

Film/Video

Project

Report

[img]
Preview
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]

Thesis

d'Inverno, Mark. 1998. Agents, Agency and Autonomy: A Formal Computational Model. Doctoral thesis, Department of Computer Science, University College London [Thesis]

Other

[img]
Preview
d'Inverno, Mark and Hill, Elisabeth L.. 2014. Goldsmiths Statement on Open Access. Goldsmiths, University of London. [Other]

This list was generated on Mon Nov 20 23:31:31 2017 GMT.