Declarative agent languages and technologies VII
Subtitle: 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009, revised selected and invited papers
By: Matteo Baldoni ... [et al.], eds
Contributors: Baldoni, Matteo, 1968-
Series: Lecture notes in computer science -- 5948. -- Lecture notes in artificial intelligence; LNCS sublibrary: SL 7 - Artificial intelligence
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 261
ISBN-13: 9783642113543
Subjects: Congresses; Programming languages (Electronic computers)
Other titles: DALT 2009
Description: "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.
Notes: Includes bibliographical references and author index.