- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A non-reified temporal logic
Artificial Intelligence 52 (1):87-108 (1991)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Fahiem Bacchus, Representing and Reasoning with Probabilistic Knowledge. A Logical Approach to Probabilities. [REVIEW]Jerzy W. Grzymala-Busse - 1999 - Journal of Symbolic Logic 64 (4):1837-1837.
Bacchus Fahiem. Representing and reasoning with probabilistic knowledge. A logical approach to probabilities. The MIT Press, Cambridge, Mass., and London, 1991 , xvii + 233 pp. [REVIEW]Jerzy W. Grzymala-Busse - 1999 - Journal of Symbolic Logic 64 (4):1837-1837.
Simple Reasoning with Time-Dependent Propositions.Maroua Bouzid & Peter Ladkin - 2002 - Logic Journal of the IGPL 10 (4):379-399.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Øhrstrøm & Per F. V. Hasle - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
Temporal Logic: From Ancient Ideas to Artificial Intelligence.Peter Ørstrø & Per F. V. Hasle - 1995 - Springer Verlag.
Temporal prepositions and their logic.Ian Pratt-Hartmann - 2005 - Artificial Intelligence 166 (1-2):1-36.
Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
Temporal scenario modelling and recognition based on possibilistic logic.Michel Grabisch - 2003 - Artificial Intelligence 148 (1-2):261-289.
Proving properties of continuous systems: qualitative simulation and temporal logic.Benjamin Shults & Benjamin J. Kuipers - 1997 - Artificial Intelligence 92 (1-2):91-129.
First-order rewritability of ontology-mediated queries in linear temporal logic.Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2021 - Artificial Intelligence 299 (C):103536.
Analytics
Added to PP
2020-12-22
Downloads
6 (#711,559)
6 months
4 (#1,635,958)
2020-12-22
Downloads
6 (#711,559)
6 months
4 (#1,635,958)
Historical graph of downloads
Citations of this work
Operators vs. Arguments: The Ins and Outs of Reification.Antony Galton - 2006 - Synthese 150 (3):415-441.
The token reification approach to temporal reasoning.Lluís Vila & Han Reichgelt - 1996 - Artificial Intelligence 83 (1):59-74.
References found in this work
Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
Temporal logics in AI: Semantical and ontological considerations.Yoav Shoham - 1987 - Artificial Intelligence 33 (1):89-104.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-lc8fp uwo