Willkommen, schön sind Sie da!
Logo Ex Libris

Declarative Agent Languages and Technologies III

  • E-Book (pdf)
  • 248 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Declarative Agent Languages... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 82.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich


This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, held in The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The papers are organized in topical sections.


Agent Programming and Beliefs.- Beliefs in Agent Implementation.- Modelling Uncertainty in Agent Programming.- Complete Axiomatizations of Finite Syntactic Epistemic States.- Architectures and Logic Programming.- An Architecture for Rational Agents.- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming.- A Distributed Architecture for Norm-Aware Agent Societies.- About Declarative Semantics of Logic-Based Agent Languages.- Knowledge Representation and Reasoning.- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour.- Resource-Bounded Belief Revision and Contraction.- Agent-Oriented Programming with Underlying Ontological Reasoning.- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains.- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.- Coordination and Model Checking.- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents.- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.


Titel: Declarative Agent Languages and Technologies III
Untertitel: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
EAN: 9783540331070
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 248
Veröffentlichung: 28.02.2006
Dateigrösse: 3.2 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"