About declarative semantics of logic-based agent languages

&
In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 106--123 (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: 91,853

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

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.
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.
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.
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.
Declarative Agent Languages and Technologies 4.U. Endriss & M. Baldoni (eds.) - 2006 - Springer.
Declarative Agent Languages and Technologies III.P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.) - 2006 - Springer.
A logical analysis of the relationship between commitment and obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
Hohfeld in cyberspace and other applications of normative reasoning in agent technology.Christen Krogh & Henning Herrestad - 1999 - Artificial Intelligence and Law 7 (1):81-96.
Well-Founded Semantics, Generalized.Melvin C. Fitting - unknown
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.
Objective bayesian probabilistic logic.Jon Williamson - 2008
Resource-bounded belief revision and contraction.Mark Jago - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 141--154.
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.
Generalized quantifiers in declarative and interrogative sentences.Raffaella Bernardi & Richard Moot - 2003 - Logic Journal of the IGPL 11 (4):419-434.
Mood and the Analysis of Non-Declarative Sentences.Deirdre Wilson & Dan Sperber - 1988 - In J. Dancy, J. M. E. Moravcsik & C. C. W. Taylor (eds.), Human Agency: Language, Duty, and Value : Philosophical Essays in Honor of J.O. Urmson. Stanford, Calif: Stanford University Press. pp. 77--101.

Analytics

Added to PP
2014-01-26

Downloads
6 (#1,461,013)

6 months
2 (#1,198,779)

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