On Computing the Minimal Labels in Time Point Algebra Networks

On Computing the Minimal Labels in Time Point Algebra Networks (1995)

Cached

Download Links

[ftp.cs.rochester.edu]

Other Repositories/Bibliography

DBLP

by Alfonso Gerevini , Lenhart Schubert

Citations:

10 - 5 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	On Computing the Minimal Labels in Time Point Algebra Networks	user correction - Legacy Corrections
AUTHOR NAME	Alfonso Gerevini	SVM HeaderParse 0.1
AUTHOR NAME	Lenhart Schubert	SVM HeaderParse 0.1
AUTHOR AFFIL	; IRST-- Istituto per la Ricerca Scientifica e Tecnologica; 2; Computer Science Department, University of Rochester	SVM HeaderParse 0.2
AUTHOR ADDR	; I-38050 Povo, Trento Italy; Rochester, NY 14627, USA	SVM HeaderParse 0.1
ABSTRACT	We analyze the problem of computing the minimal labels for a network of temporal relations in the Point Algebra. van Beek proposes an algorithm for accomplishing this task which takes O(max(n 3 ; n 2 \Delta m)) time (for n points and m 6=-relations). We show that the proof of the correctness of this algorithm given by van Beek and Cohen is faulty, and we provide a new proof showing that the algorithm is indeed correct. Keywords: temporal reasoning, Point Algebra, constraint networks, reasoning with inequations The work of the first author was carried out in part during a visit at the Computer Science Department of the University of Rochester (NY) supported by the Italian National Research Council (CNR), and in part at IRST in the context of the MAIA project and CNR projects "Sistemi Informatici e Calcolo Parallelo" and "Pianificazione Automatica". The second author was supported by Rome Lab Contract F30602-91-C-0010. 1 Introduction The Interval Algebra (IA) (Allen 1983) and t...	user correction - Legacy Corrections
YEAR	1995	user correction - Legacy Corrections
CITATIONS	14 found	ParsCit 1.0