V. Haberland, S. Miles and M. Luck,Time-sensitive resource re-allocation strategy for interdependent continuous tasks, Knowledge Engineering Review34: e09, 2019. [doi: 10.1017/S0269888919000067 | read online]
L. Barakat, P. Taylor, N. Griffiths, A. Taweel, M. Luck and S. Miles, Toward personalized and adaptive QoS assessments via context awareness, Computational Intelligence34(2), 468–494, 2018. [doi: 10.1111/coin.12129]
B. Herd, S. Miles, P. McBurney and M. Luck, Quantitative analysis of multi-agent systems through statistical verification of simulation traces, International Journal of Agent-Oriented Software Engineering, 6(2): 156-186, 2018. [doi: 10.1504/IJAOSE.2018.094373]
J. Murphy, A. Burdusel, M. Luck, S. Zschaler and E. Black, Deriving Persuasion Strategies Using Search-Based Model Engineering, in S. Modgil, K. Budzynska and J. Lawrence (eds.), Computational Models of Argument - Proceedings of COMMA 2018, Frontiers in Artificial Intelligence and Applications 305, IOS Press, 221-232. 2018. [doi: 10.3233/978-1-61499-906-5-221]
O. Rodrigues, E. Black, M. Luck and J. Murphy, On Structural Properties of Argumentation Frameworks: Lessons from ICCMA, in Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), CEUR Workshop Proceedings 2171, CEUR-WS.org, 22-35, 2018.
C. Haynes, M. Luck, P. McBurney, S. Mahmoud, T. Vítek and S. Miles, Engineering the emergence of norms: a review. Knowledge Engineering Review32:e18, 2017. [doi: 10.1017/S0269888917000169]
D. Kohan Marzagão, J. Murphy, A. P. Young, M. Matheus Gauy, M. Luck, P. McBurney and E. Black, Team Persuasion, in E. Black, S. Modgil and N. Oren (eds.), Theory and Applications of Formal Argumentation - 4th International Workshop, TAFA 2017, Revised Selected Papers, Lecture Notes in Computer Science 10757, 159-174, Springer, 2018. [doi: 10.1007/978-3-319-75553-3_12]
J. Murphy, I. Sassoon, M. Luck and E. Black, An Investigation of Argumentation Framework Characteristics, in E. Black, S. Modgil and N. Oren (eds.), Theory and Applications of Formal Argumentation - 4th International Workshop, TAFA 2017, Revised Selected Papers, Lecture Notes in Computer Science 10757, 1-16, Springer, 2018. [doi: 10.1007/978-3-319-75553-3_1]
2016
N. Criado, E. Black and M. Luck, A coherence maximisation process for solving normative inconsistencies, Autonomous Agents and Multi-Agent Systems,30(4): 640-680, 2016.
J. Murphy, E. Black and M. Luck, A Heuristic Strategy for Persuasion Dialogues, in Computational Models of Argument: Proceedings of COMMA 2016, Frontiers in Artificial Intelligence and Applications, 287, 411-418, 2016.
V. Haberland, S Miles and M. Luck, Resource Re-allocation for Data Inter-dependent Continuous Tasks in Grids, in Multi-Agent Systems and Agreement Technologies - 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Revised Selected Papers, Lecture Notes in Computer Science 10207, 187-201, Springer 2017.
2015
L. Barakat, A. Taweel, M. Luck, S. Miles, A Context-aware Approach for Personalised and Adaptive QoS Assessments, in Proceedings of the 13th International Conference on Service Oriented Computing, 362-370, 2015. [doi: 10.1007/978-3-662-48616-0_25]
E. Garcia, S. Miles, M. Luck and A. Giret, Evaluating how agent methodologies support the specification of the normative environment through the development process. Autonomous Agents and Multi-Agent Systems,29(6), 1041-1060, 2015. [doi: 10.1007/s10458-014-9275-z]
C. Haynes, S. Miles and M. Luck, Probationary Contracts: Reducing Risk in Norm-Based Systems, Multi-Agent Systems and Agreement Technologies - 14th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Revised Selected Papers, Lecture Notes in Computer Science 9571, 3-18, Springer, 2016.
B. Herd, S. Miles, P. McBurney and M. Luck, Monitoring hierarchical agent-based simulation traces, in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 463-471, 2015.
B. Herd, S. Miles, P. McBurney and M. Luck, Quantitative Analysis of Multiagent Systems Through Statistical Model Checking, in M. Baldoni, L. Baresi and M. Dastani (eds.), Engineering Multi-Agent Systems - Third International Workshop, EMAS 2015, Revised, Selected, and Invited Papers, Lecture Notes in Computer Science 9318, 109-130, Springer, 2015.
B. Herd, S. Miles, P. McBurney and M. Luck, MC2MABS: A Monte Carlo Model Checker for Multiagent-Based Simulations, in B. Gaudou and J. Simão Sichman, Multi-Agent-Based Simulation XVI - International Workshop, MABS 2015, Revised Selected Papers, Lecture Notes in Computer Science 9568, 37-54, Springer, 2016.
Z. Ibrahim, R. Dobson, A. Stringaris, L. F. de la Cruz, R. Goodman and M. Luck, A Multi-Agent Platform for Automating the Collection of Patient-Provided Clinical Feedback, in Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 831-839, 2015. [ACM DL]
S. Mahmoud, N. Griffiths, J. Keppens, A. Taweel, T. J. M. Bench-Capon and M. Luck, Establishing norms with metanorms in distributed computational systems. Artificial Intelligence and Law, 23(4), 367-407, 2015. [doi: 10.1007/s10506-015-9176-8]
S. Mahmoud, S. Miles, M. Luck, A. Taweel and B. Delaney, Norm Establishment Constrained by Limited Resources, inProceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 1819-1820, 2015. [ACM DL]
I. Nunes, S. D. J. Barbosa, D. Cowan, S. Miles, M. Luck and C. J.P. de Lucena, Natural Language-based Representation of User Preferences, Interacting with Computers, 27(2), 133-158 2015. [doi: 10.1093/iwc/iwt060]
I. Nunes, S. Miles, M. Luck and C. J.P. de Lucena, An Introduction to Reasoning over Qualitative Multi-attribute Preferences, Knowledge Engineering Review, 30(3), 342-372, 2015. [doi: 10.1017/S0269888915000016]
A. Peleteiro, J. C. Burguillo, M. Luck, J. Ll. Arcos, J. A. Rodríguez-Aguilar, Using reputation and adaptive coalitions to support collaboration in competitive environments, Engineering Applications of Artificial Intelligence, 45, 325-338, 2015.[doi:10.1016/j.engappai.2015.07.009]
2014
L. Barakat, S. Miles and M. Luck, Efficient adaptive QoS-based service selection, Service Oriented Computing and Applications, 8(4), 261-276, 2014. [doi: 10.1007/s11761-013-0149-z]
L. Barakat, S. Mahmoud, S. Miles, A. Taweel and M. Luck, An Agent-Based Service Marketplace for Dynamic and Unreliable Settings, in X. Franch, A. K. Ghose, G. A. Lewis and S. Bhiri (eds.), Service-Oriented Computing: Proceedings of the 12th International Conference, ICSOC 2014, Lecture Notes in Computer Science 8831, 169-183, Springer 2014. [doi: 10.1007/978-3-662-45391-9_12]
M. Chapman, G. Tyson, P. McBurney, M. Luck and S. Parsons, Playing Hide-and-Seek: An abstract game for cyber security, in N. Criado, M. Rehak, J. M. Such, and L. Vercouter (eds.), Proceedings of the First International Workshop on Agents and CyberSecurity (ACySE), 2014.
V. Haberland, S. Miles and M. Luck, Negotiation to Execute Continuous Long-Term Tasks, in Proceedings of the 21st European Conference on Artificial Intelligence, 1019-1020, 2014.
B. Herd, S. Miles, P. McBurney and M. Luck, Verification and Validation of Agent-Based Simulations using Approximate Model Checking, in S. J. Alam and H. V. D. Parunak (eds.), Multi-Agent-Based Simulation XIV, Revised Selected Papers, Lecture Notes in Artificial Intelligence 8235, 53–70, Springer 2014. [doi:10.1007/978-3-642-54783-6 4]
S. Mahmoud, S. Miles, A. Taweel, M. Luck, G. Tyson, T. van Staa and B. Delaney, Multi-Agent System for Recruiting Patients for Clinical Trials, in A. Lomuscio, P. Scerri, A. Bazzan, and M. Huhns (eds.), Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems, 981-988, 2014.
I. Nunes and M. Luck, Softgoal-based Plan Selection in Model-driven BDI Agents, in A. Lomuscio, P. Scerri, A. Bazzan, and M. Huhns (eds.), Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems, 749-756, 2014.
A. Voinitchi, E. Black and M. Luck. Towards disrupting teams' plans, in Proceedings of the 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN), 2014.
A. Voinitchi, E. Black and M. Luck. On the disruption of plans, in Proceedings of the 31st Workshop of the UK Planning & Scheduling Special Interest Group (PlanSIG 2013), 2014.
M. d'Inverno, M. Luck, P. Noriega, J. A. Rodríguez-Aguilar and C. Sierra, Communicating Open Systems: Extended Abstract, in F. Rossi (ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 3146-3150, IJCAI/AAAI 2013.
E. Garcia, G. Tyson, S. Miles, M. Luck, A. Taweel, T. Van Staa and B. Delaney, Analysing the Suitability of Multiagent Methodologies for e-Health Systems, in J. P. Müller and M. Cossentino (eds.), Agent-Oriented Software Engineering XIII, Lecture Notes in Computer Science Volume 7852, 2013, 134-150, Springer, 2013. [doi: 10.1007/978-3-642-39866-7_8]
M. Jacyno, S. Bullock, N. Geard, T. Payne and M. Luck, Self-organising agent communities for autonomic resource management, Adaptive Behavior, 21(1), 3-28, 2013. [doi: 10.1177/1059712312462247]
M. Luck, S. Mahmoud, F. Meneguzzi, M. Kollingbaum, T. J. Norman, N. Criado and M. S. Fagundes, Normative Agents, in S. Ossowski (ed.), Agreement Technologies, Law, Governance and Technology Series, Vol. 8, Springer, 209-220, 2013. [doi: 10.1007/978-94-007-5583-3_14]
F. Meneguzzi and M. Luck, Declarative planning in procedural agent architectures, Expert Systems With Applications, 40(16), 6508-6520, 2013. [doi: 10.1016/j.eswa.2013.05.058]
A. Taweel, E. Garcia, S. Miles and M. Luck, Agent-Oriented Software Engineering of Distributed eHealth Systems, in Y. T. Demey and H. Panetto (eds.), On the Move to Meaningful Internet Systems: OTM 2013 Workshops, Lecture Notes in Computer Science 8186, 332-341, Springer 2013. [doi: 10.1007/978-3-642-41033-8_42]
2012
L. Barakat, S. Miles and M. Luck, Efficient Correlation-aware Service Selection, in Proceedings of the Tenth International Conference on Web Services, 2012. [doi:10.1109/ICWS.2012.62]
L. Barakat, S. Miles and M. Luck, Reactive Service Selection in Dynamic Service Environments, in F. De Paoli, E. Pimentel and G. Zavattaro (eds.), Proceedings of the First European Conference on Service-Oriented and Cloud Computing, Lecture Notes in Computer Science 7592, 17-31, 2012 [doi: 10.1007/978-3-642-33427-6_2]
M. Chapman, G. Tyson, K. Atkinson, M. Luck and P. McBurney, Social networking and information diffusion in automated markets, in Proceedings of the Joint International Workshop on Trading Agent Design and Analysis (TADA) and Agent-Mediated Electronic Commerce (AMEC), 89-102, 2012.
E. Garcia, G. Tyson, S. Miles, M. Luck, A. Taweel, B. Delaney and T. Van Staa, An Analysis of Agent-Oriented Engineering of e-Health Systems, in Proceedings of the 13th International Workshop on Agent-Oriented Software Engineering (AOSE 2012), 105-116, 2012.
E. Georgiou, J. Dai and M. Luck, Regularized Linear Regression for Distance Estimation with an RGB-D Sensor, in E.Bicho, F. Ribeiro and L. Louro (eds.), Proceedings of the 12th International Conference Autonomous Robot Systems and Competitions (Robotica), 87-91, 2012.
E. Georgiou, J. Dai and M. Luck, The KCLBOT: The Challenges of Stereo Vision for an Autonomous Mobile Robot, in Proceedings of the ASME 2012 International Design Engineering Technical Conferences (IDETC) and Computers and Information in Engineering Conference (CIE), 2012
E. Georgiou, J. Dai and M. Luck, A stereo vision model for a small form factor autonomous mobile robot “KCLBOT”, in Proceedings of the 15th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines (CLAWAR2012), 2012.
Z. Maamar, N. Faci, M. Luck and S. Hachimi, Specifying and Implementing Social Web Services Operation using Commitments, in Proceedings of the 27th Symposium on Applied Computing, 1955-1960, ACM, 2012.
S. Mahmoud, N. Griffiths, J. Keppens and M. Luck, Establishing Norms for Network Topologies, in S. Cranefield, J. Vazquez-Salceda, B. van Riemsdijk and P. Noriega (eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems VII, Lecture Notes in Computer Science 7254, 203-220, Springer, 2012. [doi: 10.1007/978-3-642-35545-5_12]
S. Mahmoud, M. Luck, J. Keppens and N. Griffiths, Norm Emergence: Overcoming Hub Effects in Scale Free Networks, in Proceedings of the Fourteenth International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2012), 136-150, 2012.
F. Meneguzzi, W. Vasconcelos, N. Oren, and M. Luck, Nu-BDI: Norm-aware BDI Agents, in Proceedings of the 10th European Workshop on Multi-Agent Systems, 2012.
I. Nunes, S. Miles, M. Luck and C. J. P. Lucena, User-centric preference-based decision making, in Conitzer, Winikoff, Padgham, and van der Hoek, ed., Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 1225-1226, 2012.
I. Nunes, S. Miles, M. Luck and C. J. P. Lucena, Investigating Explanations to Justify Choice, in J. Masthoff, B. Mobasher, M. C. Desmarais and R. Nkambou (eds.), in User Modeling, Adaptation, and Personalization: Proceedings of the Twentieth International Conference on User Modeling, Adaptation and Personalization (UMAP 2012), Lecture Notes in Computer Science 7379, 212-224, 2012. [doi:10.1007/978-3-642-31454-4_18]
I. Nunes, M. Luck, S. D. J, Barbosa, S. Miles and C. J. P. de Lucena, Dynamically Adapting BDI Agents Based on High-Level User Specifications, in F. Dechesne, H. Hattori, A. ter Mors, J. M. Such, D. Weyns and F. Dignum (eds.), Advanced Agent Technology: AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers, Lecture Notes in Computer Science 7068, 139-163, Springer, 2012.
I. Nunes, Y. Chen, S. Miles, M. Luck and C. J. P. Lucena, Transparent Provenance Derivation for User Decisions, in P. Groth and J. Frew, (eds.), Provenance and Annotation of Data and Processes: Fourth International Provenance and Annotation Workshop, Lecture Notes in Computer Science 7254, 203-220, Springer, 2012. [doi: 10.1007/978-3-642-34222-6_9]
I. Nunes, S. Miles, M. Luck and C. J. P. Lucena, User-centric Principles in Automated Decision Making, in in L. N. Barros, M. Finger, A. T. R. Pozo, G. A. Gimenénez-Lugo, and M. Castilho (eds.), in Proceedings of the 21st Brazilian Symposium on Artificial Intelligence (SBIA 2012), Lecture Notes in Computer Science 7589, 42-51, Springer, 2012. [doi: 10.1007/978-3-642-34459-6_5]
A. K. Chopra, N. Oren, S. Modgil, N. Desai, S. Miles, M. Luck and M. P. Singh, Analyzing Contract Robustness through a Model of Commitments, in D. Weyns, M. P. Gleizes (eds.), Agent-Oriented Software Engineering XI, 11th International Workshop, AOSE 2010, Revised Selected Papers, Lecture Notes in Computer Science 6788, 17-36, Springer 2011. [doi: 10.1007/978-3-642-22636-6_2]
M. Croitoru, N. Oren, S. Miles and M. Luck, Graph-based Norm Explanation, in M. Bramer, M. Petridis and A. Hopgood (eds.), Research and Development in Intelligent Systems XXVII, Proceedings of AI-2010: The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 35-48, Springer, 2011.
M, d’Inverno, M. Luck, P. Noriega, J. A. Rodriguez-Aguilar and C. Sierra, Weaving a Fabric of Socially Aware Agents, in Agents in Principle, Agents in Practice, 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings, Lecture Notes in Computer Science 7047, 263-274, 2011. DOI: 10.1007/978-3-642-25044-6_21
E. Georgiou, J. Dai and M. Luck, The KCLBOT: A Double Compass Self-localising Manoeuvrable Mobile Robot, in Proceedings of the 2011 ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, 2011.
M. Luck, L. Barakat, J. Keppens, S. Mahmoud, S. Miles, N. Oren, M. Shaw, A. Taweel, Flexible Behaviour Regulation in Agent Based Systems, in Collaborative Agents - Research and Development, Lecture Notes in Computer Science 6066, 99-113, 2011.
S. Mahmoud, J. Keppens, M. Luck, N. Griffiths, Overcoming Omniscience in Axelrod's Model, in Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 29-32, 2011.
S. Mahmoud, J. Keppens, M. Luck, N. Griffiths, Norm Establishment via Metanorms in Network Topologies, in Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 25-28, 2011.
I. Nunes, C. J. P. Lucena and M. Luck, BDI4JADE: a BDI layer on top of JADE, in L. A. Dennis, O. Boissier and R. H. Bordini (eds.), Proceedings of the Ninth International Workshop on Programming Multi-Agent Systems (ProMAS 2011), Taipei, Taiwan, 88-103, 2011.
N. Oren, M. Croitoru, S. Miles and M. Luck, Understanding Permissions through Graphical Norms, in A. Omicini, S. Sardina and W. Vasconcelos (eds.), Declarative Agent Languages and Technologies VIII, 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers, Lecture Notes in Computer Science 6619,167-184, Springer, 2011.
N. Oren, W. Vasconcelos, F. Meneguzzi, and M. Luck, Acting on Norm Constrained Plans, in J. Leite, P. Torroni, T. Agotnes, G. Boella and L. van der Torre (eds.), Computational Logic in Multi-Agent Systems, 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, Lecture Notes in Artificial Intelligence 6814, 347-363, Springer, 2011.
N. Griffiths, K-M. Chao, S. Miles, S. Modgil, N. Oren, M. Luck and K-J. Lin, Future Directions, in N. Griffiths and K-M. Chao (eds.), Agent-Based Service-Oriented Computing, 253-269, Springer, 2010
N. Griffiths and M. Luck, Norm Emergence in Tag-Based Cooperation, in Proceedings of the Ninth International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN 2010), 80-87, 2010.
S. Mahmoud, N. Griffiths, J. Keppens and M. Luck, An Analysis of Norm Emergence in Axelrod’s Model, in Proceedings of the Fifth International Workshop on Normative Multi-Agent Systems (NorMAS 2010), 23-28, 2010.
S. Miles, N. Oren, M. Luck, S. Modgil, F. Meneguzzi, N. Faci, C. Holt and G. Vickers. Electronic Business Contracts between Services, in N. Antonopoulos, G. Exarchakos and A. Liotta, M. Li (eds.), Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, 732-746, Information Science Reference, 2010. [doi: 10.4018/978-1-61520-686-5.ch031]
N. Oren, M. Luck and S. Miles, A Model of Normative Power, in Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems, 815-822, 2010.
N. Oren, C. Reed and M. Luck, Moving Between Argumentation Frameworks, in P. Baroni, F. Cerutti, M. Giacomin, G. R. Simari (eds.), Computational Models of Argument - Proceedings of COMMA 2010, IOS Press, 379-390, 2010
P. Groth, S. Miles, S. Modgil, N. Oren, Nir and M. Luck and Y. Gil, Determining the Trustworthiness of New Electronic Contracts, In Engineering Societies in the Agents World X, 10th International Workshop, ESAW 2009, Proceedings, Lecture Notes in Computer Science 5881, 132-147, Springer.
F. Meneguzzi and M. Luck,Norm-based behaviour modification in BDI agents, inProceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, 177-184, 2009.
F. Meneguzzi, S. Modgil, N. Oren, S. Miles, M. Luck, C. Holt and M. Smith, A contract-based system for aerospace aftercare, in Proceedings of the First International Conference on Digital Business (DigiBiz), 2009.
S. Modgil, N. Faci, F. Meneguzzi, N. Oren, S. Miles and M. Luck, A Framework for Monitoring Agent-Based Normative Systems, inProceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, 153-160, 2009.
C. Nguyen, S. Miles, A. Perini, P. Tonella, M. Harman and M. Luck,Evolutionary Testing of Autonomous Software Agents, inProceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, 521-528, 2009.
N. Oren, S. Panagiotidi, J. Vazquez-Salceda, S. Modgil, M. Luck and S. Miles, Towards a Formalisation of Electronic Contracting Environments, in J. F. Hubner, E. T. Matson, O. Boissier, V. Dignum (eds.), Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN@AAMAS 2008/COIN@AAAI 2008, Lecture Notes in Computer Science 5428, 156-171, Springer, 2009.
2008
N. Faci, S. Modgil, N. Oren, F. Meneguzzi, S. Miles and M. Luck,Towards a Monitoring Framework for Agent-Based Contract Systems, in Cooperative Information Agents XII: Proceedings of the 12th International Workshop, Lecture Notes in Computer Science5180, 292-305, Springer 2008.
J. Gonzalez-Palacios and M. Luck,Extending Gaia with Agent Design and Iterative Development, in M. Luck and L. Padgham (eds.),Agent Oriented Software Engineering VIII,8th International Workshop, AOSE 2007, Revised Selected Papers, Lecture Notes in Computer Science4951, 16-30, Springer 2008.
M. Jacyno, S. Bullock, T. Payne. and M. Luck, Global Order From a Minimal Local Resource Allocation Strategy,Communications of SIWN,4, 147-152, 2008.
M. Jakob, M. Pchouek, J. Chabera, S. Miles, M. Luck, N. Oren, M. Kollingbaum, C. Holt, J. Vazquez, P. Storms and M. Dehn,Case Studies for Contract-based Systems, in M. Berger, B. Burg and S. Nishiyama (eds.),Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track, 55-62, 2008.
M. Luck and P. McBurney, Computing as Interaction:Agent and Agreement Technologies, inProceedings of the IEEE SMC Conference on Distributed Human-Machine Systems, 1-6, 2008. (Invited Paper)
F. R. Meneguzzi and M. Luck,Leveraging new plans in AgentSpeak(PL), inDeclarative Agent Languages and Technologies: Proceedings of the Sixth International Workshop on Declarative Agent Languages and Technologies, Lecture Notes in Computer Science5397, 111-127, Springer, 2008.
F. R. Meneguzzi and M. Luck,Interaction among agents that plan, inProceedings of the Sixth International Workshop "From Agent Theory to Agent Implementation", at AAMAS 2008.
F. R. Meneguzzi, S. Miles, M. Luck, C. Holt, M. Smith, N. Oren, N. Faci, M. Kollingbaum and S. Modgil,Electronic contracting in aircraft aftercare: A case study, in M. Berger, B. Burg and S. Nishiyama (eds.),Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track, 63-70, 2008.
S. Miles, P. Groth and M. Luck,Mitigating Circumstances,inProceedings of the Symposium on Behaviour Regulation in Multi-Agent Systems (BrMAS 2008)at AISB 2008, Aberdeen, Scotland, 2008.
S. Miles, S. Munroe, M. Luck and L. Moreau,AgentPrIMe: Adapting MAS Designs to Build Confidence, in M. Luck and L. Padgham (eds.),Agent Oriented Software Engineering VIII,8th International Workshop, AOSE 2007, Revised Selected Papers, Lecture Notes in Computer Science4951, 31-43, Springer 2008.
S. Miles, N. Oren, M. Luck, S. Modgil, N. Faci, C. Holt, G. Vickers.Modelling and Administration of Contract-Based Systems, inProceedings of the Symposium on Behaviour Regulation in Multi-Agent Systems (BrMAS 2008)at AISB 2008, 19-24, Aberdeen, Scotland, 2008.
F. Espinoza, D. De Roure, O. Hamfors, L. Hinz, J. Holmberg, C. G. Jansson, N. R. Jennings, M. Luck, P. Lonnqvist, S. Ramchurn, A. Sandin, M. K. Thompson, M. Bylund, Intrusiveness Management for Focused, Efficient, and Enjoyable Activities, in N. A. Streitz, A. Kameas, I. Mavrommati (eds.), The Disappearing Computer, Interaction Design, System Infrastructures and Applications for Smart Environments Lecture Notes in Computer Science, 4500 Springer, 143-157, 2007. [doi: 10.1007/978-3-540-72727-9]
J. Gonzalez-Palacios and M. Luck,Towards Compliance of Agents in Open Multi-Agent Systems, in Software Engineering for Multi-Agent Systems V, R. Choren, A. Garcia, H. Giese, H.-f. Leung, C. Lucena and A. Romanovsky (eds.), Lecture Notes in Computer Science,4408, 132-147, Springer, 2007.
F. R. Meneguzzi, A. F. Zorzo, M. Da Costa Mora and M. Luck,Incorporating Planning into BDI Systems,Scalable Computing: Practice and Experience,8(1), 15-28, 2007.
F. R. Meneguzzi and M. Luck,Composing high-level plans for declarative agent programming, in Declarative Agent Languages and Technologies: Proceedings of the Sixth International Workshop on Declarative Agent Languages and Technologies, Lecture Notes in Computer Science4987, 69-85, Springer, 2007.
F. R. Meneguzzi and M. Luck,Motivations as an Abstraction of Meta-Level Reasoning, in Multi-Agent Systems and Applications V: Proceedings of the Fifth International Central and Eastern European Conference on Multi-Agent Systems, H.-D. Burkhard, G. Lindemann, R. Verbrugge, L. Z. Varga (Eds.), Lecture Notes in Computer Science 4696, 204-214, Springer, 2007.
E. Merelli, G. Armano, N. Cannata, F. Corradini, M. d'Inverno, A. Doms, P. Lord, A. Martin, L. Milanesi, S. Moller, M. Schroeder, M. Luck,Agents in bioinformatics, computational and systems biology,Briefings in Bioinformatics,8(1), 45-59, 2007.
S. Miles, S. Munroe, M. Luck and L. Moreau,Modelling the Provenance of Data in Autonomous Systems, inProceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems, 255-262, 2007.
R. Ashri, T. Payne, M. Luck, M. Surridge, C. Sierra, J. A. Rodriguez-Aguilar and P. Noriega,Using Electronic Institutions to secure Grid environments, inCooperative Information Agents X, Proceedings of the Tenth International Workshop on Cooperative Information Agents, Lecture Notes in Artificial Intelligence,4149, 461-475, Springer, 2006.
R. A. Belecheanu, S. Munroe, M. Luck, T. Payne, T. Miller, P. McBurney, M. Pechoucek,Commercial Applications of Agents: Lessons, Experiences and Challenges, in Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, 2006.Winner, DARPA Award for Best Applied and Industrial Paper.
N. R. Jennings, A. G. Cohn, M. Fox, D. Long, M. Luck, D. T. Michaelides, S. Munroe and M. J. Weal, Interaction, planning and motivation, inCognitive systems: Information processing meets brain science(eds R. Morris, L. Taressenko and M. Kenward) Elsevier, 163-188, 2006.
M. Luck and M. d'Inverno,Formal Methods and Agent-Based Systems, inAgent Technology from a Formal Perspective, C. Rouff, M. Hinchey, J. Rash, W. Truszkowski and D. Gordon-Spears (eds.), NASA Monographs in Systems and Software Engineering, Springer, 2006.
M. Luck, P. McBurney and J. Gonzalez-Palacios,Agent-Based Computing and Programming of Agent Systems, inProgramming Multi Agent Systems, R. Bordini, M. Dastani, J. Dix and A. El Fallah Segrouchni, (eds.), Lecture Notes in Artificial Intelligence,3862, 23-37, Springer, 2006.
D. Nguyen, S. G. Thompson, J. Patel, W. T. L. Teacy, N. R. Jennings, M. Luck, V. Dang, S. Chalmers, N. Oren, T. J. Norman, A. Preece, P. M. D. Gray, G. Shercliff, P. J. Stockreisser, J. Shao, W. A. Gray and N. J. Fiddian,Delivering Services by Building and Running VIrtual Organisations,BT Technology Journal, 141-152,24(1), 2006.
A. Robles, P. Noriega, M. Luck and F. Cantu, Multi Agent approach for the representation and execution of Medical Protocols, inProceedings of the ECAI 2006 Workshop on Agents Applied in Healthcare, 2006.
M. Rodrigues and M. Luck,Evaluating Dynamic Services in Bioinformatics, in inCooperative Information Agents X, Proceedings of the Tenth International Workshop on Cooperative Information Agents, Lecture Notes in Artificial Intelligence,4149, 183-197, Springer 2006.
M. Rodrigues and M. Luck, Analysing Cooperative Interactions through Exchange Values, inProceedings of the ECAI 2006 Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, 2006.
M. Rodrigues and M. Luck,Analysing Partner Selection through Exchange Values, inMulti-Agent Based Simulation VI, J. S. Sichman and L. Antunes (eds.), Lecture Notes in Artificial Intelligence,3891, 24-40, Springer-Verlag, 2006.
R. Ashri, S. D. Ramchurn, J. Sabater, M. Luck and N. R. Jennings,Trust evaluation through relationship analysis, inProceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems, 1005-1011, Utrecht, Netherlands, 2005.
A. Avila-Rosas and M. Luck,A Direct Reputation Model for VO Formation, inMulti-Agent Systems and Applications IV, M. Pechoucek, P. Petta and L. Varga (eds.), 460-469, Springer, 2005.
L Chen, V Tan, F Xu, A Biller, P Groth, S Miles, J Ibbotson, M Luck, L Moreau, A proof of concept: Provenance in a Service Oriented Architecture, in Proceedings of the UK e-Science All Hands Meeting, 1-8, Nottingham UK, 2005.
F. Lopez y Lopez, M. Luck and M. d'Inverno,A Normative Framework for Agent-Based Systems, inProceedings of the First International Symposium on Normative Multi-Agent Systems, Hatfield, 2005.
J. Patel, W. T. L. Teacy, N. R. Jennings and M. Luck,A probabilistic trust model for handling inaccurate reputation sources, in Herrmann, P., Issarny, V. and Shiu, S., (Eds.),Proceedings of iTrust: the 3rd International Conference on Trust Management, 193-209, Roquencourt, France, 2005.
J. Patel, W. T. L. Teacy, N. R. Jennings, M. Luck, S. Chalmers, N. Oren, T. J. Norman, A. Preece, P. M. D. Gray, G. Shercliff, P. J. Stockreisser, J. Shao, W. A. Gray, N. J. Fiddian, S. Thompson,Agent-based virtual organisations for the Grid, inProceedings of the First International Workshop on Smart Grid Technologies, 1-15, Utrecht, Netherlands, 2005.
J. Patel, W. T. L. Teacy, N. R. Jennings, M. Luck, S. Chalmers, N. Oren, T. J. Norman, A. Preece, P. M. D. Gray, G. Shercliff, P. J. Stockreisser, J. Shao, W. A. Gray, N. J. Fiddian, S. Thompson,Agent-based virtual organisations for the Grid,International Journal of Multiagent and Grid Systems1(4), 2005.
J. Patel, W. T. L. Teacy, N. R. Jennings, M. Luck, S. Chalmers, N. Oren, T. J. Norman, A. Preece, P. M. D. Gray, G. Shercliff, P. J. Stockreisser, J. Shao, W. A. Gray, N. J. Fiddian, and S. Thompson, Monitoring, Policing and Trust for Grid-Based Virtual Organisations. InProceedings of the UK e-Science All Hands Meeting, Nottingham UK, 2005.
T. Wagner, L. Gasser, M. Luck, J. Odell and T. Carrico,Impact for Agents,Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (Industry Track), 93-99, Utrecht, Netherlands, 2005.
R. Ashri, M. Luck and M. d'Inverno, Identifying opportunities and constraints for goal achievement through relationship analysis, inProceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems, 1452-1453, New York, NY, 2004.
A. Krishna, S. Miles, L. Moreau, and M. Luck.Semantic distributed messaging middleware. InProceedings of the ECAI 2004 Workshop on Semantic Intelligent Middleware for the Web and the Grid (SIM'04), Valencia, Spain, August 2004.
F. Lopez y Lopez, M. Luck and M. d'Inverno,Normative Agent Reasoning in Dynamic Societies, inProceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems, 732-739, New York, NY, 2004.
M. Luck, S. Munroe, F. Lopez y Lopez and R. Ashri,Trust and Norms for Interaction, inProceedings of the IEEE International Conference on Systems, Man & Cybernetics, 1944-1949, IEEE, 2004
S. Miles, J. Papay, M. Luck, and L. Moreau,Implementing policy management through BDI, inProceedings of the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 2004.
L. Moreau, M. Luck, S. Miles, J. Papay, K. Decker and T. Payne, Agents and the Grid: Service Discovery, in Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, F. Bergenti, M.-P. Gleizes and F. Zambonelli (eds.), Kluwer, 2004.
S. Munroe and M. Luck, Agent Autonomy Through the 3M Motivational Taxonomy, in Agents and Computational Autonomy: Potential, Risks, and Solutions, M. Nickles, M. Rovatsos and G. Weiss (eds.), Lecture Notes in Artificial Intelligence 2969, Springer, 55-67, 2004.
S. Munroe, M. Luck and M. d'Inverno, Motivation-based selection of negotiation partners, in Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems, 1520-1521, New York, NY, 2004.
T. J. Norman, A. Preece, S. Chalmers, N. R. Jennings, M. Luck, V. D. Dang, T. D. Nguyen, V. Deora, J. Shao, A. Gray and N. Fiddian,Agent-based formation of virtual organisations,Knowledge Based Systems,17(2-4), 103-111, 2004.
J. Papay, S. Miles, M. Luck, L. Moreau, and T. Payne.Principles of personalisation of service discovery. InProceedings of the UK OST e-Science second All Hands Meeting(AHM'04), Nottingham, UK, September 2004.
J. Shao, W. A. Gray, N. J. Fiddian, V. Deora, G. Shercliff, P.J. Stockreisser, T.J. Norman, A. Preece, P.M.D. Gray. S. Chalmers, N. Oren, N.R. Jennings, M. Luck, V.D. Dang, T.D. Nguyen, J. Patel and W.T.L. Teacy.Supporting Formation and Operation of Virtual Organisations in a Grid Environment. InProceedings of the UK OST e-Science second All Hands Meeting(AHM'04), Nottingham, UK, September 2004.
F. Zambonelli and M. Luck, Agent Hell: A Scenario of Worst Practices,IEEE Computer,37(3), 96-98, 2004.
R. Ashri, I. Rahwan and M. Luck,Architectures for Negotiating Agents, inMulti-Agent Systems and Applications III, V. Marik, J. Mueller and M. Pechoucek (eds.), Lecture Notes in Artificial Intelligence2691, Springer, 136-146, 2003.
A. M. Coddington and M. Luck,Towards Motivation-based Plan Evaluation, inProceedings of the Sixteenth International FLAIRS Conference (FLAIRS '03), I.Russell and S. Haller (eds.), 298-302, AAAI Press, 2003.
J. G. Frey, M. Bradley, J. W. Essex, M. B. Hursthouse, S. M. Lewis, M. M. Luck, L. Moreau, D. C. De Roure, M. Surridge, A. H. Welsh, Combinatorial Chemistry and the Grid, in Grid Computing: Making the Global Infrastructure a Reality, F. Berman, G. Fox and A. J. G. Hey (eds.), Wiley, 945-962, 2003.
N. Griffiths and M. Luck,Coalition formation through motivation and trust, inProceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, 17-24, Melbourne, Australia, 2003.
N. Griffiths, M. Luck and M. d'Inverno,Annotating Cooperative Plans with Trusted Agents, inTrust, Reputation, and Security: Theories and Practice, R. Falcone, S. Barber, L. Korba, M. Singh, M., (eds.), Lecture Notes in Artificial Intelligence2691, Springer, 87-107, 2003.
R. Lawley, K. Decker, M. Luck, T. Payne, and L. Moreau.Automated negotiation for grid notification services. InNinth International Europar Conference (EURO-PAR'03), Lecture Notes in Computer Science, Klagenfurt, Austria, Springer-Verlag, 2003.
F. Lopez y Lopez, and M. Luck,Modelling Norms for Autonomous Agents, inProceedings of the Fourth Mexican International Conference on Computer Science (ENC'03), E. Chavez, J. Favela, M. Mejia and A. Oliart, IEEE Computer Society, 238-245, 2003.
M. Luck, S. Munroe and M. d'Inverno,Autonomy: Variable and Generative, inAgent Autonomy, H. Hexmoor, C. Castelfranchi, and R. Falcone (eds.), Kluwer, 9-22, 2003.
M. Luck and M. d'Inverno,Unifying Agent Systems,Annals of Mathematics and Artificial Intelligence,37(1-2):131-167, 2003.
S. Miles, M. Joy and M. Luck,Towards a Methodology for Coordination Mechanism Selection in Open Systems, inEngineering Societies in the Agents World III: Proceedings of the Third International Workshop, P. Petta, R. Tolksdorf, F. Zambonelli (eds.), Lecture Notes in Artificial Intelligence2577, Springer-Verlag, 241-256, 2003.
S. Miles, J. Papay, V. Dialani, M. Luck, K. Decker, T. Payne, and L. Moreau. Personalised grid service discovery,IEE Proceedings - Software, 252-256,150(4), 2003.
S. Miles, J. Papay, V. Dialani, M. Luck, K. Decker, T. Payne, and L. Moreau.Personalised grid service discovery. In Stephen A. Jarvis, editor,Nineteenth Annual UK Performance Engineering Workshop (UKPEW'03), 131-140, University of Warwick, Coventry, UK, 2003.
L. Moreau, S. Miles, C. Goble, M. Greenwood, V. Dialani, M. Addis, N. Alpdemir, R. Cawley, D. De Roure, J. Ferris, R. Gaizauskas, K. Glover, C. Greenhalgh, M. Greenwood, P. Li, X. Liu, P. Lord, M. Luck, D. Marvin, T. Oinn, N. Paton, S. Pettifer, M. V Radenkovic, A. Roberts, A. Robinson, T. Rodden, M. Senger, N. Sharman, R. Stevens, B. Warboys, A. Wipat, and C. Wroe.On the Use of Agents in a BioInformatics Grid. In Sangsan Lee, Satoshi Sekguchi, Satoshi Matsuoka, and Mitsuhisa Sato, editors,Proceedings of the Third IEEE/ACM CCGRID'2003 Workshop on Agent Based Cluster and Grid Computing, 653-661, Tokyo, Japan, May 2003.
S. Munroe, M. Luck and M. d'Inverno,Towards Motivation-Based Decisions for Worth Goals, inMulti-Agent Systems and Applications III, V. Marik, J. Mueller and M. Pechoucek (eds.), Lecture Notes in Artificial Intelligence2691, Springer, 17-28, 2003.
S. Munroe, M. Luck and M. d'Inverno,Towards a Motivation-Based Approach for Evaluating Goals, inProceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, 1074-1075, Melbourne, Australia, 2003.
T. J. Norman, A. Preece, S. Chalmers, N. R. Jennings, M. Luck, V. D. Dang, T. D. Nguyen, V. Deora, J. Shao, A. Gray and N. Fiddian, CONOISE: Agent-based formation of virtual organisationsProceedings of the 23rd SGAI International Conference on Innovative Techniques and Applications of AI, Cambridge, UK, 2003.
2002
R. Ashri, M. Luck and M. d'Inverno,Infrastructure Support for Agent-based Development, inFoundations and Applications of Multi-Agent Systems, M. d'Inverno, M. Luck, M. Fisher and C. Preist (eds.), Lecture Notes in Artificial Intelligence2403, Springer-Verlag, 73-88, 2002.
K. Bryson, M. Luck, M. Joy, D. Jones, P. Nicholas, P. Bessieres, J-F. Gibrat,From GeneWeaver to Agmial, inNetwork Tools and Applications in Biology (NETTAB'2002) - Agents in Bioinformatics, Bologna, Italy, July 2002.
S. W. de Lioncourt and M. Luck,Towards Requirements Analysis for Autonomous Agent Behaviour, in From Theory to Practice in Multi-Agent Systems, B. Dunin-Keplicz, and E. Nawarecki, E. (eds.),Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, Lecture Notes in Artificial Intelligence2296, Springer-Verlag, 2002.
V. Dialani, S. Miles, L. Moreau, D. De Roure and M. Luck,Transparent fault tolerance for web services based architectures, inProceedings of the Eighth International Europar Conference (EURO-PAR'02), Lecture Notes in Computer Science, Springer-Verlag, 2002.
M. d'Inverno, M. Luck and UKMAS 2001 Contributors, Practical and Theoretical innovations in multi-agent systems research,Knowledge Engineering Review,17(3), 295-301, 2002.
M. d'Inverno, P. Howells, M. Hu and M. Luck, Soft-link hypertext for information retrieval,Information and Software Technology,44(2), 101-112, 2002.
N. Griffiths, M. Luck and M. d'Inverno,Annotating Cooperative Plans with Trusted Agents, inProceedings of the Fifth International Workshop on Decepetion, Fraud and Trust in Agent Societies, AAMAS, 2002.
F. Lopez y Lopez and M. Luck,Empowered Situations of Autonomous Agents, inAdvances in Artificial Intelligence - IBERAMIA 2002, The 8th Iberoamerican Conference on AI,F. Garijo, J. Riquelme and M. Toro (eds.), Springer-Verlag, LNAI2527, 585-595, 2002.
F. Lopez y Lopez, M. Luck and M. d'Inverno,Constraining Autonomy through Norms, inProceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, ACM Press, 674-681, 2002.
V. Marik, O. Stepankova, H. Krautwurmova and M. Luck (eds.),Multi-Agent Systems and Applications II, Selected Revised Papers: 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001, Lecture Notes in Artificial Intelligence2322, Springer-Verlag, 377pp, 2002.
L. Moreau, S. Miles, C. Goble, M. Greenwood, V. Dialani, M. Addis, N. Alpdemir, R.Cawley, D. De Roure, J. Ferris, R.Gaizauskas, K. Glover, C. Greenhalgh, M. Greenwood, P. Li, X. Liu, P. Lord, M. Luck, D. Marvin, T.Oinn, N. Paton, S. Pettifer, M. V Radenkovic, A. Roberts, A. Robinson, T. Rodden, M. Senger, N. Sharman, R. Stevens, B. Warboys, P.Watson, and C. Wroe.On the Use of Agents in a BioInformatics Grid, inNetwork Tools and Applications in Biology (NETTAB'2002) - Agents in Bioinformatics, Bologna, Italy, July 2002.
2001
E. Alonso, M. d'Inverno, D. Kudenko, M. Luck and J. Noble,Learning in multi-agent systems,Knowledge Engineering Review,16(3), 277-284, 2001.
R. Ashri and M. Luck,Towards a layered approach for agent infrastructure: the right tools for the right job, inProceedings of the Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS, 9-16, 2001.
M. d'Inverno and M. Luck,Formal Agent Development: Framework to System, inFormal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D., Hinchey, M.G., (eds.), Lecture Notes in Artificial Intelligence,1871, Berlin, Springer-Verlag, 133-147, 2001.
M. d'Inverno, M. Luck and UKMAS 2000 Contributors, Multi-agent systems research into the 21st century,Knowledge Engineering Review,16(3), 271-275, 2001.
M. Hinchey, J. Hendler, C. Pecheur, C. Heitmeyer, D.F. Gordon, M. Luck and W. Truszkowski, Future Directions, in Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D., Hinchey, M.G., (eds.), Lecture Notes in Artificial Intelligence, 1871, Berlin, Springer-Verlag, 354-368, 2001.
M. Luck and M. d'Inverno,Plan Analysis for Autonomous Sociological Agents, InIntelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages, Castelfranchi and Lesperance (eds.), Lecture Notes in Artificial Intelligence,1986, Springer-Verlag, 2001.
M. Luck and M. d'Inverno,Autonomy: A Nice Idea in Theory, InIntelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages, Castelfranchi and Lesperance (eds.), Lecture Notes in Artificial Intelligence,1986, Springer-Verlag, 2001.
M. Luck, V. Marik, O. Stepankova and R. Trappl (eds.)Multi-Agent Systems and Applications, Lecture Notes in Artificial Intelligence,2086, Springer-Verlag, 437 pp, 2001.
A. Poylisher and M. Luck,Modelling and Simulation of Aggregation Nets. InProceedings of the IEEE International Symposium on Cluster Computing and the Grid (CCGrid'2001), IEEE Computer Society, 456-463, 2001.
M. d'Inverno, K. Hindriks and M. Luck,A Formal Architecture for the 3APL Agent Programming Language, inZB2000: Formal Specification and Development in Z and B - 1st International Conference of B and Z Users, Lecture Notes in Computer Science,1878, 168-187, Springer, 2000.
R. Ashri and M. Luck,Paradigma: Agent Implementation through Jini, inProceedings of the Eleventh International Workshop on Database and Expert Systems Applications, A. M. Tjoa and R. R. Wagner and A. Al-Zobaidie (eds.), 453-457, IEEE Computer Society, 2000.
K. Hindriks, M. d'Inverno and M. Luck,Architecture for Agent Programming Languages, inProceedings of the Fourteenth European Conference on Artificial Intelligence, W. Horn (ed.), 363-367, IOS Press, 2000.
M. d'Inverno and M. Luck,Sociological Agents for Effective Social Action, inProceedings of the Fourth International Conference on Multi-Agent Systems, 379-380, IEEE Computer Society, 2000.
M. Beer, M. d'Inverno, N. Jennings, M. Luck, C. Preist and M. Schroeder.Negotiation in Multi-Agent Systems,Knowledge Engineering Review,14(3), 285-289, 1999.
M. Joy and M. Luck. Plagiarism in Programming Assignments,IEEE Transactions on Education,42(2), 129-133, 1999.
M. d'Inverno and M. Luck. Agent Models and Plans, inAgents Everywhere: Proceedings of the First Hungarian National Conference on Agent Based Computing, G. Tatai and L. Gulyas (eds.), 44-58, Springer Hungarica, 1999.
1998
M. Luck and M. d'Inverno.Motivated Behaviour for Goal Adoption, inMulti-Agent Systems: Theories, Languages and Applications - Proceedings of the Fourth Australian Workshop on Distributed Artificial Intelligence, Zhang and Lukose (eds.), Lecture Notes in Artificial Intelligence,1544, 58-73, Springer-Verlag, 1998.
R. Aylett, F. Brazier, N. Jennings, M. Luck, C. Preist, H. Nwana.Agent Systems and Applications,Knowledge Engineering Review,13(3), 303-308, 1998.
M. Luck, M. d'Inverno, M. Fisher and FoMAS'97 contributors. Foundations of Multi-Agent Systems: Techniques, Tools and Theory,Knowledge Engineering Review,13(3), 297-302, 1998.
M. d'Inverno, D. Kinny and M. Luck.Interaction Protocols in Agentis, InProceedings of the Third International Conference on Multi-Agent Systems, IEEE Press, 1998.
M. d'Inverno, D. Kinny, M. Luck and M. Wooldridge.A Formal Specification of dMARS, InIntelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, Singh, Rao and Wooldridge (eds.), Lecture Notes in Artificial Intelligence,1365, 155-176, Springer-Verlag, 1998.
M. Joy and M. Luck. Effective Electronic Marking for On-line Assessment, inProceedings of the 6th Annual Conference on the Teaching of Computing / 3rd Annual Conference on Integrating Technology into Computer Science Education, 134-138, ACM Press, 1998.
M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan and M. Wooldridge.Formalisms for Multi-Agent Systems,Knowledge Engineering Review12(3), 1997.
M. d'Inverno, M. Luck and M. Wooldridge.Cooperation Structures, inProceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, 600-605, 1997.
M. d'Inverno and M. Luck.Making and Breaking Engagements: An Operational Analysis of Agent Relationships, inMulti-Agent Systems Methodologies and Applications: Proceedings of the Second Australian Workshop on Distributed Artificial Intelligence, Zhang and Lukose (eds.), Lecture Notes in Artificial Intelligence,1286, 48-62, Springer-Verlag, 1997.
M.S. Joy and M. Luck. Computer-Assisted Learning using the Web, inProceedings of the 5th Annual Conference on the Teaching of Computing, 1997.
M. Luck, N. Griffiths and M. d'Inverno.From Agent Theory to Agent Construction: A Case Study. InIntelligent Agents III: Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, Mueller, Wooldridge and Jennings (eds.), Lecture Notes in Artificial Intelligence,1193, 49-63, Springer-Verlag, 1997.
1996
M. d'Inverno and M. Luck,Understanding Autonomous Interaction, inECAI '96: Proceedings of the 12th European Conference on Artificial Intelligence, W. Wahlster (ed.), 529-533, John Wiley and Sons, 1996.
M. d'Inverno and M. Luck,Formalising the Contract Net as a Goal-Directed System, inAgents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Van de Velde and Perram (eds.), Lecture Notes in Artificial Intelligence,1038, 72-85, Springer-Verlag, 1996.
M. Luck and M. d'Inverno,Engagement and Cooperation in Motivated Agent Modelling, inDistributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence, Zhang and Lukose (eds.), Lecture Notes in Artificial Intelligence,1087, 70-84, Springer-Verlag, 1996.
M. d'Inverno and M. Luck,A Formal View of Social Dependence Networks, inDistributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence, Zhang and Lukose (eds.), Lecture Notes in Artificial Intelligence,1087, 115-129, Springer-Verlag, 1996.
M.S. Joy and M. Luck, Software Standards in Undergraduate Computing Courses,Journal of Computer Assisted Learning,12, 103-113, 1996.
M.S. Joy and M. Luck. A User-Friendly On-line Submission System, inProceedings of the 4th Annual Conference on the Teaching of Computing, O'Connor, R. and Alexander, S. (eds.), 92-95, 1996.
M. Luck and M. d'Inverno,A Formal Framework for Agency and Autonomy, inProceedings of the First International Conference on Multi-Agent Systems, 254-260, AAAI Press / MIT Press, 1995.
M. Luck and M.S. Joy, Automatic Submission in An Evolutionary Approach to Computer Science Teaching,Computers and Education,25(3), 105-111, 1995.
M.S. Joy and M. Luck, On-line Submission and Testing of Programming Assignments,Innovations in Computing Teaching, ed. J. Hart, 97-103, SEDA, 1995.
1993
M. Luck, Evaluating Evidence for Motivated Discovery, inProgress in Artificial Intelligence, EPIA '93, Lecture Notes in Artificial Intelligence727, 324-339, Springer-Verlag, 1993.