Declarative Agent Languages and Technologies 4

& (eds.)
Springer (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

original Torroni, P.; Endriss, U.; Baldoni, M.; Omicini, A. (2006) "Declarative Agent Languages and Technologies III". Springer

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,874

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Modelling communicating agents in timed reasoning logics.Brian Logan, Mark Jago & Natasha Alechina

Similar books and articles

Modelling communicating agents in timed reasoning logics.Brian Logan, Mark Jago & Natasha Alechina - 2006 - In U. Endriss & M. Baldoni (eds.), Declarative Agent Languages and Technologies 4. Springer.
About declarative semantics of logic-based agent languages.Stefania Costantini & Arianna Tocchio - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 106--123.
Declarative Agent Languages and Technologies III.P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.) - 2006 - Springer.
Beliefs in agent implementation.Laurens Winkelhagen, Mehdi Dastani & Jan Broersen - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 1--16.
Modelling uncertainty in agent programming.Johan Kwisthout & Mehdi Dastani - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 17--32.
Goal decomposition tree: An agent model to generate a validated agent behaviour.Gaële Simon, Bruno Mermet & Dominique Fournier - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 124--140.
An intensional programming approach to multi-agent coordination in a distributed network of agents.Kaiyu Wan & Vasu S. Alagar - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 205--222.
Complete axiomatizations of finite syntactic epistemic states.Thomas Ågotnes & Michal Walicki - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 33--50.
A combination of explicit and deductive knowledge with branching time: completeness and decidability results.Alessio Lomuscio & Bożena Woźna - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 188--204.
Conformal transformations of space-time as vector bundle automorphisms.Alexey Kryukov - unknown

Analytics

Added to PP
2010-06-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Ulle Endriss
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references