[Lecture Notes in Computer Science] Formal Models of Agents Volume 1760 || Towards an Agent-Oriented Framework for Specification of Information Systems

✍ Scribed by Meyer, John-Jules Ch.; Schobbens, Pierre-Yves

• Book ID: 124156192
• Publisher: Springer Berlin Heidelberg
• Year: 1999
• Tongue: German
• Weight: 193 KB
• Category: Article
• ISBN: 3540465812
• DOI: 10.1007/3-540-46581-2_5

✦ Synopsis

This Volume Provides A Selection Of Strictly Refereed Papers First Presented During A Workshop Held Within The Context Of The Esprit Modelage Project In Certosa Di Pertignano, Italy, In 1997. The 15 Revised Full Papers Presented Together With An Introductory Survey By The Volume Editors Were Carefully Reviewed For Inclusion In The Book. The Book Is Devoted To The Interdisciplinary Study Of Formal Models Of Agency And Intelligent Agents From The Points Of View Of Artificial Intelligence, Software Engineering, Applied Logic, Databases, And Organization Theory. Among The Topics Addressed Are Various Types Of Agents And Multi-agent Systems, Cooperation, Communication, Specification, Verification, Deontic Logic, Diagnosis, And Decision Making.