Filter
Other chapter contribution

Search results

  • 2017

    A dynamic logic framework for abstract argumentation: Adding and removing arguments

    Doutre, S., Maffre, F. & McBurney, P., 3 Jun 2017, (E-pub ahead of print) Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems. Springer Verlag, Vol. 10351 LNCS. p. 295-305 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10351 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contributionpeer-review

    15 Citations (Scopus)
  • Multi-agent system for distributed cache maintenance

    Kuppili Venkata, S., Musial, K., Mahmoud, S. & Keppens, J., 2017, Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection - 15th International Conference, PAAMS 2017, Proceedings. Springer Verlag, Vol. 10349 LNCS. p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10349 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contributionpeer-review

    Open Access
    File
    251 Downloads (Pure)
  • 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 contributionpeer-review

    1 Citation (Scopus)
  • Stereotype Reputation with Limited Observability

    Taylor, P., Griffiths, N., Barakat, L. & Miles, S., 25 Nov 2017, (E-pub ahead of print) 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 contributionpeer-review

    1 Citation (Scopus)
  • 2016

    When and how to violate norms

    Bench-Capon, T. & Modgil, S., 2016, Legal Knowledge and Information Systems - JURIX 2016: The 29th Annual Conference. IOS Press, Vol. 294. p. 43-52 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 294).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contributionpeer-review

    5 Citations (Scopus)
  • 2011

    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, M. (eds.). BERLIN: Springer, Vol. 6788 LNCS. p. 17-36 20 p.

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

    14 Citations (Scopus)
  • Service and model-driven dynamic integration of health data

    Taweel, A., Speedie, S., Tyson, G., Tawil, A. R. H., Peterson, K. & Delaney, B., 28 Oct 2011, International Conference on Information and Knowledge Management, Proceedings. p. 11-17 7 p.

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

    12 Citations (Scopus)
  • 2009

    Communication, knowledge and co-ordination management in globally distributed software development: Informed by a scientific software engineering case study

    Taweel, A., Delaney, B., Arvanitis, T. N. & Zhao, L., 2009, Proceedings - 2009 4th IEEE International Conference on Global Software Engineering, ICGSE 2009. p. 370-375 6 p.

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

    26 Citations (Scopus)
  • Knowledge management in distributed scientific software development

    Taweel, A., Delaney, B. & Zhao, L., 2009, Proceedings - 2009 4th IEEE International Conference on Global Software Engineering, ICGSE 2009. p. 299-300 2 p.

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

  • 2006

    Formal Methods and Agent-Based Systems

    Luck, M. & d'Inverno, M., 2006, Agent Technology from a Formal Perspective. Rouff, C. A., Hinchey, M., Rash, J., Truszkowski, W. & Gordon-Spears, D. (eds.). Springer Finance, p. 65-96 32 p. (NASA Monographs in Systems and Software Engineering).

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

  • Interaction, planning and motivation

    Jennings, N. R., Cohn, A. G., Fox, M., Long, D., Luck, M., Michaelides, D. T., Munroe, S. & Weal, M. J., 2006, Cognitive systems: Information processing meets brain science. Morris, R., Taressenko, L. & Kenward, M. (eds.). Elsevier, p. 163-188 26 p.

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

  • 2004

    3M Motivational Taxonomy

    Munroe, S. J. & Luck, M., 2004, Agents and Computational Autonomy: potential, risks, and solutions. Nickles, M., Rovatsos, M. & Weiss, G. (eds.). n/a ed. Berlin and London: Springer Finance, Vol. n/a. p. 55-67 13 p. (Lecture notes in artificial intelligence; vol. 2969).

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

    4 Citations (Scopus)
  • A Model of Normative Multi-agent Systems and Dynamic Relationships

    López, F. L. Y. & Luck, M., 2004, Regulated Agent-Based Social Systems: First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers. Moldt , D., Paolucci, M. & Lindemann, G. (eds.). N/A ed. Berlin and New York: Springer Finance, Vol. N/A. p. 259-280 22 p. (Lecture Notes in Artificial Intelligence; vol. 2934).

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

  • 2003

    Autonomy: Variable and Generative

    Luck, M., Munroe, S. & d'Inverno, M., 2003, Agent Autonomy. Hexmoor, H., Castelfranchi, C. & Falcone, R. (eds.). Kluwer, p. 9-22 14 p.

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

  • 2000

    Applying Agents to Bioinformatics in GeneWeaver

    Bryson, K., Luck, M., Joy, M. & Jones, D. T., 2000, Cooperative Information Agents IV, The Future of Information Agents in Cyberspace, Proceedings of the 4th International Workshop on Cooperative Information Agents. Springer-Verlag Berlin Heidelberg, Vol. 1860. p. 60-71 12 p. (Lecture Notes in Artificial Intelligence).

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

    25 Citations (Scopus)
  • 1995

    Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems

    Luck, M. & d'Inverno, M., 1995, ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users. Bowen, J. P. & Hinchey, M. G. (eds.). Springer Finance, Vol. 967. p. 48-62 15 p. (Lecture Notes in Computer Science).

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

    15 Citations (Scopus)