Konferenzschrift | Kongress | Kongress <2008>
Declarative agent languages and technologies VI : 6th international workshop ; revised selected and invited papers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540939191
- Maße
-
24 cm
- Umfang
-
X, 250 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 5397 : Lecture notes in artificial intelligence
- Schlagwort
-
Mehragentensystem
Deklarative Programmiersprache
Formale Spezifikationstechnik
Verifikation
Mehragentensystem
Autonomer Agent
Deklarative Programmiersprache
Formale Methode
Mehragentensystem
Wissensrevision
Inferenz
Logische Programmierung
Mehragentensystem
Deklarative Programmiersprache
Formale Spezifikationstechnik
Verifikation
Mehragentensystem
Autonomer Agent
Deklarative Programmiersprache
Formale Methode
Mehragentensystem
Wissensrevision
Inferenz
Logische Programmierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, NY
- (wer)
-
Springer
- (wann)
-
2009
- Beteiligte Personen und Organisationen
-
Baldoni, Matteo
DALT (6 : 2008 : Estoril)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:18 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
- Kongress <2008>
Beteiligte
- Baldoni, Matteo
- DALT (6 : 2008 : Estoril)
- Springer
Entstanden
- 2009
Ähnliche Objekte (12)
Declarative agent languages and techniques : first international workshop ; revised selected and invited papers
Declarative agent languages and technologies VIII : 8th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IV : 4th international workshop ; selected, revised and invited papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IX : 9th international workshop ; revised selected and invited papers
Programming multi-agent systems : 6th international workshop ; revised invited and selected papers
Rewriting declarative query languages
Declarative agent languages and technologies X : 10th international workshop ; revised selected papers
Model checking and artificial intelligence : 6th international workshop ; revised selected and invited papers
Argumentation in multi-agent systems : 6th international workshop ; revised selected and invited papers
Engineering societies in the agents world VI : 6th international workshop ; revised selected and invited papers
A Framework for Defining Declarative Languages
Declarative agent languages and techniques : first international workshop ; revised selected and invited papers
Declarative agent languages and technologies VIII : 8th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IV : 4th international workshop ; selected, revised and invited papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IX : 9th international workshop ; revised selected and invited papers
Programming multi-agent systems : 6th international workshop ; revised invited and selected papers
Rewriting declarative query languages
Declarative agent languages and technologies X : 10th international workshop ; revised selected papers
Model checking and artificial intelligence : 6th international workshop ; revised selected and invited papers
Argumentation in multi-agent systems : 6th international workshop ; revised selected and invited papers
Engineering societies in the agents world VI : 6th international workshop ; revised selected and invited papers
A Framework for Defining Declarative Languages
Declarative agent languages and techniques : first international workshop ; revised selected and invited papers
Declarative agent languages and technologies VIII : 8th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IV : 4th international workshop ; selected, revised and invited papers
Declarative agent languages and technologies VII : 7th international workshop ; revised selected and invited papers
Declarative agent languages and technologies IX : 9th international workshop ; revised selected and invited papers
Programming multi-agent systems : 6th international workshop ; revised invited and selected papers
Rewriting declarative query languages
Declarative agent languages and technologies X : 10th international workshop ; revised selected papers
Model checking and artificial intelligence : 6th international workshop ; revised selected and invited papers
Argumentation in multi-agent systems : 6th international workshop ; revised selected and invited papers
Engineering societies in the agents world VI : 6th international workshop ; revised selected and invited papers