Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /

Show other versions (1)

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Baldoni, Matteo (Editor), Bentahar, Jamal (Editor), Riemsdijk, M. Birna van (Editor), Lloyd, John (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 5948
Subjects:
Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computers.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Models and Principles.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items