|
|
libcats.org
Главная →
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited PapersComputational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited PapersFrancesca Toni, Paolo TorroniThis book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI, held in London, UK, in June 2005. The series of workshops presents current work on application of general and declarative theories grounded on computational logic to multi-agent systems specification, semantics and procedures, and confronts ideas such as autonomy, deliberation, knowledge, commitment, openness, trust, with the computational logic paradigms. This research has encouraged the use of formal approaches to multi-agent systems research, and it has dealt with disparate issues such as implementations, environments, tools, and verification of computational systems. The 14 revised full technical papers, 4 contest papers, and 7 invited papers presented together with 1 invited article were carefully selected from 30 submissions and went through two rounds of reviewing and improvement. The papers of this state-of-the-art survey are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. They are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.
Скачать книгу бесплатно (pdf, 5.56 Mb)
Читать «Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Integrated Formal Methods, 4 conf., IFM 2004Автор: Eerke Boiten, Автор: John Derrick, Автор: Graeme SmithКатегория: CsLn_
Размер книги: 9.89 Mb
97 Things Every Programmer Should Know: Collective Wisdom from the ExpertsАвтор: Kevlin Henney
Размер книги: 2.02 Mb
Fluid Machinery and Fluid Mechanics: 4th International Symposium (4th ISFMFE)Автор: Jianzhong Xu, Автор: Yulin Wu, Автор: Yangjun Zhang, Автор: Junyue ZhangКатегория: Техника
Размер книги: 34.77 Mb
The Impact of Scripture in Early Christianity (Supplements to Vigiliae Christianae)Автор: J. Den Boeft, Автор: M. L. Van Poll-van de LidonkКатегория: Религия
Размер книги: 16.91 Mb
The Politics of Strategic and Clandestine War: Special Operations Executive, 1940-1946 (Studies in Intelligence)Автор: Neville WylieКатегория: История
Размер книги: 863 Kb
Algorithms and Models for the Web-Graph - WAW 2011Автор: Alan Frieze, Автор: Paul Horn, Автор: Pawel Pralat
Размер книги: 2.20 Mb
Jesus and the lost GoddessАвтор: Timothy Freke Peter GandyКатегория: religion
Размер книги: 33.89 Mb
Tous les exercices d'analyse PC-PSI : Pour assimiler le programme, s'entraîner et réussir son concoursАвтор: El Haj Laamri, Автор: Philippe Chateaux, Автор: Gérard Eguether, Автор: Laurent Schwald, Автор: Collectif
Размер книги: 7.20 Mb
|
|
|