Skip to main content
SpringerLink
Log in

Modelling competitive co-operation of agents in a compositional multi-agent framework

  • Short Papers
  • Conference paper
  • First Online:
Book cover Knowledge Acquisition, Modeling and Management (EKAW 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1319))

  • 231 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., and Willems, M. Formal specification of hierarchically (de)composed tasks. In: Gaines, B.R. and Musen, M. (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Vol. 2, pp. 25/1–25/20, SRDG Publications, Deptartment of Computer Science, University of Calgary, 1995.

    Google Scholar 

  2. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., and Willems, M. Temporal semantics of complex reasoning tasks. In: Gaines, B.R. and Musen, M. (eds.), Proc. of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Vol. 1, pp. 15/1–15/17, SRDG Publications, Deptartment of Computer Science, University of Calgary, 1996. Extended version to appear in Data and Knowledge Engineering.

    Google Scholar 

  3. Cornelissen, F., Jonker, C. and Treur, J. Compositional verification of knowledge-based systems: A case study for diagnostic reasoning. In: Proc. European Knowledge Acquisition Workshop EKAW'97, Springer-Verlag, 1997 (this volume).

    Google Scholar 

  4. Ricart, G. and Agrawala, A.K. An optimal algorithm for mutual exclusion in computer networks. Comm. ACM, Vol. 24(1), pp. 9–17, Jan. 1981.

    Article  Google Scholar 

  5. Brazier, F.M.T., Van Eck, P.A.T. and Treur, J. Modelling cooperative behaviour for resource access in a compositional multi-agent framework. In: Fiadeiro, J.L. and Schobbens, P.-Y. (eds.) Proc. 2nd Workshop of the ModelAge Project, ModelAge'96, Universidade de Lisboa, 1996.

    Google Scholar 

  6. Brazier, F.M.T., Dunin Keplicz, B., Jennings, N. and Treur, J. DESIRE Modelling Multi-Agent Systems in a Compositional Formal Framework, International Journal of Cooperative Information Systems, Vol. 6, Huhns, M. and Singh, M. (eds.), Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, 1997.

    Google Scholar 

  7. Wooldridge, M.J. and Jennings, N.R. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152,1995.

    Google Scholar 

  8. Dieng, R., Corby, O. and Labidi, S. Agent-based knowledge acquisition. In: Steels, L., Schreiber, G. and Van de Velde, W. (eds.) A Future for Knowledge Acquisition. Proc. EKAW'94. LNAI, Vol. 867, pp. 63–82, Springer-Verlag, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, NL-1081 HV, Amsterdam, The Netherlands

    Frances Brazier, Pascal van Eck & Jan Treur

Authors
  1. Frances Brazier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pascal van Eck
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Enric Plaza Richard Benjamins

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brazier, F., van Eck, P., Treur, J. (1997). Modelling competitive co-operation of agents in a compositional multi-agent framework. In: Plaza, E., Benjamins, R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1997. Lecture Notes in Computer Science, vol 1319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026794

Download citation

  • DOI: https://doi.org/10.1007/BFb0026794

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63592-5

  • Online ISBN: 978-3-540-69606-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation