A non-reified temporal logic

, &
Artificial Intelligence 52 (1):87-108 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(91)90025-f

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,405

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

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
10 (#1,380,055)

6 months
6 (#1,067,609)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.
Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.

Add more references