Combining interval-based temporal reasoning with general TBoxes

Artificial Intelligence 152 (2):235-274 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2003.08.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

A general tableau method for propositional interval temporal logics: Theory and implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
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.
John Buridan's Sophismata and interval temporal semantics.Sara L. Uckelman & Spencer Johnston - 2010 - History of Philosophy & Logical Analysis 13:133-147.
A Minimal Hybrid Logic For Intervals.Altaf Hussain - 2006 - Logic Journal of the IGPL 14 (1):35-62.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
On the human uniqueness of the temporal reasoning system.Carlos Montemayor - 2019 - Behavioral and Brain Sciences 42.
Metric temporal reasoning with less than two clocks.Mark Reynolds - 2010 - Journal of Applied Non-Classical Logics 20 (4):437-455.
Temporalizing epistemic default logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.Ben Moszkowski - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):55-104.
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.
Special and General Relativity based on the Physical Meaning of the Spacetime Interval.Alan Macdonald - manuscript
Negation and Temporal Ontology.Tero Tulenheimo - 2011 - Australasian Journal of Philosophy 89 (1):101-114.
Interval-Related Interpolation in Interval Temporal Logics.Dimitar Guelev - 2001 - Logic Journal of the IGPL 9 (5):677-685.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,627,077)

6 months
3 (#982,484)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Pspace Reasoning With The Description Logic Aℒcf.Carsten Lutz - 2002 - Logic Journal of the IGPL 10 (5):535-568.

Add more references