KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Declarative Agent Languages and Technologies III
Band 3904

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.2006

Abbildungen

XII, 248 p.

Herausgeber

Matteo Baldoni + weitere

Verlag

Springer Berlin

Seitenzahl

248

Maße (B/H)

15,5/23,5 cm

Gewicht

376 g

Sprache

Englisch

ISBN

978-3-540-33106-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.03.2006

Abbildungen

XII, 248 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

248

Maße (B/H)

15,5/23,5 cm

Gewicht

376 g

Sprache

Englisch

ISBN

978-3-540-33106-3

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: 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.