Advertisement

Table of contents

  1. Front Matter
    Pages I-VIII
  2. John-Jules Ch. Meyer, Pierre-Yves Schobbens
    Pages 1-7
  3. Stanisław Ambroszkiewicz, Jan Komar
    Pages 8-19
  4. John Bell, Zhisheng Huang
    Pages 20-35
  5. Frances Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge
    Pages 36-56
  6. Stefan Conrad, Gunter Saake, Can Türker
    Pages 57-73
  7. Rosaria Conte, Cristiano Castelfranchi, Roberto Pedone
    Pages 74-89
  8. Barbara Dunin-Kęplicz, Anna Radzikowska
    Pages 143-156
  9. Bruno Errico
    Pages 157-172
  10. P. Fröhlich, I. Móra, W. Nejdl, M. Schroeder
    Pages 173-186
  11. John-Jules Ch. Meyer, Patrick Doherty
    Pages 187-201
  12. Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan
    Pages 216-239
  13. Leendert W. N. van der Torre, Yao-Hua Tan
    Pages 240-251
  14. Back Matter
    Pages 253-253

About these proceedings

Keywords

agents artificial intelligence intelligence logic multi-agent system software engineering verification

Editors and affiliations

  • John-Jules Ch. Meyer
    • 1
  • Pierre-Yves Schobbens
    • 2
  1. 1.Department of Computer ScienceUtrecht UniversityUtrechtThe Netherlands
  2. 2.Institut d’InformatiqueNamurBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46581-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67027-8
  • Online ISBN 978-3-540-46581-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site