Declarative Agent Languages and Technologies VI Declarative Agent Languages and Technologies VI

Declarative Agent Languages and Technologies VI

Matteo Baldoni 및 다른 저자
    • US$69.99
    • US$69.99

출판사 설명

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.

The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.

장르
컴퓨터 및 인터넷
출시일
2008년
12월 25일
언어
EN
영어
길이
261
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
2.1
MB
Specification and Verification of Multi-agent Systems Specification and Verification of Multi-agent Systems
2010년
Argumentation in Multi-Agent Systems Argumentation in Multi-Agent Systems
2009년
Computational Logic in Multi-Agent Systems Computational Logic in Multi-Agent Systems
2010년
Deontic Logic in Computer Science Deontic Logic in Computer Science
2008년
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011년
Dynamic Logic. New Trends and Applications Dynamic Logic. New Trends and Applications
2020년
Engineering Multi-Agent Systems Engineering Multi-Agent Systems
2022년
Engineering Multi-Agent Systems Engineering Multi-Agent Systems
2016년
Principles and Practice of Multi-Agent Systems Principles and Practice of Multi-Agent Systems
2016년
PRIMA 2016: Principles and Practice of Multi-Agent Systems PRIMA 2016: Principles and Practice of Multi-Agent Systems
2016년
Engineering Multi-Agent Systems Engineering Multi-Agent Systems
2015년
Declarative Agent Languages and Technologies VII Declarative Agent Languages and Technologies VII
2010년