Welcome to IEEE Xplore 2.0: Propositional interval temporal logics: some promising paths

Cart | Sitemap | Help

Abstract


	BROWSE	SEARCH	IEEE XPLORE GUIDE	SUPPORT

View TOC

Propositional interval temporal logics: some promising paths
Montanari, A.
Dipt. di Matematica e Informatica, Universita degli Studi di Udine, Italy;

This paper appears in: Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
Publication Date: 23-25 June 2005
On page(s): 201- 203
ISSN: 1530-1311
ISBN: 0-7695-2370-6
INSPEC Accession Number: 8745775
Digital Object Identifier: 10.1109/TIME.2005.30
Current Version Published: 2005-07-05

Abstract
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.

Index Terms
Available to subscribers and IEEE members.

References
Available to subscribers and IEEE members.

Citing Documents
Available to subscribers and IEEE members.

You are not logged in.

Guests may access Abstract records free of charge.