Research output per year
Research output per year
Search results
-
2017
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 proceeding › Other chapter contribution › peer-review
1 Citation (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 proceeding › Other chapter contribution
14 Citations (Scopus) -
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 proceeding › Other 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 proceeding › Other 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 proceeding › Other 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 proceeding › Other 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 proceeding › Other 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 proceeding › Other 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 proceeding › Other chapter contribution
15 Citations (Scopus)