2007
M. Jacyno, S. Bullock, M. Luck and T.
Payne, 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,
2007.
J. Gonzalez-Palacios and M. Luck, Towards Compliance of Agents in Open
Multi-Agent Systems, in Software Engineering for
Multi-Agent Systems V, Lecture Notes in Computer
Science, 2007.
J. Gonzalez-Palacios and M. Luck, Extending Gaia with Agent Design and
Iterative Development, in Proceedings of the
Eighth International Workshop on Agent Oriented
Software Engineering, 90-103, 2007.
Keppens, J. Towards Qualitative Approaches to Bayesian
Evidential Reasoning. To appear in Proceedings of the 11th
International Conference on Artificial Intelligence and
Law, 2007.
Keppens, J. On Qualitative Probabilities for Legal
Reasoning about Evidence. To appear in Proceedings of the
21st International Workshop on Qualitative Reasoning, 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 Proceedings of the
Fifth International Workshop on Declarative Agent
Languages and Technologies, 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, in Proceedings of the Sixth
International Joint Conference on Autonomous Agents and
Multi-Agent Systems, 2007.
S. Miles, P. Groth, S. Munroe, M. Luck and L. Moreau,
AgentPrIMe: Adapting MAS Designs to Build
Confidence, in Proceedings of the Eighth
International Workshop on Agent Oriented Software
Engineering, 104-117, 2007.
S. Miles, P. Groth, M. Branco and L. Moreau, The
Requirements of Using Provenance in e-Science Experiments,
Journal of Grid Computing 5, 1-25, 2007.
S. Miles, P. Groth, S. Munroe, S. Jiang, T. Assandri and L.
Moreau, Extracting Causal Graphs from an Open Provenance
Data Model, Concurrency and Computation: Practice and
Experience, to appear 2007.
S. Miles, S. C. Wong, W. Fang, P. Groth, K. Zauner and L.
Moreau, Provenance-based Validation of E-Science
Experiments, Journal of Web Semantics, 5, 28-38,
2007.
L. Moreau, B. Ludaescher, I. Altintas, R. S. Barga, S.
Bowers, G. Chin, S. Cohen, S. Cohen-Boulakia, B. Clifford,
S. Davidson, E. Deelman, L. Digiampietri, I. Foster, J.
Freire, J. Frew, J. Futrelle, T. Gibson, Y. Gil, C. Goble,
J. Golbeck, P. Groth, D. A. Holland, S. Jiang, J. Kim, A.
Krenek, T. McPhillips, G. Mehta, S. Miles, D. Metzger, S.
Munroe, J. Myers, B. Plale, N. Podhorszki, V. Ratnakar, K.
Schuchardt, M. Seltzer, Y. L. Simmhan, P. Slaughter, E.
Stephan, R. Stevens, D. Turi, M. Wilde, J. Zhao and Y.
Zhao, The First Provenance Challenge, Concurrency and
Computation: Practice and Experience, to appear 2007.
W.T. Luke Teacy, T. D. Huynh, R. K. Dash, N. R. Jennings,
J. Patel and M. Luck, The ART of IAM: The Winning Strategy for the
2006 Competition, in Proceedings of the AAMAS-07
Workshop on Trust in Agent
Societies,
2007.
2006
R. Ashri, T. Payne, M. Luck, M. Surridge, C. Sierra, J. A.
Rodriguez-Aguilar and P. Noriega, Using Electronic Institutions to secure Grid
environments,
in Cooperative
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.
W. Fang, S. C. Wong, V. Tan, S. Miles and L. Moreau,
Performance Analysis of a Semantics Enabled Service
Registry, Concurrency and Computation: Practice
and Experience,
2006.
P. Groth, S. Miles and S. Munroe, Principles of High
Quality Documentation for Provenance: A Philosophical
Discussion, in Proceedings of the International
Provenance and Annotation Workshop, 2006.
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, in Cognitive systems: Information
processing meets brain science (eds R. Morris, L. Taressenko and M.
Kenward) Elsevier, 163-188, 2006.
Keppens, J. and Shen, Q. 2006. Granularity and disaggregation in
compositional modelling with applications to
ecological systems. Applied Intelligence, 25(3):
269-292.
T. Kifor, L. Z. Varga, J.
Vazquez-Salceda, S. Alvarez, S. Willmott, S. Miles and L.
Moreau, Provenance in Agent-mediated Healthcare
Systems, IEEE
Intelligent Systems, 21(6), 38-46, 2006.
Keppens, J. and Schafer, B. 2006. Knowledge Based Crime Scenario
Modelling. Expert Systems with Applications,
30(2). Elsevier Science.
F. Lopez y Lopez, M. Luck and M. d'Inverno,
A Normative Framework for Agent-Based
Systems,
in Computational
and Mathematical Organization
Theory,
12(2-3), 227-250, 2005.
M. Luck and M. d'Inverno, Formal Methods and Agent-Based
Systems,
in Agent
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,
in Programming
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.
S. Miles, Electronically Querying for the Provenance of
Entities, in Proceedings of the International
Provenance and Annotation Workshop, 184-192, 2006.
S. Miles, Agent-Oriented Data Curation in
Bioinformatics, International Transactions on Systems
Science and Applications 1(1), 43-50, 2006.
L. Moreau, P. Groth, S. Miles, J. Vazquez, J. Ibbotson, S.
Jiang, S. Munroe, O. Rana, A. Schreiber, V. Tan and L.
Varga, The Provenance of Electronic Data,
Communications of the
ACM, 2006.
S. Munroe, S. Miles, L. Moreau and J. Valquez-Salceda,
PrIMe: A Software Engineering Methodology for Developing
Provenance-Aware Applications, in Proceedings of the Software
Engineering and Middleware Workshop
2006.
S. Munroe, T. Miller, R. A. Belecheanu, M. Pechoucek, P.
McBurney and M. Luck, Crossing the Agent Technology Chasm:
Experiences and Challenges in Commercial Applications of
Agents,
Knowledge Engineering
Review,
21(4), 345-392, 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,
Using MAS Technologies for Intelligent
Organizations: A Report of Bottom-Up Results, in
MICAI 2006: Advances in Artificial
Intelligence, Lecture Notes in Computer
Science, 4293, 1116-1127, Springer, 2006.
A. Robles, P. Noriega, M. Luck and F. Cantu, Multi Agent
approach for the representation and execution of Medical
Protocols, in Proceedings of the ECAI 2006 Workshop
on Agents Applied in Healthcare, 2006.
M. Rodrigues and M. Luck, Evaluating Dynamic Services in
Bioinformatics,
in in Cooperative 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, in
Proceedings 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,
in Multi-Agent
Based Simulation VI , J. S. Sichman and L. Antunes (eds.),
Lecture Notes in Artificial Intelligence,
3891, 24-40, Springer-Verlag, 2006.
Shen, Q., Keppens, J., Aitken, C., Schafer, B.
and Lee, M. 2006. A scenario-driven decision support system
for serious crime investigation. Law, Probability
and Risk, 5(2): 87-117.
V. Tan, P. Groth, S. Miles, S. Jiang, S. Munroe, S.
Tsasakou and L. Moreau, Security Issues in a SOA-based
Provenance System, in Proceedings of the International
Provenance and Annotation Workshop,
2006.
W. T. L. Teacy, J. Patel, N. R. Jennings and M.
Luck, TRAVOS: Trust and reputation in the context
of inaccurate information sources, Journal of Autonomous Agents and
Multi-Agent Systems, 12(2), 183-198, 2006.
C. Wroe, C. Goble, A. Goderis, P. Lord, S. Miles, J. Papay,
P. Alper and L. Moreau, Recycling workflows and services
through discovery and reuse, Concurrency and Computation: Practice
and Experience,
2006.
2005
R. Ashri, M. Luck and M. d'Inverno, From SMART to agent systems
development, Engineering Applications of
Artificial Intelligence, 18(2), 129-140, March 2005.
R. Ashri, S. D. Ramchurn, J. Sabater, M. Luck and N. R.
Jennings, Trust evaluation through relationship
analysis,
in Proceedings
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,
in Multi-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 and L. Moreau, A proof of concept:
Provenance in a Service Oriented Architecture, in
Proceedings of the UK
e-Science All Hands Meeting, 2005
P. Groth, S. Miles, W. Fang, S. C. Wong, K. Zauner and L.
Moreau, Recording and Using Provenance in a Protein
Compressibility Experiment, in Proceedings of the 14th IEEE
International Symposium on High Performance Distributed
Computing,
201-208, 2005.
P. Groth, S. Miles and L. Moreau, PReServ: Provenance
Recording for Services, in Proceedings of the UK e-Science All
Hands Meeting,
2005.
Keppens, J. and Schafer, B. Assumption Based
Peg Unification for Crime Scenario Modelling. In
Proceedings of the 18th Annual Conference on Legal
Knowledge and Information Systems, 49-58, 2005.
Keppens, J., Shen, Q. and Schafer, B. Probabilistic
Abductive Computation of Evidence Collection Strategies in
Crime Investigation. In Proceedings of the 10th
International Conference on Artificial Intelligence and
Law, 215-224, 2005.
Keppens, J., Shen, Q. and Lee, M. Compositional Bayesian
Modelling and Its Application to Decision Support in Crime
Investigation. In Proceedings of the 19th International
Workshop on Qualitative Reasoning, 138-148,
2005.
R. Lawley, M. Luck and L. Moreau. Modelling & Simulating Chained
Negotiation to Enable Sharing of
Notifications,
in Proceedings
of the IEEE/WIC/ACM Int Conf on Web
Intelligence,
479-482, Compiegne, France, 2005.
F. Lopez y Lopez, M. Luck and M. d'Inverno,
A Normative Framework for Agent-Based
Systems,
in Proceedings
of the First International Symposium on Normative
Multi-Agent Systems, Hatfield, 2005.
M. Luck, P. McBurney, O. Shehory and S. Willmott,
Agent Technology: Computing as Interaction (A
Roadmap for Agent Based
Computing),
AgentLink, 2005.
M. Luck and E. Merelli, Agents in
Bioinformatics, Knowledge Engineering
Review, 20(2), 117-125, 2005.
S. Miles, Agent-Oriented Data Curation in Bioinformatics,
in Proceedings of
the First International Workshop on Multi-Agent Systems for
Medicine Computational Biology and
Bioinformatics,
2005.
S. Munroe and M. Luck, Balancing Conflict and Cost in the Selection
of Negotiation Opponents, Proceedings of the First
International Workshop on Rational, Robust, and Secure
Negotiations in Multi-Agent
Systems,
Utrecht, Netherlands, 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, in
Proceedings 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 Systems 1(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. In
Proceedings of the UK
e-Science All Hands Meeting, Nottingham UK, 2005.
M. Rodrigues and M. Luck, Analysing Partner Selection through Exchange
Values,
Proceedings of the
Sixth International Workshop on Multi-Agent-Based
Simulation,
Utrecht, Netherlands, 2005.
V. Tan, W. Fang, S. C. Wong, S. Miles and L. Moreau, A
security architecture for a semantic Grid registry,
in Proceedings of
the UK e-Science All Hands Meeting, 2005.
W. T. L. Teacy, J. Patel, N. R. Jennings and M.
Luck, Coping with inaccurate reputation sources:
Experimental analysis of a probabilistic trust
model, in
Proceedings of the
Fourth International Joint Conference on Autonomous
Agents and Multi-Agent Systems, 997-1004, Utrecht, Netherlands,
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.
F. Weijian, W. Sylvia C., T. Victor, M. Simon and M. Luc,
Performance Analysis of a Semantics Enabled Service
Registry, in Proceedings of the UK e-Science All
Hands Meeting,
2005.
P. Wegner, F. Arbab, D. Goldin, P. McBurney, M. Luck and D.
Robertson, The Role of Agent Interaction in Models of
Computing: Panelist Reviews, Electronics Notes in Theoretical
Computer Science, 141(5), 181-198, 2005.
S. Wong, S. Miles and W. Fang, Validation of E-Science
Experiments using a Provenance-based Approach, in
Proceedings of the UK
e-Science All Hands Meeting 2005.
S. C. Wong, S. Miles, W. Fang, P. Groth and L. Moreau,
Provenance-based Validation of E-Science Experiments,
in Proceedings of
the 4th International Semantic Web
Conference,
801-815, 2005.
2004
R. Ashri and M. Luck, An Agent Construction Model for Ubiquitous
Computing Devices, in Proceedings of the Fifth
International Workshop on Agent-Oriented Software
Engineering,
New York, NY, 2004.
R. Ashri, M. Luck and M. d'Inverno, A typology of relationships and goals for
regulation and coordination, in Proceedings of the ECAI Workshop in
Coordination in Emerging Agent
Societies,
Valencia, Spain, 2004.
R. Ashri, M. Luck and M. d'Inverno, Identifying
opportunities and constraints for goal achievement through
relationship analysis, in Proceedings of the Third International
Conference on Autonomous Agents and Multi-Agent
Systems,
1452-1453, New York, NY, 2004.
A. M. Coddington and M. Luck, A Motivation Based Planning and Execution
Framework, International Journal on Artificial
Intelligence Tools, 13(1), 5-25, 2004.
M. d'Inverno and M. Luck, Understanding Agent
Systems,
Springer-Verlag, 260 pp, 2nd edition, 2004.
M. d'Inverno, M. Luck, M. Georgeff, D. Kinny and M.
Wooldridge, The dMARS Architechure: A Specification of
the Distributed Multi-Agent Reasoning
System,
Autonomous Agents and
Multi-Agent Systems, 9(1-2), 5-53, 2004.
J. Gonzalez-Palacios and M. Luck, A Framework for Patterns in Gaia: A
case-study with Organisations, in Proceedings of the Fifth
International Workshop on Agent-Oriented Software
Engineering,
New York, NY, 2004.
P. Groth, M. Luck, and L. Moreau, A protocol for recording provenance in
service-oriented grids. In Proceedings of the Eighth
International Conference on Principles of Distributed
Systems (OPODIS'04), Grenoble, France, 2004.
P. Groth, M. Luck, and L. Moreau. Formalising a protocol for recording
provenance in grids. In Proceedings of the UK OST e-Science
second All Hands Meeting (AHM'04), Nottingham, UK, September
2004.
Keppens, J. and Shen, Q. Compositional model repositories via
dynamic constraint satisfaction with
order-of-magnitude preferences, Journal of
Artificial Intelligence Research, 21:499-550, 2004.
Keppens, J. and Schafer, B., ``Murdered by parties
unknown'' - Speculative Reasoning in Law and Logic. In
Proceedings of the 17th Annual Conference on Legal
Knowledge and Information Systems, 41-51, 2004.
Keppens, J. and Shen, Q., Causality enabled compositional
modelling of Bayesian networks. In Proceedings of the 18th
International Workshop on Qualitative Reasoning, 33-40,
2004.
A. Krishna, S. Miles, L. Moreau, and M. Luck.
Semantic distributed messaging
middleware.
In Proceedings
of the ECAI 2004 Workshop on Semantic Intelligent
Middleware for the Web and the Grid
(SIM'04),
Valencia, Spain, August 2004.
R. Lawley, M. Luck, and L. Moreau. Chained negotiation for distributed
notification services. In Proceedings of the UK OST e-Science
second All Hands Meeting (AHM'04), Nottingham, UK, September
2004.
R. Lawley, M. Luck, K. Decker, T. Payne and L.
Moreau, Automated Negotiation Between Publishers and
Consumers of Grid Notifications, Parallel Processing
Letters,
13(4), 537-548, 2003.
F. Lopez y Lopez, M. Luck and M. d'Inverno,
Normative Agent Reasoning in Dynamic
Societies,
in Proceedings
of the Third International Conference on Autonomous
Agents and Multi-Agent Systems, 732-739, New York, NY, 2004.
F. Lopez y Lopez and M. Luck, A Model of Normative Multi-agent Systems and
Dynamic Relationships, in Regulated Agent-Based Social
Systems, G.
Lindemann, D. Moldt and M. Paolucci (eds.), Lecture
Notes in Artificial Intelligence 2934, Springer, 259-280, 2004.
M. Luck, R. Ashri and M. d'Inverno, Agent-Based Software
Development, Artech House, 208 pp, 2004.
M. Luck, P. McBurney and C. Preist, A Manifesto for Agent Technology: Towards
Next Generation Computing, Autonomous Agents and Multi-Agent
Systems,
9(3), 203-252, 2004.
M. Luck, S. Munroe, F. Lopez y Lopez and R. Ashri,
Trust and Norms for
Interaction,
in Proceedings
of the IEEE International Conference on Systems, Man
& Cybernetics, 1944-1949, IEEE, 2004
S. Miles, J. Papay, T. Payne, M. Luck, and L.
Moreau. Towards a protocol for the attachment of
metadata to service descriptions and its use in semantic
discovery. Scientific
Programming, 12(4), 201-211, 2004.
S. Miles, J. Papay, M. Luck, and L. Moreau,
Implementing policy management through
BDI, in
Proceedings 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.
In Proceedings
of the UK OST e-Science second All Hands
Meeting (AHM'04), Nottingham, UK, September
2004.
S. D. Ramchurn, B. Deitch, M. K. Thompson, D. C. de Roure,
N. R. Jennings and M. Luck, 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, IEEE
Computer Society Press, 364-372, 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.
In Proceedings
of the UK OST e-Science second All Hands
Meeting (AHM'04), Nottingham, UK, September
2004.
C. Wroe, C. Goble, M. Greenwood, P. Lord, S. Miles, J.
Papay, T. Payne and L. Moreau, Automating Experiments Using
Semantic Data on a Bioinformatics Grid, IEEE Intelligent Systems
19(1), 48-55, 2004.
C. Wroe, P. Lord, S. Miles, J. Papay, L. Moreau and C.
Goble, Recycling Services and Workflows through Discovery
and Re-use, in Proceedings of the UK e-Science All
Hands Meeting,
622-629, 2004.
F. Zambonelli and M. Luck, Agent Hell: A Scenario of Worst
Practices, IEEE
Computer,
37(3), 96-98, 2004.
2003
R. Ashri, M. Luck and M. d'Inverno, On Identifying and Managing Relationships in
Multi-Agent Systems, in Proceedings of the Eighteenth
International Joint Conference on Artificial
Intelligence,
Acapulco, Mexico, 2003.
R. Ashri, I. Rahwan and M. Luck, Architectures for Negotiating
Agents,
in Multi-Agent
Systems and Applications III, V. Marik, J. Mueller and M. Pechoucek
(eds.), Lecture Notes in Artificial Intelligence
2691, Springer, 136-146, 2003.
A. M. Coddington and M. Luck, Towards Motivation-based Plan
Evaluation,
in Proceedings
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, in
Proceedings 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,
in Trust,
Reputation, and Security: Theories and
Practice, R.
Falcone, S. Barber, L. Korba, M. Singh, M., (eds.),
Lecture Notes in Artificial Intelligence
2691, Springer, 87-107, 2003.
Halliwell, J., Keppens, J. and Shen Q.,
Linguistic Bayesian networks for reasoning with subjective
probabilities in forensic statistics. In Proceedings of the
9th International Conference on Artificial Intelligence and
Law, 42-50, 2003.
Keppens, J. and Schafer, B., Using the box to think outside
it - creative skepticism and computer decision support in
criminal investigations. In Proceedings of the IVR 21st
World Congress Special Workshop on Artificial Intelligence
in the Law: Creativity in Legal Problem Solving, 2003.
Keppens, J. and Shen, Q., Ecological model repositories
revisited: Casting ecological model composition problems as
dynamic constraint satisfaction problems. In Proceedings of
the 17th International Workshop on Qualitative Reasoning,
119-129, 2003.
Keppens, J. & Zeleznikow, J., A Model Based Reasoning
Approach for Generating Plausible Crime Scenarios from
Evidence. In Proceedings of the 9th International
Conference on Artificial Intelligence and Law, 51-59,
2003.
A. Krishna, V. Tan, R. Lawley, S. Miles and L. Moreau, The
myGrid Notification Service, in Proceedings of the UK OST e-Science
second All Hands Meeting, 475-482, 2003.
R. Lawley, K. Decker, M. Luck, T. Payne, and L.
Moreau. Automated negotiation for grid notification
services.
In Ninth
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,
in Proceedings
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.
P. Lord, C. Wroe, R. Stevens, C. Goble, S. Miles, L.
Moreau, K. Decker, T. Payne and J. Papay, Semantic and
Personalised Service Discovery, in Proceedings of WI/IAT 2003 Workshop on
Knowledge Grid and Grid
Intelligence,
100-107, 2003.
M. Luck, P. McBurney and C. Preist, Agent Technology: Enabling Next Generation
Computing (A Roadmap for Agent Based
Computing),
AgentLink, 2003.
M. Luck, S. Munroe and M. d'Inverno, Autonomy: Variable and
Generative,
in Agent
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,
in Engineering
Societies in the Agents World III: Proceedings of the
Third International Workshop, P. Petta, R. Tolksdorf, F. Zambonelli
(eds.), Lecture Notes in Artificial Intelligence
2577, 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.
L. Moreau, S. Miles, J. Papay, K. Decker and T. Payne,
Publishing Semantic Descriptions of Services, in
Proceedings of the Global
Grid Forum 9,
2003.
S. Munroe, M. Luck and M. d'Inverno, Towards Motivation-Based Decisions for Worth
Goals, in
Multi-Agent Systems and
Applications III, V. Marik, J. Mueller and M. Pechoucek
(eds.), Lecture Notes in Artificial Intelligence
2691, Springer, 17-28, 2003.
S. Munroe, M. Luck and M. d'Inverno, Towards a Motivation-Based Approach for
Evaluating Goals, in Proceedings 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
organisations Proceedings 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,
in Foundations
and Applications of Multi-Agent
Systems, M.
d'Inverno, M. Luck, M. Fisher and C. Preist (eds.),
Lecture Notes in Artificial Intelligence
2403, Springer-Verlag, 73-88, 2002.
A. Avila-Rosas, L. Moreau, V. Dialani, S. Miles and X. Liu,
Agents for the Grid: A Comparison with Web Services part
II: Service Discovery, in Proceedings of the Workshop on
Challenges in Open Agent
Environments,
52-56, 2002.
K. Bryson, M. Luck, M. Joy, D. Jones, P. Nicholas, P.
Bessieres, J-F. Gibrat, From GeneWeaver to
Agmial,
in Network Tools
and Applications in Biology (NETTAB'2002) - Agents in
Bioinformatics,
Bologna, Italy, July 2002.
S. W. de Lioncourt and M. Luck, Motivated Agent Behaviour and Requirements
Applied to Virtual Emergencies, in Multi-Agent Systems and Application
II, V. Marik,
O. Stepankova, H. Krautwurmova and M. Luck (eds.),
43-60, Lecture Notes in Artificial Intelligence
2322, Springer-Verlag, 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
Intelligence 2296, Springer-Verlag, 2002.
V. Dialani, S. Miles, L. Moreau, D. De Roure and M.
Luck, Transparent fault tolerance for web services
based architectures, in Proceedings 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, M. Luck, M. Fisher and C. Preist,
Foundations and Applications of Multi-Agent
Systems,
Lecture Notes in Artificial Intelligence
2403, Springer-Verlag, 261pp, 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,
in Proceedings
of the Fifth International Workshop on Decepetion, Fraud
and Trust in Agent Societies, AAMAS, 2002.
M. Joy, S. Jarvis and M. Luck, Introducing UNIX and
Linux,
Palgrave Macmillan, 320pp, 2002.
Keppens, J. & Zeleznikow, J., On the Role
of Model-based Reasoning in Decision Support in Crime
Investigation. In Proceedings of the 3rd International
Conference on Law and Technology, 77-83, 2002.
Keppens, J. & Shen, Q., A Calculus of Partially Ordered
Preferences for Compositional Modelling and Configuration.
In Proceedings of the AAAI-02 Workshop on Preferences in AI
and CP: Symbolic Approaches, 39-46, 2002.
Keppens, J. & Shen, Q., On Supporting Dynamic
Constraint Satisfaction with Order of Magnitude
Preferences. In Proceedings of the 16th International
Workshop on Qualitative Reasoning, 75-82, 2002.
F. Lopez y Lopez and M. Luck, 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),
175-193, 2002.
F. Lopez y Lopez and M. Luck, Empowered Situations of Autonomous
Agents,
in Advances in
Artificial Intelligence - IBERAMIA 2002, The 8th
Iberoamerican Conference on AI, F. Garijo, J. Riquelme and M. Toro
(eds.), Springer-Verlag, LNAI 2527, 585-595, 2002.
F. Lopez y Lopez, M. Luck and M. d'Inverno,
Constraining Autonomy through
Norms, in
Proceedings 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
Intelligence 2322, 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, in
Network 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, in
Proceedings of the
Second International Workshop on Infrastructure for
Agents, MAS, and Scalable MAS, 9-16, 2001.
K. Bryson, M. Luck, M. Joy and D. Jones,
Agent Interaction for Bioinformatics Data
Management, Applied Artificial
Intelligence, 15(10), 917-947, 2001.
M. d'Inverno and M. Luck, Formal Agent Development: Framework to
System,
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, 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. d'Inverno and M. Luck. Understanding Agent
Systems,
Springer-Verlag, 191 pp, 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.
Keppens, J. and Shen, Q., On compositional
modelling, The Knowledge Engineering Review,
16(2):157-200, 2001.
Keppens, J. & Shen, Q., Disaggregation in Compositional
Modelling of Ecological Systems via Dynamic Constraint
Satisfaction. In Proceedings of the 15th International
Workshop on Qualitative Reasoning, 21-28, 2001.
F. Lopez y Lopez, M. Luck and M. d'Inverno,
A Framework for Norm-based Inter-Agent
Dependence,
in Proceedings
of the Third Mexican International Conference on
Computer Science, 31-40, 2001.
M. Luck and M. d'Inverno, A Conceptual Framework for Agent Definition
and Development, The Computer
Journal,
1-20, 44(1), 2001.
M. Luck and M. d'Inverno, Plan Analysis for Autonomous Sociological
Agents,
In Intelligent
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,
In Intelligent
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.
S. Miles, M. Joy and M. Luck, Designing Agent-Oriented Systems by Analysing
Agent Interactions. In Agent-Oriented Software
Engineering,
Paolo Ciancarini and Michael Wooldridge, editors,
171-183, Lecture Notes in Computer Science,
Springer-Verlag, 1957, 2001.
A. Poylisher and M. Luck, Modelling and Simulation of Aggregation
Nets. In
Proceedings of the IEEE
International Symposium on Cluster Computing and the
Grid (CCGrid'2001), IEEE Computer Society, 456-463, 2001.
2000
R. Ashri and M. Luck, Paradigma: Agent Implementation through
Jini, in
Proceedings 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.
R. Aylett, K. Dautenhahn, J. Doran, M. Luck, S. Moss and M.
Tennenholtz. Can models of agents be transferred between
different areas? Knowledge Engineering
Review,
15(2), 197-203, 2000.
R. Aylett and M. Luck. Applying Artificial Intelligence to Virtual
Reality: Intelligent Virtual
Environments, Applied Artificial
Intelligence, 14(1), 3-32, 2000.
K. Bryson, M. Luck, M. Joy and D.T. Jones,
Applying Agents to Bioinformatics in
GeneWeaver,
in Cooperative
Information Agents IV, Lecture Notes in Artificial
Intelligence, 1860, 60-71, © Springer-Verlag, 2000.
M. d'Inverno, K. Hindriks and M. Luck, A Formal Architecture for the 3APL Agent
Programming Language, in ZB2000: 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.
M. d'Inverno and M. Luck, Sociological Agents for Effective Social
Action,
in Proceedings
of the Fourth International Conference on Multi-Agent
Systems,
379-380, IEEE Computer Society, 2000.
K. Hindriks, M. d'Inverno and M. Luck, Architecture for Agent Programming
Languages,
in Proceedings
of the Fourteenth European Conference on Artificial
Intelligence,
W. Horn (ed.), 363-367, IOS Press, 2000.
Keppens, J. & Shen, Q., Towards
Compositional Modelling of Ecological Systems via Dynamic
Flexible Constraint Satisfaction. In Proceedings of the
14th International Workshop on Qualitative Reasoning,
74-82, 2000.
M. Luck and M. d'Inverno, Plan Analysis for Autonomous Sociological
Agents,
In Proceedings
of the Seventh International Workshop on Agent Theories,
Architectures and Languages, 2000.
O. Rana, C. Preist and M. Luck, Progress in Multi-Agent Systems
Research,
Knowledge Engineering
Review,
15(3), 285-292, 2000.
1999
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.
K. Decker, M. Fisher, M. Luck, M. Tennenholtz and UKMAS'98
Contributors. Continuing Research in Multi-Agent
Systems,
Knowledge Engineering
Review,
14(3), 279-283, 1999.
S. de Lioncourt and M. Luck. Motivating Intelligent Agents for Virtual
Environments,
in Proceedings
of the Intelligent Virtual Agents
Workshop,
Salford, 1999.
M. Luck. From definition to deployment: What next for
agent-based systems?, Knowledge Engineering
Review,
14(2), 119-124, 1999.
N. Griffiths and M. Luck. 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, F. J.
Garijo and M. Boman (eds.), Lecture Notes in Artificial
Intelligence, 1647, 162-174, © Springer-Verlag, 1999.
M. d'Inverno and M. Luck. Agent Models and Plans, in
Agents Everywhere:
Proceedings of the First Hungarian National Conference on
Agent Based Computing, G. Tatai and L. Gulyas (eds.), 44-58,
Springer Hungarica, 1999.
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. d'Inverno and M. Luck. Engineering AgentSpeak(L): A Formal
Computational Model, Journal of Logic and
Computation, 8(3), 233-260, 1998.
M. d'Inverno, D. Kinny and M. Luck. Interaction Protocols in
Agentis,
In Proceedings
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, In
Intelligent 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.
Keppens, J. & Shen, Q., Finding faults
with uncertain assumptions. In Proceedings of the 9th
International Workshop on Principles of Diagnosis, 197-203,
1998.
Keppens, J., Shen, Q. & Biris, E., Maintaining
uncertain assumptions for plausible fault diagnosis. In
Proceedings of the 7th International Conference on
Information Processing and Management of Uncertainty in
Knowledge-Based Systems, 1898-1899, 1998.
M. Luck and M. d'Inverno. Motivated Behaviour for Goal
Adoption,
in Multi-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.
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.
1997
M. d'Inverno and M. Luck, Development and Application of a Formal Agent
Framework,
In Proceedings
of the First IEEE International Conference on Formal
Engineering Methods, Hiroshima, Japan, 1997.
M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke,
M. Ryan and M. Wooldridge. Formalisms for Multi-Agent
Systems,
Knowledge Engineering
Review 12(3), 1997.
M. d'Inverno, M. Luck and M. Wooldridge.
Cooperation Structures, in Proceedings of the Fifteenth
International Joint Conference on Artificial
Intelligence,
Nagoya, Japan, 600-605, 1997.
M. d'Inverno, M. Priestley and M. Luck. Formal framework for hypertext
systems,
IEE Proceedings on
Software Engineering, 144(3), 175-184, June 1997.
M. d'Inverno and M. Luck. Making and Breaking Engagements: An
Operational Analysis of Agent
Relationships,
in Multi-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. Luck, N. Griffiths and M. d'Inverno. 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,
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,
in ECAI '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, in Agents 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. d'Inverno and M. Luck, A Formal View of Social Dependence
Networks,
in Distributed
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. Luck and M. d'Inverno, Engagement and Cooperation in Motivated Agent
Modelling,
in Distributed
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.
Vanthienen J., Dries, E. & Keppens, J.,
Clustering knowledge in tabular knowledge bases. In
Proceedings of the 8th International Conference on Tools
with Artificial Intelligence, 88-95, 1996.
1995
M. Luck and M. d'Inverno, 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, Jonathan Bowen and Mike Hinchey
(eds.), Lecture Notes in Computer Science,
967, 47-62, Springer-Verlag, Heidelberg,
1995.
M. Luck and M. d'Inverno, A Formal Framework for Agency and
Autonomy,
in Proceedings
of the First International Conference on Multi-Agent
Systems,
254-260, AAAI Press / MIT Press, 1995.
1993
M. Luck, Evaluating Evidence for Motivated Discovery,
in Progress in
Artificial Intelligence, EPIA '93, Lecture Notes in Artificial
Intelligence 727, 324-339, Springer-Verlag, 1993.