A Temporal Logic for Reasoning about Processes and Plans

Cognitive Science 6 (2):101-155 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,389

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.
A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Relational Dual Tableaux for Interval Temporal Logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
New Foundations for Practical Reasoning.John L. Pollock - 1992 - Minds and Machines 2 (2):113-144.
Temporalizing Epistemic Default Logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
Bisimulations for Temporal Logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
Uncertain Reasoning About Agents' Beliefs and Reasoning.John A. Barnden - 2001 - Artificial Intelligence and Law 9 (2-3):115-152.
Reasoning and Logic.Jim Mackenzie - 1989 - Synthese 79 (1):99 - 117.

Analytics

Added to PP
2013-11-21

Downloads
26 (#443,125)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Drew McDermott
Yale University

Citations of this work

Nonmonotonic Logic and Temporal Projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
Intention is Choice with Commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.
Qualitative Process Theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
Towards a General Theory of Action and Time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
Temporal Constraint Networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.

View all 74 citations / Add more citations

References found in this work

Counterfactuals.David Lewis - 1973 - Cambridge, MA, USA: Blackwell.
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, England: Clarendon Press.
The Logical Form of Action Sentences.Donald Davidson - 1967 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.
A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 24 references / Add more references