Title: Declarative agent languages and technologies VII
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.
Subjects: Congresses, Programming languages (Electronic computers), Programming languages (electronic computers), Intelligent agents (computer software)