Annotating cooperative plans with trusted agents

Specifying termination in CSP
Howells, P. and d'Inverno, M. 2013. Specifying termination in CSP. Theoretical Computer Science. 503, pp. 31-60. https://doi.org/10.1016/j.tcs.2013.05.008

Successful termination in timed CSP
Howells, P. and d'Inverno, M. 2013. Successful termination in timed CSP. Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 21-38

Specifying and analysing networks of processes in CSPt (or in search of associativity)
Howells, P. and d'Inverno, M. 2013. Specifying and analysing networks of processes in CSPt (or in search of associativity). Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 157-184

A CSP model with flexible parallel termination semantics
Howells, P. and d'Inverno, M. 2009. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing. 21 (5), pp. 421-449. https://doi.org/10.1007/s00165-008-0098-z

Agent-based modeling of stem cells
d'Inverno, M., Howells, P., Montagna, S., Roeder, I. and Saunders, R. 2009. Agent-based modeling of stem cells. in: Uhrmacher, A.M. and Weyns, D. (ed.) Multi-agent systems: simulation and applications Boca Raton CRC Press, Taylor & Francis. pp. 389-422

Transdisciplinary collaboration in "Cell"
Prophet, J. and d'Inverno, M. 2006. Transdisciplinary collaboration in "Cell". in: Fishwick, P.A. (ed.) Aesthetic computing Massachusetts, USA MIT Press. pp. 185-196

Responsive and generative music for public installations
d'Inverno, M., Eacott, J. and Olofsson, F. 2005. Responsive and generative music for public installations. Agentlink News. 19, pp. 5-6.

From SMART to agent systems development
Ashri, R., Luck, M. and d'Inverno, M. 2005. From SMART to agent systems development. Engineering Applications of Artificial Intelligence. 18 (2), pp. 129-140. https://doi.org/10.1016/j.engappai.2004.11.013

Agent-based modelling of stem cell self-organisation in a niche
d'Inverno, M. and Saunders, R. 2005. Agent-based modelling of stem cell self-organisation in a niche. in: Brueckner, S.A., Serugendo, G.D.M., Karageorgos, A. and Nagpal, R. (ed.) Engineering self-organising systems: methodologies and applications Berlin, Germany Springer.

Multidisciplinary Investigation into adult stem cell behavior
d'Inverno, M. and Prophet, J. 2005. Multidisciplinary Investigation into adult stem cell behavior. in: Priami, C., Merelli, E., Gonzalez, P. and Omicini, A. (ed.) Transactions on computational systems biology III Berlin, Germany Springer.

Mathematical modelling of stem cells
Theise, N.D., d'Inverno, M. and Prophet, J. 2005. Mathematical modelling of stem cells. in: Potten, C.S., Clarke, R.B., Renehan, A.G. and Wilson, J. (ed.) Tissue stem cells London, UK Taylor & Francis.

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

Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence
d'Inverno, M. and Prophet, J. 2004. Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence. in: Edmonds, E. and Gibson, R. (ed.) Interaction: systems, theory and practice Creativity and Cognition Studios. pp. 251-270

The dMARS architechure: a specification of the distributed multi-agent reasoning system
d'Inverno, M., Luck, M., Georgeff, M., Kinny, D. and Wooldridge, M. 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.

Motivation-based selection of negotiation partners
Munroe, S., Luck, M. and d'Inverno, M. 2004. Motivation-based selection of negotiation partners. in: 3rd International Joint Conference on Autonomous Agents and MultiAgent Systems: AAMAS2004 USA IEEE . pp. 1520-1521

The intelligent street: responsive sound environments for social interaction
Lörstad, H., d'Inverno, M. and Eacott, J. 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.

Agent-based software development
Luck, M., Ashri, R. and d'Inverno, M. 2004. Agent-based software development. London, UK Artech House.

Normative agent reasoning in dynamic societies
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2004. Normative agent reasoning in dynamic societies. in: 3rd International Conference on Autonomous Agents and Multi-agent Systems: AAMAS2004 USA IEEE . pp. 732-739

A typology of relationships and goals for regulation and coordination
Ashri, R., Luck, M. and d'Inverno, M. 2004. A typology of relationships and goals for regulation and coordination. ECAI Workshop in Coordination in Emerging Agent Societies. Valencia, Spain 22-27 Aug 2004

Embedded intelligent music - or iHiFi the intelligent HiFi
Eacott, J. and d'Inverno, M. 2003. Embedded intelligent music - or iHiFi the intelligent HiFi. Digital Creativity. 14 (2), pp. 67-73. https://doi.org/10.1076/digc.14.2.67.27858

On identifying and managing relationships in multi-agent systems
d'Inverno, M., Luck, M. and Ashri, R. 2003. On identifying and managing relationships in multi-agent systems. Eighteenth International Joint Conference on Artificial Intelligence. Acapulco, Mexico 09-15 Aug 2003

Towards motivation-based decisions for worth goals
Munroe, S., Luck, M. and d'Inverno, M. 2003. Towards motivation-based decisions for worth goals. in: Marik, V., Muller, J. and Pchouek, M. (ed.) 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 London, UK Springer.

Towards a motivation-based approach for evaluating goals
Munroe, S., Luck, M. and d'Inverno, M. 2003. Towards a motivation-based approach for evaluating goals. in: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems New York, USA ACM. pp. 1074-1075

Autonomy: variable and generative
Luck, M., d'Inverno, M. and Munroe, S. 2003. Autonomy: variable and generative. in: Hexmoor, H., Castelfranchi, C. and Falcone, R. (ed.) Agent autonomy: multiagent systems, artificial societies, and simulated organizations London, UK Kluwer.

Intelligent Street
Eacott, J., Lörstad, H., d'Inverno, M., Olofsson, F. and Rougier, F. 2003. Intelligent Street.

Unifying agent systems
Luck, M. and d'Inverno, M. 2003. Unifying agent systems. Annals of Mathematics and Artificial Intelligence. 37 (1-2), pp. 131-167. https://doi.org/10.1023/A:1020273205131

Practical and theoretical innovations in multi-agent systems research
d'Inverno, M. and Luck, M. 2002. Practical and theoretical innovations in multi-agent systems research. Knowledge Engineering Review. 17 (3), pp. 295-301. https://doi.org/10.1017/S0269888902000504

Soft-link hypertext for information retrieval
d'Inverno, M., Howells, P., Hu, M. and Luck, M. 2002. Soft-link hypertext for information retrieval. Information and Software Technology. 44 (2), pp. 101-112. https://doi.org/10.1016/S0950-5849(01)00221-X

Constraining autonomy through norms
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2002. Constraining autonomy through norms. in: Castelfranchi, C. (ed.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: July 15-19, 2002, Plazzo re Enzo, Bologna, Italy New York, USA ACM. pp. 674-681

Infrastructure support for agent-based development
Ashri, R., Luck, M. and d'Inverno, M. 2002. Infrastructure support for agent-based development. in: d'Inverno, M., Luck, M., Fisher, M. and Preist, C. (ed.) Foundations and applications of multi-agent systems: UKMAS Workshops 1996-2000 Berlin, Germany Springer.

Learning in multi-agent systems
Alonso, E., d'Inverno, M., Kudenko, D., Luck, M. and Noble, J. 2001. Learning in multi-agent systems. Knowledge Engineering Review. 16 (3), pp. 277-284. https://doi.org/10.1017/S0269888901000170

Understanding agent systems
d'Inverno, M. and Luck, M. 2001. Understanding agent systems. London, UK Springer.

Formal framework development: framework to system
d'Inverno, M. and Luck, M. 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 London, UK Springer.

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

Plan analysis for autonomous sociological agents
Luck, M. and d'Inverno, M. 2001. Plan analysis for autonomous sociological agents. in: Castelfranchi, C. and Lesperance, Y. (ed.) Intelligent agents VII: agent theories architectures and languages New York, USA Springer.

Autonomy: a nice idea in theory
Luck, M. and d'Inverno, M. 2001. Autonomy: a nice idea in theory. in: Castelfranchi, C. and Lesperance, Y. (ed.) Intelligent agents VII: agent theories architectures and languages New York, USA Springer.

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