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

Links

PhilArchive



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

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

Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
On complexity of verification of interacting agents' behavior.Michael Dekhtyar, Alexander Dikovsky & Mars Valiev - 2006 - Annals of Pure and Applied Logic 141 (3):336-362.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans (ed.), Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
Computing the fault tolerance of multi-agent deployment.Yingqian Zhang, Efrat Manisterski, Sarit Kraus, V. S. Subrahmanian & David Peleg - 2009 - Artificial Intelligence 173 (3-4):437-465.
Verifying Temporal Heap Properties Specified via Evolution Logic.E. Yahav, T. Reps, M. Sagiv & R. Wilhelm - 2006 - Logic Journal of the IGPL 14 (5):755-783.
A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Springer. pp. 340-354.
Deliberating for Our Far Future Selves.Jennifer M. Morton - 2013 - Ethical Theory and Moral Practice 16 (4):809-828.
Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 80--96.
Ability and knowing how in the situation calculus.Yves Lespérance, Hector J. Levesque, Fangzhen Lin & Richard B. Scherl - 2000 - Studia Logica 66 (1):165-186.
Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Reasoning about actions in dynamic linear time temporal logic.L. Giordano, A. Martelli & C. Schwind - 2001 - Logic Journal of the IGPL 9 (2):273-288.
Prudence and Authenticity.David O. Brink - 2003 - Philosophical Review 112 (2):215-245.
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
Time-Situated Agency: Active Logic and Intention Formation.Michael L. Anderson - unknown

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,550,102)

6 months
3 (#880,460)

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