King's College London

Research portal

Research Outputs

  1. 2017
  2. Stereotype Reputation with Limited Observability

    Taylor, P., Griffiths, N., Barakat, L. & Miles, S., 25 Nov 2017, Autonomous Agents and Multiagent Systems - AAMAS 2017 Workshops, Revised Selected Papers. Springer Verlag, Vol. 10642 LNAI. p. 84-102 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10642 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  3. Resource re-allocation for data inter-dependent continuous tasks in grids

    Haberland, V., Miles, S. & Luck, M., 2017, Multi-Agent Systems and Agreement Technologies: 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Revised Selected Papers. Springer Verlag, Vol. 10207 LNAI. p. 187-201 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10207 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  4. The 'PEARL' Data Warehouse: Initial Challenges Faced with Semantic and Syntactic Interoperability

    Mahmoud, S., Boyd, A., Curcin, V., Bache, R., Ali, A., Miles, S., Taweel, A., Delaney, B. & Macleod, J., 2017, Informatics for Health: Connected Citizen-Led Wellness and Population Health. IOS Press, Vol. 235. p. 156-160 5 p. (Studies in Health Technology and Informatics; vol. 235).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. 2016
  6. Cooperation emergence under resource-constrained peer punishment

    Mahmoud, S., Miles, S. & Luck, M., 2016, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 900-908 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  7. Reputation-based Provider Incentivisation for Provenance Provision

    Barakat, L., Mahmoud, S., Taylor, P., Griffiths, N. & Miles, S., 2016, AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1429-1430 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  8. 2015
  9. Incorporating Mitigating Circumstances into Reputation Assessment

    Miles, S. & Griffiths, N., 15 Nov 2015, Advances in Social Computing and Multiagent Systems. Vol. 541. p. 77-93

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  10. Quantitative analysis of Multiagent systems through statistical model checking

    Herd, B., Miles, S., McBurney, P. & Luck, M., 15 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9318. p. 109-130 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9318).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. A Context-aware Approach for Personalised and Adaptive QoS Assessments

    Barakat, L., Taweel, A., Luck, M. & Miles, S., Nov 2015, Proceeding of the 13th International Conference on Service Oriented Computing: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 9435. p. 362-370 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. Norm establishment constrained by limited resources

    Mahmoud, S., Miles, S., Taweel, A., Delaney, B. & Luck, M., May 2015, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1819-1820 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Modelling and Analysing Provenance Awareness Infrastructure for SOC systems

    Zerva, P., Zschaler, S. & Miles, S., Apr 2015, Service-Oriented System Engineering (SOSE), 2015 IEEE Symposium on. IEEE, Vol. 1. p. 40-49 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  14. Reliability-Aware marketplace for food services

    Barakat, L., Barrera, J. C., Charvill, J., Rivas, S., Sanchez, V., Taweel, A. & Miles, S., 10 Mar 2015, eChallenges e-2014 Conference. Institute of Electrical and Electronics Engineers Inc., 7058149

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  15. Accounting for circumstances in reputation assessment

    Miles, S. & Griffiths, N., 2015, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1653-1654 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Approximate verification of swarm-based systems: a vision and preliminary results

    Herd, B. C., Miles, S., McBurney, P. J. & Luck, M. M., 2015, Engineering Systems for Safety: Proceedings of the 23rd Safety-critical Systems Symposium. Createspace

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  17. Context-driven Assessment of Provider Reputation in Composite Provision Scenarios

    Barakat, L., Taylor, P., Griffiths, N. & Miles, S., 2015, Proceeding of the 13th International Conference on Service Oriented Computing. Springer, p. 53-67 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. MC2MABS: A Monte Carlo Model Checker for Multiagent-based Simulations

    Herd, B. C., Miles, S., McBurney, P. J. & Luck, M. M., 2015, Multi-Agent-Based Simulation XVI: Proceedings of the Sixteenth International Workshop on Multi-Agent-Based Simulation (MABS 2015). Springer, Vol. 9586. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  19. Monitoring hierarchical agent-based simulation traces

    Herd, B., Miles, S., McBurney, P. & Luck, M., 2015, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 463-471 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  20. 2014
  21. An Industrial Case Study on Provenance Awareness of Composite Services

    Zerva, P., Hamadache, K., Angouras, G., Zschaler, S. & Miles, S., Aug 2014, Semantics, Knowledge and Grids (SKG), 2014 10th International Conference on. Institute of Electrical and Electronics Engineers Inc., Vol. 1. 14761190

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. Monitoring the Impact of Norms upon Organisational Performance: A Simulation Approach

    Haynes, C., Miles, S. & Luck, M., 4 Jun 2014, Coordination, Organizations, Institutions and Norms in Agent Systems IX. Balke, T., Chopra, A., Dignum, F. & van Riemsdijk, B. (eds.). Springer, p. 103-119 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Verification and validation of agent-based simulations using approximate model checking

    Herd, B., Miles, S., McBurney, P. & Luck, M., 1 Apr 2014, Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Alam, S. J. & Parunak, H. V. D. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 8235 LNAI. p. 53-70 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8235 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. A distributed service-based system for homecare self-management

    Taweel, A., Barakat, L. & Miles, S., 1 Jan 2014, On the Move to Meaningful Internet Systems: OTM 2014 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings. Meersman, R., Panetto, H., Mishra, A., Valencia-Garcia, R., Lucas Soares, A., Ciuciu, I., Ferri, F., Weichhart, G., Moser, T., Bezzi, M. & Chan, H. (eds.). Springer Berlin Heidelberg, p. 361-366 6 p. (Lecture Notes in Computer Science; vol. 8842).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. An agent-based service marketplace for dynamic and unreliable settings

    Barakat, L., Mahmoud, S., Miles, S., Taweel, A. & Luck, M., 1 Jan 2014, Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings. Franch, X., Ghose, A. K., Lewis, G. A. & Bhiri, S. (eds.). Springer Berlin Heidelberg, p. 169-183 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8831).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  26. Associations between working memory and white matter integrity in normal ageing

    Charlton, R. A. & Morris, R., 1 Jan 2014, Working Memory and Ageing. Taylor and Francis, p. 97-128 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Multi-agent system for recruiting patients for clinical trials

    Mahmoud, S., Tyson, G., Miles, S., Taweel, A., Vanstaa, T., Luck, M. & Delaney, B., 1 Jan 2014, AAMAS '14: Proceedings of the 2014 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 981-988 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  28. A Provenance Model of Composite Services in Service-Oriented Environments

    Zerva, P., Zschaler, S. & Miles, S., 2014, Proc. 8th IEEE Int'l Symposium on Service-Oriented System Engineering (SOSE 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  29. Information-based Incentivisation when Rewards are Inadequate

    Mahmoud, S., Barakat, L., Miles, S., Taweel, A., Delaney, B. & Luck, M., 2014, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 263. p. 591-596 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  30. Introduction: Working memory and the ageing brain

    Logie, R. H. & Morris, R., 2014, Working Memory and Ageing. Psychology Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Negotiation to execute continuous long-term tasks

    Haberland, V., Miles, S. & Luck, M., 2014, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 263. p. 1019-1020 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  32. Pattern-based explanation for automated decisions

    Nunes, I., Miles, S., Luck, M., Barbosa, S. & Lucena, C., 2014, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 263. p. 669-674 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  33. 2013
  34. Provenance-aware pervasive computing in clinical applications

    Kovalchuk, Y., Chen, Y., Miles, S., Liang, S. F. & Taweel, A., 1 Dec 2013, 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, p. 297-302 6 p. 6673376

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. Agent-oriented software engineering of distributed ehealth systems

    Taweel, A., Garcia, E., Miles, S. & Luck, M., 5 Nov 2013, On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. Demey, Y. T. & Panetto, H. (eds.). Springer Berlin Heidelberg, p. 332-341 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8186 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. Analysing the suitability of multiagent methodologies for e-health systems

    Garcia, E., Tyson, G., Miles, S., Luck, M., Taweel, A., Van Staa, T. & Delaney, B., 5 Sep 2013, Agent-Oriented Software Engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Muller, J. P. & Cossentino, M. (eds.). Springer Berlin Heidelberg, p. 134-150 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7852 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  37. An SOA-based Platform for Automating Clinical Trial Feasibility Study

    Chen, Y., Bache, R., Miles, S., Cuggia, M., Soto-Rey, I. & Taweel, A., Jul 2013, Proceedings of the IADIS International conference e-Health 2013. Macedo, M. (ed.). Prague: IADIS, p. 84-94 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Provenance model for randomized controlled trials

    Curcin, V., Danger, R., Kuchinke, W., Miles, S., Taweel, A. & Ohmann, C., 1 Jan 2013, Data Provenance and Data Management in eScience. Liu, Q., Bai, Q., Giugni, S., Williamson, D. & Taylor, J. (eds.). Springer Berlin Heidelberg, p. 3-33 31 p. (Studies in Computational Intelligence; vol. 426).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. An Architecture for Justified Assessments of Service Provider Reputation

    Griffiths, N. & Miles, S., 2013, 2013 IEEE 10th International Conference on e-Business Engineering (ICEBE). N/A ed. N/A: IEEE, Vol. N/A. p. 345-352 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  40. Towards Design Support for Provenance Awareness: A Classification of Provenance Questions

    Zerva, P., Zschaler, S. & Miles, S., 2013, Proc. Int'l Workshop on Managing and Querying Provenance Data at Scale (BIGProv'13).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  41. Towards a general model for adapting structure while maintaining topology: Pipelines

    Shaw, M., Keppens, J., Luck, M. & Miles, S., 2013, Coordination, Organizations, Institutions, and Norms in Agent Systems VIII: 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers. Aldewereld, H. & Sichman, J. S. (eds.). Springer Berlin Heidelberg, Vol. 7756 LNAI. p. 174-191 18 p. (Lecture Notes in Computer Science ; vol. 7756 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  42. 2012
  43. Efficient correlation-aware service selection

    Barakat, L., Miles, S. & Luck, M., 24 Sep 2012, 2012 IEEE 19th International Conference on Web Services. Goble, C., Chen, P. & Zhang, J. (eds.). IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  44. Reactive service selection in dynamic service environments

    Barakat, L., Miles, S. & Luck, M., 14 Sep 2012, Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. De Paoli, F., Pimentel, E. & Zavattaro, G. (eds.). Springer Berlin Heidelberg, p. 17-31 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7592 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. A Trace-Driven Analysis of Caching in Content-Centric Networks

    Tyson, G., Kaune, S., Miles, S., El-khatib, Y., Mauthe, A. & Taweel, A., 2012, 2012 21st International Conference on Computer Communications and Networks (ICCCN). Piscataway, N.J.: IEEE, 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  46. Dynamically Adapting BDI Agents Based on High-Level User Specifications

    Nunes, I., Luck, M., Junqueira Barbosa, S. D., Miles, S. & de Lucena, C. J. P., 2012, Advanced Agent Technology: AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers. Dechesne, F., Hattori, H., TerMors, A., Such, JM., Weyns, D. & Dignum, F. (eds.). Berlin: Springer Berlin Heidelberg, p. 139-163 25 p. (Lecture Notes in Computer Science; vol. 7068).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  47. Transparent Provenance Derivation for User Decisions

    Nunes, I., Chen, Y., Miles, S., Luck, M. & de Lucena, C. J. P., 2012, Provenance and Annotation of Data and Processes: 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers. Groth, P. & Frew, J. (eds.). N/A ed. Berlin and New York: Springer, Vol. N/A. p. 111-125 15 p. (Lecture Notes in Computer Science; vol. 7525).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  48. User-centric principles in automated decision making

    Nunes, I., Miles, S., Luck, M. & de Lucena, C. J. P., 2012, Advances in artificial intelligence - SBIA 2012 : 21st Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012: proceedings. Barros, L. N. (ed.). N/A ed. Berlin: Springer, Vol. N/A. p. 42-51 10 p. (Lecture Notes in Artificial Intelligence; vol. 7589).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  49. 2011
  50. An Agent-Based Approach to Real-Time Patient Identification for Clinical Trials

    Tyson, G., Taweel, A., Miles, S., Luck, M., Van Sta, T. & Delaney, B., 2011, Electronic Healthcare: 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers. Kostkova, P., Szomszor, M. & Fowler, D. (eds.). Springer Berlin Heidelberg, p. 138-145 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 91).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  51. Analyzing Contract Robustness through a Model of Commitments

    Chopra, A. K., Oren, N., Modgil, S., Desai, N., Miles, S., Luck, M. & Singh, M. P., 2011, AGENT-ORIENTED SOFTWARE ENGINEERING XI. Weyns, D. & Gleizes, MP. (eds.). BERLIN: Springer, Vol. 6788 LNCS. p. 17-36 20 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  52. Flexible behaviour regulation in agent based systems

    Luck, M., Barakat, L., Keppens, J., Mahmoud, S., Miles, S., Oren, N., Shaw, M. & Taweel, A., 2011, Collaborative Agents - Research and Development: International Workshops, CARE@AI09 2009 / CARE@IAT10 2010, Melbourne Australia, December 1, 2009 and Toronto Canada, August 31, 2010, Revised Selected Papers. Guttmann, C., Dignum, F. & Georgeff, M. (eds.). BERLIN: Springer, p. 99-113 15 p. (Lecture Notes in Computer Science; vol. 6066).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  53. Reachability analysis for agent-based simulations

    Herd, B., Miles, S., McBurney, P. & Luck, M., 2011, Proceedings of the 1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  54. Research and Development in Intelligent Systems XXVII,

    Croitoru, M., Oren, N., Miles, S. & Luck, M., 2011, Proceedings of AI-2010: The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer, p. 48 - 55 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  55. 2010
  56. A Model of Normative Power

    Oren, N., Luck, M. & Miles, S., 2010, AAMAS '10 : Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, Vol. 1. p. 815 - 822 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  57. Automatically Adapting Source Code to Document Provenance

    Miles, S., 2010, Provenance and Annotation of Data and Processes: Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers. McGuinness, D. L., Michaelis, J. R. & Moreau, L. (eds.). Berlin: Springer Berlin Heidelberg, p. 102 - 110 9 p. (Lecture Notes in Computer Science; vol. 6378).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  58. Electronic Business Contracts Between Services

    Miles, S., Oren, N., Luck, M., Modgil, S., Meneguzzi, F., Faci, N., Holt, C. & Vickers, G., 2010, Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies, and Applications . Antonopoulos, N., Exarchakos, G., Li, M. & Liotta, A. (eds.). IGI Global, p. 732 - 746 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454