Complete axiomatizations of finite syntactic epistemic states

&
In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 33--50 (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,779

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.
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.
Declarative Agent Languages and Technologies 4.U. Endriss & M. Baldoni (eds.) - 2006 - Springer.
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars.Maciej Kandulski - 1995 - Mathematical Logic Quarterly 41 (2):217-235.
Rectangular Games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.

Analytics

Added to PP
2014-01-26

Downloads
37 (#420,210)

6 months
18 (#192,432)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Developing bounded reasoning.Michał Walicki, Marc Bezem & Wojtek Szajnkenig - 2009 - Journal of Logic, Language and Information 18 (1):97-129.

Add more citations

References found in this work

No references found.

Add more references