A verification framework for agent programming with declarative goals

, , &
Journal of Applied Logic 5 (2):277-302 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.12.014

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

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

On programming KARO agents.J. Meyer, F. de Boer, R. van Eijk, K. Hindriks & W. van der Hoek - 2001 - Logic Journal of the IGPL 9 (2):245-256.
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.
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.
Logic and Declarative Language.Michael Downward - 1998 - Routledge.
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.
Solving Higher-Order Equations: From Logic to Programming.Christian Prehofer - 1998 - Springer Verlag.
What is answer set programming?Vladimir Lifschitz - unknown
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.
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
A methodology to create legal ontologies in a logic programming based web information retrieval system.José Saias & Paulo Quaresma - 2004 - Artificial Intelligence and Law 12 (4):397-417.
Adventures in the verification of mathematics.Harvey Friedman - manuscript
SDML: A multi-agent language for organizational modelling.Bruce Edmonds - manuscript
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.
The interpretation of intentionality from dynamic scenes.Peter C. Pantelis - unknown
I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies.Tina Balke, Marina De Vos & Julian Padget - 2013 - Artificial Intelligence and Law 21 (4):371-398.

Analytics

Added to PP
2016-06-30

Downloads
16 (#906,902)

6 months
8 (#361,305)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Reasoning about agent programs using ATL-Like logics.Nitin Yadav & Sebastian Sardina - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 437--449.

Add more citations

References found in this work

Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.

Add more references