Cargando…
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Lecture Notes in Artificial Intelligence,
5948 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.