A combination of explicit and deductive knowledge with branching time: completeness and decidability results

&
In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 188--204 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
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.
Declarative Agent Languages and Technologies 4.U. Endriss & M. Baldoni (eds.) - 2006 - Springer.
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.S. Negri & E. Pavlović - 2020 - Studia Logica 109 (3):473-507.

Analytics

Added to PP
2014-01-26

Downloads
28 (#138,667)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references