| 书目名称 | Declarative Agent Languages and Technologies X |
| 副标题 | 10th International W |
| 编辑 | Matteo Baldoni,Louise Dennis,Wamberto Vasconcelos |
| 视频video | |
| 概述 | Fast-track conference proceedings.State-of-the-art research.Up-to-date results |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics:declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents. |
| 出版日期 | Conference proceedings 2013 |
| 关键词 | cognitive agents; commitment protocols; formal verification; logic programming; multi-agent systems |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-37890-4 |
| isbn_softcover | 978-3-642-37889-8 |
| isbn_ebook | 978-3-642-37890-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2013 |
发表于 2025-3-21 20:08:26
