Number of items: 10.
[Course] Fernández Chamizo, Carmen and Gómez Sanz, Jorge and Pavón, Juan
Salaheddin, J. and Vouros, A.
Evaluation of Agent Oriented Software Engineering Main Approaches.
Proceedings of the IASTED International Conference on, Software Engineering (SE 2004).
, Innsbruck, Austria.
Bergenti, F. and Gleizes, M.P. and Zambonelli, F.
Methodologies And Software Engineering For Agent Systems.
Kluwer Academic Publishing.
Bordini, R. and Fisher, M. and Visser, M. and Wooldridge, M.
Model checking rational agents.
IEEE Intelligent Systems.
Bordini, R. and Fisher, M. and Visser, W. and Wooldridge, M.
State-space reduction techniques in agent verification.
Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems.
, New York.
Kefalas, P. and Holcombe, M. and Eleftherakis, G. and Gheorge, M.
A Formal Method for the Development of Agent Based Systems.
Intelligent Agent Software Engineering.
Reed, C. and Norman, T.J.
A Roadmap of Research in Argument and Computation.
Argumentation Machines: New Frontiers in Argument and Computation.
Kluwer Academic Publishers, Dordrecht.
The complexity of achievement and maintenance problems in agent-based systems.
Aknine, S. and Pinson, S.
Managing Distributed Parallel Workflow Systems Using a Multi-Agent Method.
Agent Supported Cooperative Work, Kluwer.
Kourakos-Mavromichalis, E. and Vouros, G.
Building Intelligent Collaborative Interface Agents with the ICAGENT Development Framework.
8th Panhellenic Informatics Conference.
This list was generated on Mon Sep 10 17:00:12 BST 2007.