Exploring the Future with Resource-Bounded Agents


DOI: 10.1007/s10849-008-9074-5

Cite this article as:
Fisher, M. & Ghidini, C. J of Log Lang and Inf (2009) 18: 3. doi:10.1007/s10849-008-9074-5


We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.


Agent-based systemsFormal specificationResource-bounded agents

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  2. 2.Fondazione Bruno Kessler – irstTrentoItaly