Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Divisions: Agents and Intelligent Systems Section

Number of items at this level: 268.

Nunes, Ingrid and Chen, Yuhui and Miles, Simon and Luck, Michael and Lucena, Carlos (2012) Transparent Provenance Derivation for User Decisions. In: Fourth International Provenance and Annotation Workshop (IPAW'12), June 2012, Santa Barbara, US. (In Press)

Tyson, Gareth and Mauthe, Andreas and Kaune, Sebastian and Grace, Paul and Plagemann, Thomas and Taweel, Adel (2012) Juno: A Middleware Platform for Supporting Delivery-Centric Applications. ACM Transactions on Internet Technology . ISSN 1533-5399 (Submitted)

Tyson, Gareth and Mauthe, Andreas and Kaune, Sebastian and Grace, Paul and Plagemann, Thomas (2012) Juno: An Adaptive Delivery-Centric Middleware. In: 4th Intl. Workshop on Future Media Networking (FMN), Las Vegas, NV.

Groth, Paul and Gil, Yolanda and Cheney, James and Miles, Simon (2012) Requirements for Provenance on the Web. International Journal of Digital Curation, 7 (1). pp. 39-56. ISSN 1746-8256

Fagundes, Moser and Ossowski, Sascha and Luck, Michael and Miles, Simon (2012) Using Normative Markov Decision Processes for Evaluating Electronic Contracts: A Case Study in a Simulated Aerospace Aftermarket. AI Communications, 25 (1). pp. 1-17. ISSN 0921-7126

Miles, Simon and Groth, Paul and Munroe, Steve and Moreau, Luc (2011) PrIMe: A Methodology for Developing Provenance-Aware Applications. ACM Transactions on Software Engineering and Methodology, 20 (3). pp. 1-42.

Tyson, Gareth and Taweel, Adel and Miles, Simon and Luck, Michael and Van Staa, Tjeerd and Delaney, Brendan (2011) An Agent-Based Approach to Real-Time Patient Identification for Clinical Trials. Proc. 4th Intl. Conference on eHealth, Malaga, Spain (2011) .

Cirilo, Elder and Nunes, Ingrid and Kulesza, Uirá and Lucena, Carlos (2011) Automating the product derivation process of multi-agent systems product lines. Journal of Systems and Software . ISSN 0164-1212 (In Press)

Nunes, Ingrid and J.P. de Lucena, Carlos and Luck, Michael (2011) BDI4JADE: a BDI layer on top of JADE. In: Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011), May 2011, Taipei, Taiwan.

Nunes, Ingrid and Barbosa, Simone and Luck, Michael and Lucena, Carlos (2011) Dynamically Adapting BDI Agent Architectures based on High-level User Specifications. In: The 12th International Workshop on Agent-Oriented Software Engineering (AOSE 2011), May 2011, Taipei, Taiwan.

Barakat, Lina and Miles, Simon and Poernomo, Iman and Luck, Michael (2011) Efficient Multi-Granularity Service Composition. In: ICWS 2011: IEEE International Conference on Web Services, 4-9 July 2011, Washington, DC .

Oren, Nir and Miles, Simon and Luck, Michael (2010) A Model of Normative Power. In: Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2010), 10th-14th May, Toronto, Canada.

Miles, Simon (2010) Automatically Adapting Source Code to Document Provenance. In: Third International Provenance and Annotation Workshop (IPAW 2010), June 2010, Troy, US.

Miles, Simon (2010) Mapping Attribution Metadata to the Open Provenance Model. Future Generation Computer Systems . ISSN 0167-739X (In Press)

Moreau, Luc and Clifford, Ben and Freire, Juliana and Futrelle, Joe and Gil, Yolanda and Groth, Paul and Kwasnikowska, Natalia and Miles, Simon and Missier, Paolo and Myers, Jim and Simmhan, Yogesh L. and Stephan, Eric and Van den Bussche, Jan (2010) The Open Provenance Model Core Specification (v1.1). Future Generation Computer Systems . ISSN 0167-739X (In Press)

Groth, Paul and Miles, Simon and Modgil, Sanjay and Oren, Nir and Luck, Michael and Gil, Yolanda (2009) Determining the Trustworthiness of New Electronic Contracts. In: Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings. Lecture Notes in Computer Science (5881). Springer, pp. 132-147.

Meneguzzi, Felipe and Modgil, Sanjay and Oren, Nir and Miles, Simon and Luck, Michael and Holt, Camden and Smith, Malcolm (2009) A contract-based system for aerospace aftercare. In: 1st International Conference on Digital Business (DigiBiz 2009), May 2009, London, UK. (Unpublished)

Modgil, Sanjay and Faci, Nora and Meneguzzi, Felipe and Oren, Nir and Miles, Simon and Luck, Michael (2009) A Framework for Monitoring Agent-Based Normative Systems. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). IFAAMAS, pp. 153-160. ISBN 978-0-9817381-6-1

Meneguzzi, Felipe and Modgil, Sanjay and Oren, Nir and Miles, Simon and Luck, Michael and Faci, Nora and Holt, Camden and Smith, Malcolm (2009) Monitoring and Explanation of Contract Execution: A Case Study in the Aerospace Domain. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009): Industry Track. IFAAMAS, pp. 77-84.

Groth, Paul and Miles, Simon and Moreau, Luc (2009) A Model of Process Documentation to Determine Provenance in Mash-ups. ACM Transactions on Internet Technology, 9 (1). pp. 1-31. ISSN 1533-5399

Modgil, Sanjay and Faci, Nora and Meneguzzi, Felipe and Oren, Nir and Miles, Simon and Luck, Michael (2009) A Framework for Monitoring Agent-Based Normative Systems. In: The Eighth International Conference on Autonomous Agents and Multiagent Systems, 10-15 May, 2009, Budapest, Hungary.

Jacyno, Mariusz and Bullock, Seth and Luck, Michael and Payne, Terry (2009) Emergent Service Provisioning and Demand Estimation through Self-Organizing Agent Communities. In: the Eighth International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary.

Nguyen, Cu D. and Perini, Anna and Tonella, Paolo and Miles, Simon and Harman, Mark and Luck, Michael (2009) Evolutionary Testing of Autonomous Software Agents. In: The Eighth International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary.

Meneguzzi, Felipe and Luck, Michael (2009) Norm-based behaviour modification in BDI agents. In: Eighth International Conference on Autonomous Agents and Multiagent Systems, Budapest, Hungary.

Jakob, Michal and Pechoucek, Michal and Miles, Simon and Luck, Michael and Chabera, Jiri and Oren, Nir and Kollingbaum, Martin and Holt, Camden and Vazquez, Javier and Storms, Patrick and Dehn, Martin (2008) Case studies for contract-based systems. In: Seventh International Conference on Autonomous Agents and Multiagent Systems, Estoril, Portugal.

Moreau, Luc and Ludaescher, Bertram and Altintas, Ilkay and Barga, Roger S. and Bowers, Shawn and Chin, George and Cohen, Shirley and Cohen-Boulakia, Sarah and Clifford, Ben and Davidson, Susan and Deelman, Ewa and Digiampietri, Luciano and Foster, Ian and Freire, Juliana and Frew, James and Futrelle, Joe and Gibson, Tara and Gil, Yolanda and Goble, Carole and Golbeck, Jennifer and Groth, Paul and Holland, David A. and Jiang, Sheng and Kim, Jihie and Krenek, Ales and McPhillips, Timothy and Mehta, Gaurang and Miles, Simon and Metzger, Dominic and Munroe, Steve and Myers, Jim and Plale, Beth and Podhorszki, Norbert and Ratnakar, Varun and Schuchardt, Karen and Seltzer, Margo and Simmhan, Yogesh L. and Slaughter, Peter and Stephan, Eric and Stevens, Robert and Turi, Daniele and Wilde, Mike and Zhao, Jun and Zhao, Yong (2008) The First Provenance Challenge. Concurrency and Computation: Practice and Experience, 20 (5). pp. 409-418.

Miles, Simon and Groth, Paul and Luck, Michael (2008) Handling Mitigating Circumstances for Electronic Contracts. In: AISB 2008 Symposium on Behaviour Regulation in Multi-agent Systems, 1-2 Apr 2008, Aberdeen, UK.

Miles, Simon and Oren, Nir and Luck, Michael and Modgil, Sanjay and Faci, Nora and Holt, Camden and Vickers, Gary (2008) Modelling and Administration of Contract-Based Systems. In: AISB 2008 Symposium on Behaviour Regulation in Multi-agent Systems, 1-2 Apr 2008, Aberdeen, UK.

Oren, Nir and Luck, Michael and Miles, Simon and Norman, Timothy J. (2008) An Argumentation Inspired Heuristic for Resolving Normative Conflict. In: Proceedings of the Fifth International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems.

Modgil, Sanjay and Luck, Michael (2008) Argumentation based Resolution of Conflicts Between Desires and Normative Goals. In: Proceedings of the Fifth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2008), Estoril, Portugal.

Luck, Michael and McBurney, Peter (2008) Computing as Interaction: Agent and Agreement Technologies. In: Proceedings of the IEEE SMC Conference on Distributed Human-Machine Systems. UNSPECIFIED, pp. 1-6.

Meneguzzi, Felipe and Miles, Simon and Luck, Michael and Holt, Camden and Smith, Malcolm and Oren, Nir and Faci, Nora and Modgil, Sanjay and Kollingbaum, Martin (2008) Electronic contracting in aircraft aftercare: A case study. In: Seventh International Conference on Autonomous Agents and Multiagent Systems.

Meneguzzi, Felipe Rech (2008) Extending Agent Languages for Autonomy. In: Sixth International Joint Conference on Autonomous Agents and Multiagent Systems.

Meneguzzi, Felipe and Luck, Michael (2008) Interaction among agents that plan. In: Sixth International Workshop: From Agent Theory to Agent Implementation.

Meneguzzi, Felipe and Luck, Michael (2008) Leveraging new plans in AgentSpeak(PL). In: Sixth Workshop on Declarative Agent Languages.

Miles, Simon and Groth, Paul and Deelman, Ewa and Vahi, Karan and Mehta, Gaurang and Moreau, Luc (2008) Provenance: The Bridge Between Experiments and Data. Computing in Science and Engineering, 10 (3). pp. 38-46.

McKean, Jez and Shorter, Hayden and Luck, Michael and McBurney, Peter and Willmott, Steven (2008) Technology diffusion: analysing the diffusion of agent technologies. Autonomous Agents and Multi-Agent Systems . ISSN 1387-2532 (Print) 1573-7454 (Online)

Jones, Andrew J. I. and Kimbrough, Steven O. (2008) The normative aspect of signalling and the distinction between performative and constative. Journal of Applied Logic , 6 (2). pp. 218-228.

Oren, Nir and Panagiotidi, Sofia and Vazquez-Salceda, Javier and Modgil, Sanjay and Luck, Michael and Miles, Simon (2008) Towards a Formalisation of Electronic Contracting Environments. In: Proceedings of Coordination, Organization, Institutions and Norms in Agent Systems, the International Workshop at AAAI 2008, Chicago.

Faci, Noura and Modgil, Sanjay and Oren, Nir and Meneguzzi, Felipe and Miles, Simon and Luck, Michael (2008) Towards a Monitoring Framework for Agent-Based Contract Systems. In: Cooperative Information Agents XII: Proceedings of the 12th International Workshop. Lecture Notes in Computer Science (5180). Springer, pp. 292-305.

Miles, Simon and Munroe, Steve and Luck, Michael and Moreau, Luc (2007) Modelling the Provenance of Data in Autonomous Systems. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems, 14-18 May 2007, Honolulu, Hawai'i.

Jones, Andrew J. I. and Parent, Xavier (2007) A Convention-based Approach to Agent Communication Languages. Group Decision and Negotiation, 16 (2). pp. 101-141.

Miles, S. and Groth, P. and Munroe, S. and Luck, M. and Moreau, L. (2007) AgentPrIMe: Adapting MAS Designs to Build Confidence. In: Proceedings of the Eighth International Workshop on Agent Oriented Software Engineering.

Merelli, Emanuela and Armano, Giuliano and Cannata, Nicola and Corradini, Flavio and d'Inverno, Mark and Doms, Andreas and Lord, Phillip W. and Martin, Andrew and Milanesi, Luciano and Möller, Steffen and Schroeder, Michael and Luck, Michael (2007) Agents in bioinformatics, computational and systems biology. Briefings in Bioinformatics, 8 (1). pp. 45-59.

Meneguzzi, F. R. and Luck, M. (2007) Composing high-level plans for declarative agent programming. In: Proceedings of the Fifth International Workshop on Declarative Agent Languages and Technologies.

Miles, Simon and Deelman, Ewa and Groth, Paul and Vahi, Karan and Mehta, Gaurang and Moreau, Luc (2007) Connecting Scientific Data to Scientific Experiments with Provenance. In: Proceedings of the International eScience Conference 2007, December 2007, Bangalore, India. (In Press)

Gonzalez-Palacios, J. and Luck, M. (2007) Extending Gaia with Agent Design and Iterative Development. In: Proceedings of the Eighth International Workshop on Agent Oriented Software Engineering.

Miles, Simon and Groth, Paul and Munroe, Steve and Jiang, Sheng and Assandri, Thibaut and Moreau, Luc (2007) Extracting Causal Graphs from an Open Provenance Data Model. Concurrency and Computation: Practice and Experience, 20 (5). pp. 577-586.

Meneguzzi, F. R. and Zorzo, A. F. and Mora, M. Da Costa and Luck, M. (2007) Incorporating Planning into BDI Systems. Scalable Computing: Practice and Experience, 8 (1). pp. 15-28.

Espinoza, Fredrik and Roure, David De and Hamfors, Ola and Hinz, Lucas and Holmberg, Jesper and Jansson, Carl Gustaf and Jennings, Nick R. and Luck, Michael and Lönnqvist, Peter and Ramchurn, Gopal and Sandin, Anna and Thompson, Mark K. and Bylund, Markus (2007) Intrusiveness Management for Focused, Efficient, and Enjoyable Activities. In: The Disappearing Computer, Interaction Design, System Infrastructures and Applications for Smart Environments.

Schafer, B. and Keppens, J. (2007) Legal LEGO: Model based computer assisted teaching in evidence courses. Journal of Information, Law and Technology (1).

Meneguzzi, Felipe Rech and Luck, Michael (2007) Motivations as an Abstraction of Meta-level Reasoning. In: Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings.

Jones, Andrew J. I. and Parent, Xavier (2007) Normative-informational positions: a modal-logical approach. Artificial Intelligence and Law . (In Press)

Keppens, J. (2007) On Qualitative Probabilities for Legal Reasoning about Evidence. In: In Proceedings of the 21st International Workshop on Qualitative Reasoning, Aberystwyth, Wales.

Miles, Simon and Wong, Sylvia C. and Fang, Weijian and and, Paul Groth and Moreau, Luc (2007) Provenance-based Validation of E-Science Experiments. Journal of Web Semantics, 5 (1). pp. 28-38.

Wroe, Chris and Goble, Carole and Goderis, Antoon and Lord, Phillip and Miles, Simon and Papay, Juri and Alper, Pinar and Moreau, Luc (2007) Recycling workflows and services through discovery and reuse. Concurrency and Computation: Practice and Experience, 19 (2). pp. 181-194.

McBurney, Peter and Luck, Michael (2007) The Agents Are All Busy Doing Stuff! IEEE Intelligent Systems, 22 (4). pp. 6-7.

Teacy, W. T. L. and Huynh, T. D. and Dash, R. K. and Jennings, N. R. and Luck, M. and Patel, J. (2007) The ART of IAM: The Winning Strategy for the 2006 Competition. In: Proceedings of The 10th International Workshop on Trust in Agent Societies.

Moreau, Luc and Ludaescher, Bertram and Altintas, Ilkay and Barga, Roger S. and Bowers, Shawn and Chin, George and Cohen, Shirley and Cohen-Boulakia, Sarah and Clifford, Ben and Davidson, Susan and Deelman, Ewa and Digiampietri, Luciano and Foster, Ian and Freire, Juliana and Frew, James and Futrelle, Joe and Gibson, Tara and Gil, Yolanda and Goble, Carole and Golbeck, Jennifer and Groth, Paul and Holland, David A. and Jiang, Sheng and Kim, Jihie and Krenek, Ales and McPhillips, Timothy and Mehta, Gaurang and Miles, Simon and Metzger, Dominic and Munroe, Steve and Myers, Jim and Plale, Beth and Podhorszki, Norbert and Ratnakar, Varun and Schuchardt, Karen and Seltzer, Margo and Simmhan, Yogesh L. and Slaughter, Peter and Stephan, Eric and Stevens, Robert and Turi, Daniele and Wilde, Mike and Zhao, Jun and Zhao, Yong (2007) The First Provenance Challenge. Concurrency and Computation: Practice and Experience, 20 (5). pp. 400-418.

Moreau, Luc and Groth, Paul and Miles, Simon and Vazquez, Javier and Jiang, Sheng and Munroe, Steve and Rana, Omer and Schreiber, Andreas and Tan, Victor and Varga, Laszlo (2007) The Provenance of Electronic Data. Communications of the ACM, 51 (4). pp. 52-58.

Miles, Simon and Groth, Paul and Branco, Miguel and Moreau, Luc (2007) The Requirements of Using Provenance in e-Science Experiments. Journal of Grid Computing, 5 . pp. 1-25.

Gonzalez-Palacios, Jorge and Luck, Michael (2007) Towards Compliance of Agents in Open Multi-agent Systems. In: Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications. Lecture Notes in Computer Science, 4408 . Springer, pp. 132-147.

Keppens, J. (2007) Towards Qualitative Approaches to Bayesian Evidential Reasoning. In: In Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, USA.

Jacyno, M. and Bullock, S. and Luck, M. and Payne, T. (2007) Understanding decentralised control of resource allocation in a minimal multi-agent system. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems.

Kifor, Tamas and Varga, Laszlo Z. and Vazquez-Salceda, Javier and Alvarez, Sergio and Willmott, Steven and Miles, Simon and Moreau, Luc (2006) Provenance in Agent-mediated Healthcare Systems. IEEE Intelligent Systems, 21 (6). pp. 38-46.

Fang, Weijian and Wong, Sylvia C. and Tan, Victor and Miles, Simon and Moreau, Luc (2006) Performance Analysis of a Semantics Enabled Service Registry. Concurrency and Computation: Practice and Experience .

Miles, Simon (2006) Agent-Oriented Data Curation in Bioinformatics. International Transactions on Systems Science and Applications, 1 (1). pp. 43-50.

Project, EU Provenance (2006) Provenance for Grid Applications. CoreGRID Newsletter, 6 .

López y López, Fabiola and Luck, Michael and d'Inverno, Mark (2006) A normative framework for agent-based systems. Computational & Mathematical Organization Theory, 12 (2--3). pp. 227-250.

Shen, Q. and Keppens, J. and Aitken, C. and Schafer, B. and Lee, M. (2006) A scenario-driven decision support system for serious crime investigation. Law, Probability and Risk, 5 (2). pp. 87-117.

Rodrigues, Ma'ira Ribeiro and Luck, Michael (2006) Analysing Partner Selection Through Exchange Values. In: Multi-Agent-Based Simulation VI, International Workshop, MABS 2005.

Belecheanu, Roxana A. and Munroe, Steve and Luck, Michael and Payne, Terry and Miller, Tim and McBurney, Peter and Pechoucek, Michal (2006) Commercial applications of agents: lessons, experiences and challenges. In: AAMAS '06: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems.

Patel, Jigar and Teacy, W. T. Luke and Jennings, Nicholas R. and Luck, Michael and Chalmers, Stuart and Oren, Nir and Norman, Timothy J. and Preece, Alun and Gray, Peter M. D. and Shercliff, Gareth and Stockreisser, Patrick J. and Shao, Jianhua and Gray, W. Alex and Fiddian, Nick J. and Thompson, Simon (2006) CONOISE-G: agent-based virtual organisations. In: AAMAS '06: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems.

Munroe, Steve and Miller, Tim and Belecheanu, Roxana A. and Pechoucek, Michal and McBurney, Peter and Luck, Michael (2006) Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents. Knowledge Engineering Review, 21 (4). pp. 345-392.

Nguyen, D. and Thompson, S. G. and Patel, J. and Teacy, L. W. and Jennings, N. R. and Luck, M. and Dang, V. and Chalmers, S. and Oren, N. and Norman, T. J. and Preece, A. and Gray, P. M. and Shercliff, G. and Stockreisser, P. J. and Shao, J. and Gray, W. A. and Fiddian, N. J. (2006) Delivering services by building and running virtual organisations. BT Technology Journal, 24 (1). pp. 141-152.

Miles, Simon (2006) Electronically Querying for the Provenance of Entities. In: Proceedings of the International Provenance and Annotation Workshop, May 2006, Chicago, USA.

Rodrigues, Ma'ira Ribeiro and Luck, Michael (2006) Evaluating Dynamic Services in Bioinformatics. In: Cooperative Information Agents X, 10th International Workshop, CIA 2006.

Luck, Michael and d'Inverno, Mark (2006) Formal Methods and Agent-Based Systems. In: Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering . Springer, pp. 65-96.

Keppens, J. and Shen, Q. (2006) Granularity and disaggregation in compositional modelling with applications to ecological systems. Applied Intelligence, 25 (3). pp. 269-292.

Jennings, N. R. and Cohn, A. G. and Fox, M. and Long, D. and Luck, M. and Michaelides, D. T. and Munroe, S. and Weal, M. J. (2006) Interaction, planning and motivation. In: Cognitive systems: Information processing meets brain science. Elsevier, pp. 163-188.

Keppens, J. and Schafer, B. (2006) Knowledge based crime scenario modelling. Expert Systems With Applications, 30 (2). pp. 203-222.

Jones, Andrew J. I. and Kimbrough, Steven O. (2006) On the Normative Aspect of Signalling Conventions. In: Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006. Lecture Notes in Artificial Intelligence (4048). Springer-Verlag, pp. 149-160.

Munroe, Steve and Miles, Simon and Moreau, Luc and Valquez-Salceda, Javier (2006) PrIMe: A Software Engineering Methodology for Developing Provenance-Aware Applications. In: Proceedings of the 6th international workshop on Software engineering and middleware (SEM 2006).

Groth, Paul and Miles, Simon and Munroe, Steve (2006) Principles of High Quality Documentation for Provenance: A Philosophical Discussion. In: Proceedings of the International Provenance and Annotation Workshop, Chicago, USA.

Tan, Victor and Groth, Paul and Miles, Simon and Jiang, Sheng and Munroe, Steve and Tsasakou, Sofia and Moreau, Luc (2006) Security Issues in a SOA-based Provenance System. In: Proceedings of the International Provenance and Annotation Workshop, Chicago, USA.

Teacy, W. T. Luke and Patel, Jigar and Jennings, Nicholas R. and Luck, Michael (2006) TRAVOS: Trust and Reputation in the Context of Inaccurate Information Sources. Autonomous Agents and Multi-Agent Systems, 12 (2). pp. 183-198.

Ashri, Ronald and Payne, Terry R. and Luck, Michael and Surridge, Mike and Sierra, Carles and Rodr'iguez-Aguilar, Juan A. and Noriega, Pablo (2006) Using Electronic Institutions to Secure Grid Environments. In: Cooperative Information Agents X, 10th International Workshop, CIA 2006.

Robles, Armando and Noriega, Pablo and Luck, Michael and Cantú, Francisco J. (2006) Using MAS Technologies for Intelligent Organizations: A Report of Bottom-Up Results. In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence.

Wong, Sylvia C. and Miles, Simon and Fang, Weijian and Groth, Paul (2005) Provenance-based Validation of E-Science Experiments. In: The Semantic Web. ISWC 2005: 4th International Semantic Web Conference.

Wong, Sylvia C. and Tan, Victor and Fang, Weijian and Miles, Simon (2005) Grimoires: Grid Registry with Metadata Oriented Interface: Robustness, Efficiency, Security (part of article: Cluster Computing and Grid 2005 Works in Progress). IEEE Distributed Systems Online, 6 (10).

Chen, Liming and Tan, Victor and Xu, Fenglian and Biller, Alexis and Miles, Simon and Ibbotson, John and Luck, Michael and Moreau, Luc (2005) A proof of concept: Provenance in a Service Oriented Architecture. In: Proceedings of the UK e-Science All Hands Meeting 2005, Nottingham, UK.

Tan, Victor and Fang, Weijian and Wong, Sylvia C. and Miles, Simon (2005) A security architecture for a semantic Grid registry. In: Proceedings of the UK e-Science All Hands Meeting 2005, Nottingham, UK.

Fang, Weijian and Wong, Sylvia C. and Tan, Victor and Miles, Simon and Moreau, Luc (2005) Performance Analysis of a Semantics Enabled Service Registry. In: Proceedings of the UK e-Science All Hands Meeting 2005, Nottingham, UK.

Groth, Paul and Miles, Simon and Moreau, Luc (2005) PReServ: Provenance Recording for Services. In: Proceedings of the UK e-Science All Hands Meeting 2005, Nottingham, UK.

Wong, Sylvia and Miles, Simon and Fang, Weijian (2005) Validation of E-Science Experiments using a Provenance-based Approach. In: Proceedings of the UK e-Science All Hands Meeting 2005, Nottingham, UK.

Miles, Simon (2005) Agent-Oriented Data Curation in Bioinformatics. In: Proceedings of the First International Workshop on Multi-Agent Systems for Medicine, Computational Biology and Bioinformatics, Utrecht, Netherlands. (Unpublished)

Groth, Paul and Miles, Simon and Fang, Weijian and Wong, Sylvia C. and Moreau, Luc (2005) Recording and Using Provenance in a Protein Compressibility Experiment. In: Proceedings of the 14th IEEE International Symposium on High Performance Distributed Computing (HPDC 2005).

Schafer, B. and Keppens, J. (2005) "And then there was none" - Indirect proof and hypothetical reasoning in Law. Archiv f"ur Rechts- und Sozialphilosophie, Beiheft 97 . pp. 177-187.

Skowron, Andrzej and Agrawal, Rakesh and Luck, Michael and Yamaguchi, Takahira and Morizet-Mahoudeaux, Pierre and Liu, Jiming and Zhong, Ning, eds. (2005) 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005). IEEE Computer Society. ISBN 0-7695-2415-X

Avila-Rosas, Arturo and Luck, Michael (2005) A Direct Reputation Model for VO Formation. In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005.

López y López, Fabiola and Luck, Michael and d'Inverno, Mark (2005) A normative framework for agent-based systems. In: Proceedings of the First International Symposium on Normative Multi-Agent Systems.

Jones, Andrew J. I. and Kimbrough, Steven O. (2005) A Note on Modelling Speech Acts as Signalling Conventions. In: Formal Modelling in Electronic Commerce. International Handbook on Information Systems . Springer, Berlin, pp. 325-342.

Patel, Jigar and Teacy, W. T. Luke and Jennings, Nicholas R. and Luck, Michael (2005) A Probabilistic Trust Model for Handling Inaccurate Reputation Sources. In: Trust Management, Third International Conference, iTrust 2005.

Luck, M. and McBurney, P. and Shehory, O. and Willmott, S. (2005) Agent Technology: Computing as Interaction (A Roadmap for Agent Based Computing). AgentLink, Southampton, UK.

Luck, Michael and McBurney, Peter and Gonzalez-Palacios, Jorge (2005) Agent-Based Computing and Programming of Agent Systems. In: Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005.

Patel, Jigar and Teacy, W. T. Luke and Jennings, Nicholas R. and Luck, Michael and Chalmers, Stuart and Oren, Nir and Norman, Timothy J. and Preece, Alun and Gray, Peter M. D. and Shercliff, Gareth and Stockreisser, Patrick J. and Shao, Jianhua and Gray, W. Alex and Fiddian, Nick J. and Thompson, Simon (2005) Agent-Based Virtual Organisations for the Grid. In: AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems.

Patel, Jigar and Teacy, W. T. Luke and Jennings, Nicholas R. and Luck, Michael and Chalmers, Stuart and Oren, Nir and Norman, Timothy J. and Preece, Alun and Gray, Peter M. D. and Shercliff, Gareth and Stockreisser, Patrick J. and Shao, Jianhua and Gray, W. Alex and Fiddian, Nick J. and Thompson, Simon (2005) Agent-based virtual organisations for the Grid. Multiagent and Grid Systems, 1 (4). pp. 237-249.

Luck, Michael and Merelli, Emanuela (2005) Agents in bioinformatics. Knowledge Engineering Review, 20 (2). pp. 117-125.

Keppens, J. and Schafer, B. (2005) Assumption Based Peg Unification for Crime Scenario Modelling. In: In Proceedings of the 18th Annual Conference on Legal Knowledge and Information Systems.

Munroe, Steve and Luck, Michael (2005) Balancing conflict and cost in the selection of negotiation opponents. In: AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems.

Keppens, J. and Shen, Q. and Lee, M. (2005) Compositional Bayesian Modelling and Its Application to Decision Support in Crime Investigation. In: Proceedings of the 19th International Workshop on Qualitative Reasoning about Physical Systems.

Teacy, W. T. Luke and Patel, Jigar and Jennings, Nicholas R. and Luck, Michael (2005) Coping with Inaccurate Reputation Sources: Experimental Analysis of a Probabilistic Trust Model. In: AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems.

Ashri, R. and Luck, M. and d'Inverno, M. (2005) From SMART to agent systems development. Engineering Applications of Artificial Intelligence, 18 (2). pp. 129-140.

Wagner, Tom and Gasser, Les and Luck, Michael (2005) Impact for agents. In: AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems.

Kimbrough, Steven O. and Abrahams, Alan S. and Jones, Andrew J. I. and Eyers, David M. and Bacon, Jean M. (2005) Introducing the Fair and Logical Trade Project. In: Proceedings of the Workshop on Contract Architectures and Languages (CoALa 2005), Enschede, The Netherlands.

Lawley, Richard and Luck, Michael and Moreau, Luc (2005) Modelling and Simulating Chained Negotiation to Enable Sharing of Notifications. In: WI '05: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence.

Patel, J. and Teacy, W. T. L. and Jennings, N. R. and Luck, M. and Chalmers, S. and Oren, N. and Norman, T. J. and Preece, A. and Gray, P. M. D. and Shercliff, G. and Stockreisser, P. J. and Shao, J. and Gray, W. A. and Fiddian, N. J. and Thompson, S. (2005) Monitoring, Policing and Trust for Grid-Based Virtual Organisations. In: Proceedings of the UK e-Science All Hands Meeting.

Keppens, J. and Shen, Q. and Schafer, B. (2005) Probabilistic Abductive Computation of Evidence Collection Strategies in Crime Investigation. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law.

Wegner, Peter and Arbab, Farhad and Goldin, Dina Q. and McBurney, Peter and Luck, Michael and Robertson, Dave (2005) The Role of Agent Interaction in Models of Computing: Panelist Reviews. Electronic Notes in Theoretical Computer Science, 141 (5). pp. 181-198.

Ashri, Ronald and Ramchurn, Sarvapali D. and Sabater, Jordi and Luck, Michael and Jennings, Nicholas R. (2005) Trust Evaluation Through Relationship Analysis. In: AAMAS '05: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems.

Groth, Paul and Luck, Michael and Moreau, Luc (2004) A protocol for recording provenance in service-oriented Grids. In: Proceedings of the 8th International Conference on Principles of Distributed Systems (OPODIS'04).

Miles, Simon and Papay, Juri and Luck, Michael and Moreau, Luc (2004) Implementing Policy Management through BDI. In: Research and Development in Intelligent Systems XXI: Proceedings of the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK.

Groth, Paul and Luck, Michael and Moreau, Luc (2004) Formalising a protocol for recording provenance in Grids. In: Proceedings of the UK OST e-Science Second All Hands Meeting 2004 (AHM'04).

Papay, Juri and Miles, Simon and Luck, Michael and Moreau, Luc and Payne, Terry (2004) Principles of Personalisation of Service Discovery. In: Proceedings of the UK OST e-Science second All Hands Meeting 2004, Nottingham, UK.

Wroe, Chris and Lord, Phillip and Miles, Simon and Papay, Juri and Moreau, Luc and Goble, Carole (2004) Recycling Services and Workflows through Discovery and Re-use. In: Proceedings of the UK e-Science All Hands Meeting 2004, August 2004, Nottingham, UK.

Krishna, Ananth and Miles, Simon and Moreau, Luc and Luck, Michael (2004) Semantic Distributed Messaging Middleware. In: Proceedings of the ECAI 2004 Workshop on Semantic Intelligent Middleware.

Miles, Simon and Papay, Juri and Payne, Terry and Decker, Keith and Moreau, Luc (2004) Towards a Protocol for the Attachment of Semantic Descriptions to Grid Services. In: Proceedings of the Second European Across Grids Conference (AxGrids 2004), Cyprus.

Keppens, J. and Schafer, B. (2004) ''Murdered by Persons Unknown`` - Speculative Reasoning in Law and Logic. In: Proceedings of the 17th Annual Conference on Legal Knowledge and Information Systems (JURIX).

Gonzalez-Palacios, Jorge and Luck, Michael (2004) A Framework for Patterns in Gaia: A Case-Study with Organisations. In: Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004.

Luck, Michael and McBurney, Peter and Preist, Chris (2004) A Manifesto for Agent Technology: Towards Next Generation Computing. Autonomous Agents and Multi-Agent Systems, 9 (3). pp. 203-252.

López y López, Fabiola and Luck, M. (2004) A Model of Normative Multi-agent Systems and Dynamic Relationships. In: Regulated Agent-Based Social Systems. Lecture Notes in Artificial Intelligence, 2934 . Springer, pp. 259-280.

Coddington, Alexandra M. and Luck, Michael (2004) A motivation-based planning and execution framework. International Journal on Artificial Intelligence Tools, 13 (1). pp. 5-25.

Ashri, R. and Luck, M. and d'Inverno, M. (2004) A typology of relationships and goals for regulation and coordination. In: Proceedings of the ECAI 2004 Workshop in Coordination in Emerging Agent Societies.

Zambonelli, Franco and Luck, Michael (2004) Agent Hell: A Scenario of Worst Practices. IEEE Computer, 37 (3). pp. 96-98.

Norman, Timothy J. and Preece, Alun D. and Chalmers, Stuart and Jennings, Nicholas R. and Luck, Michael and Dang, Viet Dung and Nguyen, Thuc Duong and Deora, Vikas and Shao, Jianhua and Gray, W. A. and Fiddian, N. J. (2004) Agent-based formation of virtual organisations. Knowledge-Based Systems, 17 (2-4). pp. 103-111.

Luck, Michael and Ashri, Ronald and d'Inverno, Mark (2004) Agent-Based Software Development. Artech House, Inc., Norwood, MA, USA. ISBN 1-58053-605-0

Moreau, Luc and Luck, Mike and Miles, Simon and Papay, Jury and Decker, Keith and Payne, Terry (2004) Agents and the Grid: Service Discovery. In: Methodologies and Software Engineering for Agent Systems --- The Agent-Oriented Software Engineering Handbook. MultiAgent Systems, Artifical Societies, and Simulated Organizations . Kluwer, pp. 413-430.

Ashri, Ronald and Luck, Michael (2004) An Agent Construction Model for Ubiquitous Computing Devices. In: Agent-Oriented Software Engineering V, 5th International Workshop, AOSE 2004.

Wroe, Chris and Goble, Carole and Greenwood, Mark and Lord, Phillip and Miles, Simon and Papay, Juri and Payne, Terry and Moreau, Luc (2004) Automating Experiments Using Semantic Data on a Bioinformatics Grid. IEEE Intelligent Systems, 19 (1). pp. 48-55.

Keppens, J. and Shen, Q. (2004) Causality Enabled Compositional Modelling of Bayesian Networks. In: Proceedings of the 18th International Workshop on Qualitative Reasoning about Physical Systems.

Lawley, Richard and Luck, Michael and Moreau, Luc (2004) Chained Negotiation for Distributed Notification Services. In: Proceedings of the UK OST e-Science second All Hands Meeting 2004 (AHM'04).

Keppens, J. and Shen, Q. (2004) Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences. Journal of Artificial Intelligence Research, 21 . pp. 499-550.

Ashri, Ronald and Luck, Michael and d'Inverno, Mark (2004) Identifying Opportunities and Constraints for Goal Achievement through Relationship Analysis. In: AAMAS '04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems.

Ramchurn, Sarvapali D. and Deitch, Benjamin and Thompson, Mark K. and Roure, David C. De and Jennings, Nicholas R. and Luck, Michael (2004) Minimising Intrusiveness in Pervasive Computing Environments Using Multi-Agent Negotiation. In: Proceedings of Mobiquitous 2004, The First International Conference on Mobile and Ubquitous Systems: Networking and Services.

Munroe, Steve and Luck, Michael and d'Inverno, Mark (2004) Motivation-Based Selection of Negotiation Partners. In: AAMAS '04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems.

López y López, Fabiola and Luck, Michael and d'Inverno, Mark (2004) Normative Agent Reasoning in Dynamic Societies. In: AAMAS '04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems.

Jones, Andrew J. I. (2004) On Normative-Informational Positions. In: Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, DEON 2004. Lecture Notes in Artificial Intelligence, 3065 . Springer-Verlag, pp. 182-190.

Shao, J. and Gray, W. A. and Fiddian, N. J. and Deora, V. and Shercliff, G. and Stockreisser, P. J. and Norman, T. J. and Preece, A. and Gray, P. M. D. and Chalmers, S. and Oren, N. and Jennings, N. R. and Luck, M. and Dang, V.D. and Nguyen, T.D. and Patel, J. and Teacy, W. T. L. (2004) Supporting Formation and Operation of Virtual Organisations in a Grid Environment. In: Proceedings of the UK OST e-Science All Hands Meeting.

d'Inverno, Mark and Luck, Michael and Georgeff, Michael P. and Kinny, David and Wooldridge, Michael (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.

Miles, Simon and Papay, Juri and Payne, Terry and Luck, Michael and Moreau, Luc (2004) Towards a Protocol for the Attachment of Metadata to Service Descriptions and its Use in Semantic Discovery. Scientific Programming, 12 (4). pp. 201-211.

Luck, M. and Munroe, S. and López y López, Fabiola and Ashri, R. (2004) Trust and Norms for Interaction. In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics.

d'Inverno, Mark and Luck, Michael (2004) Understanding Agent Systems, second edition. Springer Series on Agent Technology . Springer-Verlag, xviii + 240.

Moreau, Luc and Miles, Simon and Papay, Juri and Decker, Keith and Payne, Terry (2003) Publishing Semantic Descriptions of Services. In: Proceedings of Global Grid Forum 9. (Unpublished)

Lord, Phillip and Wroe, Chris and Stevens, Robert and Goble, Carole and Miles, Simon and Moreau, Luc and Decker, Keith and Payne, Terry and Papay, Juri (2003) Semantic and Personalised Service Discovery. In: Proceedings of WI/IAT 2003 Workshop on Knowledge Grid and Grid Intelligence, Halifax, Canada.

Lord, Phillip and Wroe, Chris and Stevens, Robert and Goble, Carole and Miles, Simon and Moreau, Luc and Decker, Keith and Payne, Terry and Papay, Juri (2003) Semantic and Personalised Service Discovery. In: Proceedings of the UK OST e-Science second All Hands Meeting 2003, Nottingham, UK.

Krishna, Ananth and Tan, Victor and Lawley, Richard and Miles, Simon and Moreau, Luc (2003) The myGrid Notification Service. In: Proceedings of the UK OST e-Science second All Hands Meeting 2003, Nottingham, UK.

Miles, Simon and Papay, Juri and Dialani, Vijay and Luck, Michael and Payne, Terry and Moreau, Luc (2003) Personalised Grid Service Discovery. IEE Proceedings Software, 150 (4). pp. 252-256.

Miles, Simon and Papay, Juri and Dialani, Vijay and Luck, Michael and Payne, Terry and Moreau, Luc (2003) Personalised Grid Service Discovery. In: Proceedings of the 19th Annual UK Performance Engineering Workshop, University of Warwick, UK.

Moreau, Luc and Miles, Simon and Goble, Carole and Greenwood, Mark and Addis, Matthew and Alpdemir, Nedim and Cawley, Rich and deRoure, Dave and Ferris, Justin and Gaizauskas, Rob and Glover, Kevin and Greenhalgh, Chris and Li, Peter and Liu, Xiaojian and Lord, Phillip and Luck, Michael and Marvin, Darren and Oinn, Tom and Paton, Norman and Pettifer, Stephen and Radenkovic, Milena V and Roberts, Angus and Robinson, Alan and Rodden, Tom and Senger, Martin and Sharman, Nick and Stevens, Robert and Warboys, Brian and Wipat, Anil and Wroe, Chris (2003) On the Use of Agents in a Bioinformatics Grid. In: Proceedings of the third IEEE/ACM CCGRID'2003 workshop on Agent Based Cluster and Grid Computing, Tokyo, Japan.

Munroe, Stephen J. and Luck, Michael (2003) 3M Motivational Taxonomy. In: Agents and Computational Autonomy. Lecture Notes in Computer Science, 2969 . Springer, pp. 55-67.

Keppens, J. and Zeleznikow, J. (2003) A Model Based Reasoning Approach for Generating Plausible Crime Scenarios from Evidence. In: Proceedings of the 9th International Conference on Artificial Intelligence and Law.

Luck, Michael and McBurney, Peter and Preist, Chris (2003) Agent Technology: Enabling Next Generation Computing (A Roadmap for Agent Based Computing). AgentLink/University of Southampton. ISBN 0854327886

Griffiths, N. and Luck, M. and d'Inverno, M. (2003) Annotating Cooperative Plans with Trusted Agents. In: Trust, Reputation, and Security: Theory and Practice, LNAI 2631.

Ashri, R. and Rahwan, I. and Luck, M. (2003) Architectures for negotiating agents. In: Multi-Agent Systems and Applications III: Proceedings of the 3rd International/Central And Eastern European Conference on Multi-Agent Systems.

Lawley, Richard and Luck, Michael and Decker, Keith and Payne, Terry R. and Moreau, Luc (2003) Automated Negotiation Between Publishers And Consumers Of Grid Notifications. Parallel Processing Letters, 13 (4). pp. 537-548.

Lawley, Richard and Decker, Keith and Luck, Mike and Payne, Terry and Moreau, Luc (2003) Automated Negotiation for Grid Notification Services. In: Ninth International Europar Conference (EURO-PAR'03).

Luck, M. and Munroe, S. and d'Inverno, M. (2003) Autonomy: Variable and Generative. In: Agent Autonomy. Kluwer, pp. 9-22.

Griffiths, Nathan and Luck, Michael (2003) Coalition Formation through Motivation and Trust. In: AAMAS '03: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems.

Frey, Jeremy G. and Bradley, Mark and Essex, Jonathan W. and Hursthouse, Michael B. and Lewis, Susan M. and Luck, Michael M. and Moreau, Luc and Roure, Dave C. De and Surridge, Mike and Welsh, Alan (2003) Combinatorial Chemistry and the Grid. In: Grid Computing --- Making the Global Infrastructure a Reality. Wiley Series in Communications Networking and Distributed Systems . John Wiley and Sons, Chichester, England, pp. 945-962.

Norman, T. J. and Preece, A. and Chalmers, S. and Jennings, N. R. and Luck, M. and Dang, V. D. and Nguyen, T. D. and Deora, V. and Shao, J. and Gray, A. and Fiddian, N. (2003) CONOISE: Agent-based formation of virtual organisations. In: Proceedings of the 23rd SGAI International Conference on Innovative Techniques and Applications of AI.

Jones, Andrew J. I. and Parent, Xavier (2003) Conventional Signalling Acts and Conversation. In: Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003. Lecture Notes in Artificial Intelligence (2922). Springer-Verlag, pp. 1-17.

Keppens, J. and Shen, Q. (2003) Ecological Model Repositories Revisited: Casting Ecological Model Composition Problems as Dynamic Constraint Satisfaction Problems. In: Proceedings of the 17th International Workshop on Qualitative Reasoning about Physical Systems.

Halliwell, J. and Keppens, J. and Shen, Q. (2003) Linguistic Bayesian Networks for Reasoning with Subjective Probabilities in Forensic Statistics. In: Proceedings of the 9th International Conference on Artificial Intelligence and Law.

López y López, Fabiola and Luck, Michael (2003) Modelling Norms for Autonomous Agents. In: ENC'03: Proceedings of the Fourth Mexican International Conference on Computer Science.

Ashri, R. and Luck, M. and d'Inverno, M. (2003) On Identifying and Managing Relationships in Multi-Agent Systems. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence.

d'Inverno, M. and Luck, M. (2003) Practical and Theoretical Innovations in Multi-Agent Systems Research. Knowledge Engineering Review, 17 (3). pp. 295-301.

Munroe, Steve and Luck, Michael and d'Inverno, Mark (2003) Towards a Motivation-Based Approach for Evaluating Goals. In: AAMAS '03: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems.

Munroe, S. and Luck, M. and d'Inverno, M. (2003) Towards Motivation-Based Decisions for Worth Goals. In: Multi-Agent Systems and Applications III, 3rd International Central and Eastern European Conference on Multi-Agent Systems, LNAI 2691.

Coddington, Alexandra M. and Luck, Michael (2003) Towards Motivation-based Plan Evaluation. In: Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference.

Luck, M. and d'Inverno, M. (2003) Unifying Agent Systems. Annals of Mathematics and Artificial Intelligence, 37 (1). pp. 131-167.

Keppens, J. and Schafer, B. (2003) Using the box to think outside it - creative scepticism and computer decision support in criminal investigations. In: In Proceedings of the IVR 21th World Congress Special Workshop on Artificial Intelligence in the Law: Creativity in Legal Problem Solving.

Miles, Simon and Joy, Mike and Luck, Michael (2002) Towards a Methodology for Coordination Mechanism Selection in Open Systems. In: Proceedings of the Third International Workshop on Engineering Societies in the Agents World (ESAW 2002), Madrid, Spain.

Dialani, Vijay and Miles, Simon and Moreau, Luc and de Roure, David and Luck, Michael (2002) Transparent Fault Tolerance for Web Services based Architectures. In: Proceedings of the Eighth International Europar Conference (EURO-PAR'02).

Avila-Rosas, Arturo and Moreau, Luc and Dialani, Vijay and Miles, Simon and Liu, Xiaojian (2002) Agents for the Grid: A Comparison with Web Services (part II: Service Discovery). In: Proceedings of the Workshop on Challenges in Open Agent Environments.

Keppens, J. and Shen, Q. (2002) A Calculus of Partially Ordered Preferences for Compositional Modelling and Configuration. In: Proceedings of the AAAI Workshop on Preferences in AI and CP: Symbolic Approaches.

Demolombe, Robert and Jones, Andrew J. I. (2002) Actions and Normative Positions: A Modal-Logical Approach. In: A Companion to Philosophical Logic. Blackwell, Oxford, pp. 694-705.

Griffiths, N. and Luck, M. and d'Inverno, M. (2002) Annotating Cooperative Plans with Trusted Agents. In: Proceedings of the Fifth International Workshop on Decepetion, Fraud and Trust in Agent Societies.

Keppens, J. (2002) Compositional Ecological Modelling via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences. PhD thesis, The University of Edinburgh.

López y López, F. and Luck, M. and d'Inverno, M. (2002) Constraining Autonomy through Norms. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems.

Carmo, Jose and Jones, Andrew J. I. (2002) Deontic Logic and Contrary-to-Duties. In: Handbook of Philosophical Logic, 2nd edition. Dordrecht, Holland, Kluwer Academic Publishers, pp. 265-343.

López y López, Fabiola and Luck, Michael (2002) Empowered Situations of Autonomous Agents. In: Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI.

d'Inverno, Mark and Luck, Michael and Fisher, Michael and Preist, Chris, eds. (2002) Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000. Selected Papers. Lecture Notes in Artificial Intelligence, 2403 . Springer.

Bryson, K. and Luck, M. and Joy, M. and Jones, D. and Nicholas, P. and Bessieres, P. and Gibrat, J-F. (2002) From GeneWeaver to Agmial. In: Proceedings Network Tools and Applications in Biology (NETTAB'2002) - Agents in Bioinformatics, Italy.

Ashri, R. and Luck, M. and d'Inverno, M. (2002) Infrastructure Support for Agent-based Development. In: Foundations and Applications of Multi-Agent Systems. Lecture Notes in Artificial Intelligence (2403). Springer, pp. 73-88.

Joy, Mike and Jarvis, Stephen and Luck, Michael (2002) Introducing UNIX and Linux. Palgrave Macmillan.

de Lioncourt, Sorabain Wolfheart and Luck, Michael (2002) Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies. In: Multi-Agent Systems and Application II, Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001.

Marik, Vladimir and Stepankova, Olga and Krautwurmova, Hana and Luck, Michael, eds. (2002) Multi-Agent-Systems and Applications II 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers. Lecture Notes in Artificial Intelligence, 2322 . Springer. ISBN 978-3-540-43377-4

Keppens, J. and Shen, Q. (2002) On Supporting Dynamic Constraint Satisfaction with Order of Magnitude Preferences. In: Proceedings of the 16th International Workshop on Qualitative Reasoning about Physical Systems.

Jones, Andrew J. I. (2002) On the concept of trust. Decision Support Systems, 33 (3). pp. 225-232.

Keppens, J. and Zeleznikow, J. (2002) On the Role of Model-based Reasoning in Decision Support in Crime Investigation. In: Proceedings of the 3rd International Conference on Law and Technology.

Miles, Simon (2002) Open Systems Design Using Agent Interactions. PhD thesis, University of Warwick.

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

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

López y López, F. and Luck, M. (2002) Towards a Model of the Dynamics of Normative Multi-Agent Systems. In: Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02).

de Lioncourt, Sorabain Wolfheart and Luck, Michael (2002) Towards Requirements Analysis for Autonomous Agent Behaviour. In: From Theory to Practice in Multi-Agent Systems, CEEMAS '01, Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems.

Luck, M. and d'Inverno, M. (2001) A Conceptual Framework for Agent Definition and Development. The Computer Journal, 44 (1). pp. 1-20.

López y López, F. and Luck, M. and d'Inverno, M. (2001) A Framework for Norm-based Inter-Agent Dependence. In: Proceedings of the Third Mexican International Conference on Computer Science.

Bryson, Kevin and Luck, Michael and Joy, Mike and Jones, David T. (2001) Agent Interaction for Bioinformatics Data Management. Applied Artificial Intelligence, 15 (10). pp. 917-947.

Carmo, Jose and Demolombe, Robert and Jones, Andrew J. I. (2001) An application of deontic logic to information system constraints. Fundamenta Informaticae, 48 (2-3). pp. 165-181.

Luck, M. and d'Inverno, M. (2001) Autonomy: A Nice Idea in Theory. In: Intelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages, LNAI 1986.

Keppens, J. and Shen, Q. (2001) Disaggregation in Compositional Modelling of Ecological Systems via Dynamic Constraint Satisfaction. In: Proceedings of the 15th International Workshop on Qualitative Reasoning about Physical Systems.

d'Inverno, M. and Luck, M. (2001) Formal Agent Development: Framework to System. In: Formal Approaches to Agent-Based Systems: First International Workshop FAABS 2000, LNAI 1871.

Hinchey, Michael G. and Hendler, James A. and Pecheur, Charles and Heitmeyer, Constance L. and Gordon, Diana F. and Luck, Michael and Truszkowski, Walt (2001) Future Directions. In: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000.

Poylisher, Alex and Luck, Michael (2001) Modelling and Simulation of Aggregation Nets. In: CCGRID '01: Proceedings of the 1st International Symposium on Cluster Computing and the Grid.

Luck, Michael and Marik, Vladimir and Stepankova, Olga and Trappl, Robert, eds. (2001) Multi-Agent Systems and Applications: 9th ECCAI Advanced Course ACAI 2001 and AgentLink's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers. Lecture Notes in Artificial Intelligence, 2086 . Springer. ISBN 978-3-540-42312-6

d'Inverno, M. and Luck, M. (2001) Multi-agent systems research into the 21st century. Knowledge Engineering Review, 16 (3). pp. 271-275.

Keppens, J. and Shen, Q. (2001) On Compositional Modelling. Knowledge Engineering Review, 16 (2). pp. 157-200.

Jones, Andrew J. I. and Firozabadi, Babak Sadighi (2001) On the characterisation of a trusting agent - aspects of a formal approach. In: Trust and Deception in Virtual Societies. Kluwer Academic Publishers, Norwell, MA, USA, pp. 157-168.

Luck, M. and d'Inverno, M. (2001) Plan Analysis for Autonomous Sociological Agents. In: Intelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages, LNAI 1986.

Ashri, R and Luck, M. (2001) Towards a layered approach for agent infrastructure: the right tools for the right job. In: Proceedings of the Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS.

d'Inverno, M. and Luck, M. (2001) Understanding Agent Systems. Springer-Verlag.

Miles, Simon and Joy, Mike and Luck, Michael (2000) Designing Agent-Oriented Systems by Analysing Agent Interactions. In: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick, Ireland.

d'Inverno, M. and Hindriks, K. and Luck, M. (2000) A Formal Architecture for the 3APL Agent Programming Language. In: ZB2000: First International Conference of B and Z Users, LNCS 1878.

Bryson, Kevin and Luck, Michael and Joy, Mike and Jones, David T. (2000) Applying Agents to Bioinformatics in GeneWeaver. In: Cooperative Information Agents IV, The Future of Information Agents in Cyberspace, Proceedings of the 4th International Workshop on Cooperative Information Agents. Lecture Notes in Artificial Intelligence, 1860 . Springer-Verlag, pp. 60-71.

Aylett, R. and Luck, M. (2000) Applying Artificial Intelligence to Virtual Reality: Intelligent Virtual Environments. Applied Artificial Intelligence, 14 (1). pp. 3-32.

Hindriks, K. and d'Inverno, M. and Luck, M. (2000) Architecture for Agent Programming Languages. In: ECAI 2000 - Proceedings of the 15th European Conference on Artificial Intelligence.

Aylett, Ruth and Dautenhahn, Kerstin and Doran, Jim and Luck, Michael and Moss, Scott and Tennenholtz, Moshe (2000) Can models of agents be transferred between different areas? Knowledge Engineering Review, 15 (2). pp. 197-203.

Ashri, R. and Luck, M. (2000) Paradigma: Agent Implementation through Jini. In: Proceedings of the Eleventh International Workshop on Database and Expert Systems Applications.

Rana, Omer and Preist, Chris and Luck, Michael (2000) Progress in multi-agent systems research. Knowledge Engineering Review, 15 (3). pp. 285-292.

d'Inverno, Mark and Luck, Michael (2000) Sociological Agents for Effective Social Action. In: Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000).

Luck, Michael and Joy, Mike (1999) A secure on-line submission system. Software --- Practice and Experience, 29 (8). pp. 721-740.

d'Inverno, M. and Luck, M. (1999) Agent Models and Plans. In: Agents Everywhere: Proceedings of the First Hungarian National Conference on Agent Based Computing.

Decker, K. and Fisher, M. and Luck, M. and Tennenholtz, M. (1999) Continuing research in multi-agent systems. Knowledge Engineering Review, 14 (3). pp. 279-283.

Griffiths, N. and Luck, M. (1999) Cooperative Plan Selection Through Trust. In: Multi-Agent System Engineering: Proceedings of the Ninth European Workshop on Modelling Autonomous Agents in a Multi-Agent World.

Luck, M. (1999) From Definition to Deployment: What Next for Agent-Based Systems? The Knowledge Engineering Review, 14 (2). pp. 119-124.

de Lioncourt, S. and Luck, M. (1999) Motivating Intelligent Agents for Virtual Environments. In: Proceedings of the Intelligent Virtual Agents Workshop. (Unpublished)

Beer, Martin and d'inverno, Mark and Luck, Michael and Jennings, Nick and Preist, Chris and Schroeder, Michael (1999) Negotiation in multi-agent systems. Knowledge Engineering Review, 14 (3). pp. 285-289.

Joy, M. and Luck, M. (1999) Plagiarism in Programming Assignments. IEEE Transactions on Education, 42 (2). pp. 129-133.

d'Inverno, M. and Kinny, D. and Luck, M. and Wooldridge, M. (1998) A Formal Specification of dMARS. In: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages. Lecture Notes in Artificial Intelligence, 1365 . Springer, pp. 155-176.

Aylett, Ruth and Brazier, Frances and Jennings, Nick and Luck, Michael and Nwana, Hyacinth and Preist, Chris (1998) Agent Systems and Applications. Knowledge Engineering Review, 13 (3). pp. 303-308.

Joy, Mike and Luck, Michael (1998) Effective electronic marking for on-line assessment. In: ITiCSE '98: Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education.

d'Inverno, M. and Luck, M. (1998) Engineering AgentSpeak(L): A Formal Computational Model. Journal of Logic and Computation, 8 (3). pp. 233-260.

Luck, M. and d'Inverno, M. and Fisher, M. (1998) Foundations of Multi-Agent Systems: Techniques, Tools and Theory. Knowledge Engineering Review, 13 (3). pp. 297-302.

d'Inverno, M. and Kinny, D. and Luck, M. (1998) Interaction Protocols in Agentis. In: Proceedings of the Third International Conference on Multi-Agent Systems.

Luck, M. and d'Inverno, M. (1998) Motivated Behaviour for Goal Adoption. In: Multi-Agent Systems: Theories, Languages and Applications --- Proceedings of the Fourth Australian Workshop on Distributed Artificial Intelligence, LNAI 1544.

Krogh, Cristen and Jones, A. J. I. (1998) Protocol Breaches and Violation Flaws. In: Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science. IOS Press, Amsterdam, pp. 265-274.

Luck, Michael (1998) Review of Elements of Machine Learning, by Pat Langley. Journal of Logic, Language, and Information, 7 (1). pp. 103-105.

d'Inverno, M. and Priestley, M. and Luck, M. (1997) A Formal Framework for Hypertext Systems. IEE Proceedings - Software Engineering, 144 (3). pp. 175-184.

Santos, F. and Carmo, J. and Jones, A. (1997) Action concepts for describing organised interaction. In: Thirtieth Annual Hawai International Conference on System Sciences.

d'Inverno, M. and Luck, M. and Wooldridge, M. (1997) Cooperation Structures. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence.

d'Inverno, M. and Luck, M. (1997) Development and Application of a Formal Agent Framework. In: Proceedings of the First IEEE International Conference on Formal Engineering Methods.

d'Inverno, M. and Fisher, M. and Lomuscio, A. and Luck, M. and deRijke, M. and Ryan, M. and Wooldridge, M. (1997) Formalisms for Multi-Agent Systems. Knowledge Engineering Review, 12 (3). pp. 315-321.

d'inverno, Mark and Fisher, Michael and Lomuscio, Alessio and Luck, Michael and de Rijke, Maarten and Ryan, Mark and Wooldridge, Michael (1997) Formalisms for multi-agent systems. Knowledge Engineering Review, 12 (3). pp. 315-321.

Luck, Michael (1997) Foundations of multi-agent systems: issues and directions. Knowledge Engineering Review, 12 (3). pp. 307-308.

Luck, M. and Griffiths, N. and d'Inverno, M. (1997) From Agent Theory to Agent Construction: A Case Study. In: Intelligent Agents III: Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages. Lecture Notes in Artificial Intelligence, 1193 . Springer, pp. 49-63.

d'Inverno, M. and Luck, M. (1997) Making and Breaking Engagements: An Operational Analysis of Agent Relationships. In: in Multi-Agent Systems Methodologies and Applications: Proceedings of the Second Australian Workshop on Distributed Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1286 . Springer, pp. 48-62.

d'Inverno, M. and Luck, M. (1996) A Formal View of Social Dependence Networks. In: Distributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1087 . Springer, pp. 115-129.

Luck, M. and d'Inverno, M. (1996) Engagement and Cooperation in Motivated Agent Modelling. In: Distributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1087 . Springer, pp. 70-84.

Jones, Andrew J. I. (1996) Foreword. Studia Logica, 57 (1). pp. 3-4.

d'Inverno, M. and Luck, M. (1996) Formalising the Contract Net as a Goal Directed System. In: Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World. Lecture Notes in Artificial Intelligence, 1038 . Springer, pp. 72-85.

d'Inverno, M. and Luck, M. (1996) Understanding Autonomous Interaction. In: ECAI'96 - Proceedings of the 13th European Conference on Artificial Intelligence.

Luck, M. and d'Inverno, M. (1995) A Formal Framework for Agency and Autonomy. In: Proceedings of the First International Conference on Multi-Agent Systems.

Luck, Michael and Joy, Mike (1995) Automatic submission in an evolutionary approach to computer science teaching. Computers and Education, 25 (3). pp. 105-111.

Luck, M. and d'Inverno, M. (1995) Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users. Lecture Notes in Computer Science, 967 . Springer, pp. 48-62.

Luck, Michael (1993) Evaluating Evidence for Motivated Discovery. In: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93,.

Jones, Andrew J. I. (1993) Towards a Formal Theory of Defeasible Deontic Conditionals. Annals of Mathematics and Artificial Intelligence, 9 (1-2). pp. 151-166.

Tyson, Gareth and Taweel, Adel and Zschaler, Steffen and Van Staa, Tjeerd and Delaney, Brendan A Model-Driven Approach to Interoperability and Integration in Systems of Systems. In: The 3rd International Workshop on Model-Based Software and Data Integration (MBSDI), 6/06/11, Birmingham, UK.

Miles, Simon and Oren, Nir and Luck, Michael and Modgil, Sanjay and Meneguzzi, Felipe and Faci, Nora and Holt, Camden and Vickers, Gary Electronic Business Contracts between Services. In: Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications. IGI Global. (In Press)

This list was generated on Fri Apr 18 08:04:19 2014 BST.