Declarative Agent Languages and Technologies III
Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
Fr. 112.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Declarative Agent Languages and Technologies III “
Klappentext zu „Declarative Agent Languages and Technologies III “
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.
Inhaltsverzeichnis zu „Declarative Agent Languages and Technologies III “
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.
Bibliographische Angaben
- 2006, 248 Seiten, Masse: 15,6 x 23,8 cm, Kartoniert (TB), Englisch
- Herausgeber: Torroni, Paolo, Baldoni, Matteo, Endriss, Ulle, Omicini, Andrea
- Herausgegeben: Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
- Verlag: Springer
- ISBN-10: 3540331069
- ISBN-13: 9783540331063
- Erscheinungsdatum: 23.03.2006
Sprache:
Englisch
Kommentar zu "Declarative Agent Languages and Technologies III"
0 Gebrauchte Artikel zu „Declarative Agent Languages and Technologies III“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Declarative Agent Languages and Technologies III".
Kommentar verfassen