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.

Alonso, E

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

Ashri, R

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)

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

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, J

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

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.

Griffiths, N

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)

Howells, P

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

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.

Lopez y Lopez, F

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)

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

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

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)

Luck, M

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

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

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

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

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

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

Lörstad, H

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

Munroe, S

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

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

Prophet, J

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

Theise, N

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

d'Inverno, M

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

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

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)

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

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

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

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

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

This list was generated on Wed Sep 3 10:04:48 2014 BST.