/LC.GIF&client=easterncarolinaedu)
Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009, revised selected and invited papers / Matteo Baldoni ... [et al.], eds.
| Author/creator | International Workshop on Declarative Agent Languages and Technologies |
| Other author | Baldoni, Matteo, 1968- |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | xii, 261 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2010 English International |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Portion of title | DALT 2009 |
| Series | Lecture notes in computer science, 0302-9743 ; 5948. Lecture notes in artificial intelligence LNCS sublibrary: SL 7 - Artificial intelligence |
| Abstract | "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. |
| Bibliography note | Includes bibliographical references and author index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2009943839 |
| ISBN | 3642113540 (pbk. : alk. paper) |
| ISBN | 9783642113543 (pbk. : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |