WestminsterResearch

Items where Author is d'Inverno, Mark

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Number of items: 39.

Article

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

Luck, Michael and d'Inverno, Mark (2001) A conceptual framework for agent definition and development. Computer Journal, 44 (1). pp. 1-20. ISSN 0010-1620

Alonso, Eduardo and d'Inverno, Mark and Kudenko, Daniel and Luck, Michael and Noble, Jason (2001) Learning in multi-agent systems. Knowledge Engineering Review, 16 (3). pp. 277-284. ISSN 0269-8889

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

d'Inverno, Mark and Luck, Michael and Georgeff, M. and Kinny, D. and Wooldridge, Michael (2004) The dMARS architechure: a specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems, 9 (1-2). pp. 5-53. ISSN 1387-2532

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

Ashri, Ronald and 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

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

d'Inverno, Mark and Eacott, John and Olofsson, Fredrik (2005) Responsive and generative music for public installations. Agentlink News, 19 . pp. 5-6. ISSN 1465-3842

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

Howells, Paul and d'Inverno, Mark (2013) Specifying termination in CSP. Theoretical Computer Science, 503 . pp. 31-60. ISSN 0304-3975

Book

Luck, Michael and Ashri, Ronald and d'Inverno, Mark (2004) Agent-based software development. Agent-oriented systems . Artech House, London, UK. ISBN 1580536050

d'Inverno, Mark and Luck, Michael and Fisher, Michael and Priest, C., eds. (2002) Foundations and applications of multi-agent systems: UKMAS Workshops 1996-2000. Lecture notes in computer science, 2403 . Springer, London, UK. ISBN 3540439625

d'Inverno, Mark and Luck, Michael (2001) Understanding agent systems. Springer series on agent technology . Springer, London, UK. ISBN 3540419756

Book Section

Luck, Michael and d'Inverno, Mark (2001) Autonomy: a nice idea in theory. In: Castelfranchi, Cristiano and Lesperance, Yves, (eds.) Intelligent agents VII: agent theories architectures and languages. Lecture notes in computer science: lecture notes in artificial intelligence (1986). Springer, New York, USA, pp. 351-353. ISBN 3540424229

Lopez y Lopez, Fabiola and Luck, Michael and d'Inverno, Mark (2002) Constraining autonomy through norms. In: Castelfranchi, Cristiano, (ed.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: July 15-19, 2002, Plazzo re Enzo, Bologna, Italy. ACM Press, New York, USA, pp. 674-681. ISBN 1581134800

d'Inverno, Mark and Luck, Michael (2001) Formal framework development: framework to system. In: Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000. Lecture notes in artificial intelligence (1871). Springer, London, UK, pp. 133-147. ISBN 3540427163

Lopez y Lopez, Fabiola and Luck, Michael and d'Inverno, Mark (2004) Normative agent reasoning in dynamic societies. In: 3rd International Conference on Autonomous Agents and Multi-agent Systems: AAMAS2004. IEEE Computer Society, USA, pp. 732-739. ISBN 0769520928

Munroe, Steve and Luck, Michael and d'Inverno, Mark (2004) Motivation-based selection of negotiation partners. In: 3rd International Joint Conference on Autonomous Agents and MultiAgent Systems: AAMAS2004. IEEE Computer Press, USA, pp. 1520-1521. ISBN 0769520928

Luck, Michael and d'Inverno, Mark (2001) Plan analysis for autonomous sociological agents. In: Castelfranchi, Cristiano and Lesperance, Yves, (eds.) Intelligent agents VII: agent theories architectures and languages. Lecture notes in computer science: lecture notes in artificial intelligence (1986). Springer, New York, USA, pp. 182-197. ISBN 3540424229

Munroe, Steve and Luck, Michael and d'Inverno, Mark (2003) Towards a motivation-based approach for evaluating goals. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems. ACM Press, New York, USA, pp. 1074-1075. ISBN 1581136838

Munroe, Steve and Luck, Michael and d'Inverno, Mark (2003) Towards motivation-based decisions for worth goals. In: Marik, V. and Muller, J. and Pchouek, M., (eds.) Multi-agent systems and application III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003. Lecture notes in computer science (2691). Springer, London, UK, pp. 17-28. ISBN 3540404503

Luck, Michael and d'Inverno, Mark and Munroe, Steve (2003) Autonomy: variable and generative. In: Hexmoor, Henry and Castelfranchi, Cristiano and Falcone, Rino, (eds.) Agent autonomy: multiagent systems, artificial societies, and simulated organizations. Kluwer, London, UK, pp. 9-22. ISBN 1402074026

Ashri, Ronald and Luck, Michael and d'Inverno, Mark (2002) Infrastructure support for agent-based development. In: d'Inverno, Mark and Luck, Michael and Fisher, Michael and Preist, C., (eds.) Foundations and applications of multi-agent systems: UKMAS Workshops 1996-2000. Lecture notes in computer science (2403). Springer, Berlin, Germany, pp. 73-88. ISBN 3540439625

Prophet, Jane and d'Inverno, Mark (2006) Transdisciplinary collaboration in "Cell". In: Fishwick, Paul A., (ed.) Aesthetic computing. Leonardo . MIT Press, Massachusetts, USA, pp. 185-196. ISBN 026206250X

d'Inverno, Mark and Prophet, Jane (2004) Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence. In: Edmonds, Ernest and Gibson, Ross, (eds.) Interaction: systems, theory and practice. Creativity and Cognition Studios, pp. 251-270. ISBN 0975153315

d'Inverno, Mark and Saunders, Rob (2005) Agent-based modelling of stem cell self-organisation in a niche. In: Brueckner, Sven A. and Serugendo, Giovanna Di Marzo and Karageorgos, Anthony and Nagpal, Radhika, (eds.) Engineering self-organising systems: methodologies and applications. Lecture Notes in Computer Science (3464). Springer, Berlin, Germany, pp. 52-68. ISBN 354026180X

d'Inverno, Mark and Prophet, Jane (2005) Multidisciplinary Investigation into adult stem cell behavior. In: Priami, Corrado and Merelli, Emanuela and Gonzalez, Pablo and Omicini, Andrea, (eds.) Transactions on computational systems biology III. Lecture notes in computer science (3737). Springer, Berlin, Germany, pp. 49-64. ISBN 3540308830

Theise, N.D. and d'Inverno, Mark and Prophet, Jane (2005) Mathematical modelling of stem cells. In: Potten, Christopher S. and Clarke, Robert B. and Renehan, Andrew G. and Wilson, James, (eds.) Tissue stem cells. Taylor & Francis, London, UK. ISBN 0824728998

Lörstad, Henrik and d'Inverno, Mark and Eacott, John (2004) The intelligent street: responsive sound environments for social interaction. In: Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology. ACM International Conference Proceeding Series (Vol 74). ACM, pp. 155-162. ISBN 1581138822

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

Conference or Workshop Item

Lopez y Lopez, Fabiola and Lopez, Y. and d'Inverno, Mark and Luck, Michael (2001) A framework for norm-based inter-agent dependence. In: 3rd Mexican International Conference on Computer Science (SMCC-INEGI, 2001), 15-19 Sep 2001, Aguascalientes, Mexico. (Submitted)

Ashri, Ronald and 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, 22-27 Aug 2004, Valencia, Spain. (Submitted)

Griffiths, N. and Luck, Michael and d'Inverno, Mark (2002) Annotating cooperative plans with trusted agents. In: 5th International Workshop on Deception, Fraud and Trust in Agent Societies, 15 Jul 2002, Bologna, Italy. (Submitted)

d'Inverno, Mark and Luck, Michael and Ashri, Ronald (2003) On identifying and managing relationships in multi-agent systems. In: Eighteenth International Joint Conference on Artificial Intelligence, 09-15 Aug 2003, Acapulco, Mexico. (Submitted)

Lopez y Lopez, Fabiola and Luck, Michael and d'Inverno, Mark (2005) A normative framework for agent-based systems. In: 1st International Symposium on Normative Multiagent Systems (NorMAS2005), 12-15 Apr 2005, Hatfield, UK. (Submitted)

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, 25 - 28 Aug 2013, Edinburgh Napier University, Edinburgh.

Howells, Paul and d'Inverno, Mark (2013) Successful termination in timed CSP. In: Communicating Process Architectures 2013, 25 - 28 Aug 2013, Edinburgh Napier University, Edinburgh.

Show/Exhibition

Eacott, John and Lörstad, Henrik and d'Inverno, Mark and Olofsson, Fredrik and Rougier, Fergus (2003) Intelligent Street. , 05 - 26 Nov 2003, University of Westminster, Harrow Campus.

This list was generated on Tue Dec 23 01:01:10 2014 GMT.