Temporal agent programs

, &
Artificial Intelligence 127 (1):87-135 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(01)00052-2

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,859

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

Agent planning programs.Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti & Sebastian Sardina - 2016 - Artificial Intelligence 231 (C):64-106.
Temporal segmentation in multi agent path finding with applications to explainability.Shaull Almagor, Justin Kottinger & Morteza Lahijanian - 2024 - Artificial Intelligence 330 (C):104087.
Reasoning about agent programs using ATL-Like logics.Nitin Yadav & Sebastian Sardina - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin, Logics in Artificial Intelligence. Springer. pp. 437--449.
Kagan, V., Nerode, A. and Subrahmanian, VS., Computing definite logic.M. A. da ArchangelskyTaitslin, S. Artemov, F. A. Bluerle, J. B. Remmel, R. Harper, D. Sannella & A. Tarlecki - 1994 - Annals of Pure and Applied Logic 67:349.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
Temporal belief logics for modelling distributed artificial intelligence systems.Michael Wooldridge - 1996 - In N. Jennings & G. O'Hare, Foundations of Distributed Artificial Intelligence. Wiley. pp. 269--286.
Reasoning about programs.R. J. Waldinger & K. N. Levitt - 1974 - Artificial Intelligence 5 (3):235-316.
Annotated revision programs.Victor Marek, Inna Pivkina & Mirosław Truszczyński - 2002 - Artificial Intelligence 138 (1-2):149-180.
The correctness of nondeterministic programs.Zohar Manna - 1970 - Artificial Intelligence 1 (1-2):1-26.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,415,971)

6 months
1 (#1,599,875)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Agent deliberation in an executable temporal framework.Michael Fisher - 2011 - Journal of Applied Logic 9 (4):223-238.

Add more citations

References found in this work

Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 13 references / Add more references