Declarative agent languages and technologies

Medientyp: Buch; Konferenzbericht
Titel: Declarative agent languages and technologies
6, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12; revised selected and invited papers / Matteo Baldoni ... (eds.)
Beteiligte: Baldoni, Matteo [Herausgeber:in]
Veranstaltung: DALT
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2009
Erschienen in: Declarative agent languages and technologies ; 6
Lecture notes in computer science ; 5397
Umfang: X, 250 S.; graph. Darst
Sprache: Englisch
ISBN: 3540939199; 9783540939191
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Mehragentensystem > Deklarative Programmiersprache > Formale Spezifikationstechnik > Verifikation
Mehragentensystem > Autonomer Agent > Deklarative Programmiersprache > Formale Methode
Mehragentensystem > Wissensrevision > Inferenz > Logische Programmierung
Entstehung:
Anmerkungen:
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Declarative agent languages and technologies / 6, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12; revised selected and invited papers / Matteo Baldoni ... (eds.)