booktheque

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

"This volume presents the latest developments in the area of declarative languages and technologies, which aim to provide rigorous frameworks for designing, specifying, implementing and verifying autonomous interacting agents. These frameworks are based on computational logics and other formal methods such as mathematical models and game theoretical approaches."--Preface.

Book details

Year
2010
Language
English
Series
Lecture notes in computer science -- 5948. -- Lecture notes in artificial intelligence
Publisher
Springer
Editions
1
Pages
261
ISBN
9783642113543

Data source: Wikidata