Advertisement

Formal Models of Agents

ESPRIT Project ModelAge Final Workshop Selected Papers

  • John-Jules Ch. Meyer
  • Pierre-Yves Schobbens
Conference proceedings ModelAge 1997

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1760)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1760)

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
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering