лупа
Search Loader

Matteo Baldoni & Jamal Bentahar 
Declarative Agent Languages and Technologies VII 
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

поддержка
5948
€71.39
Способы оплаты

Содержание

Invited Talk.- Playing with Rules.- Invited Papers.- The Refinement of Choreographed Multi-Agent Systems.- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust.- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach.- Contributed Papers.- Unifying the Intentional and Institutional Semantics of Speech Acts.- Tableaux for Acceptance Logic.- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology.- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report.- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks.- Computing Utility from Weighted Description Logic Preference Formulas.- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games.- Correctness Properties for Multiagent Systems.- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.- Social Commitments in Time: Satisfied or Compensated.- Verifying Dribble Agents.
язык английский ● Формат PDF ● страницы 263 ● ISBN 9783642113550 ● редактор Matteo Baldoni & Jamal Bentahar ● издатель Springer Berlin ● город Heidelberg ● Страна DE ● опубликованный 2010 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 2171579 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

16 089 Электронные книги в этой категории