Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra (1995)

Cached

Download Links

[ftp.informatik.uni-freiburg.de]
[ftp.informatik.uni-freiburg.de]

Other Repositories/Bibliography

DBLP

by Bernhard Nebel , Hans-Jürgen Bürckert

Venue:	Journal of the ACM
Citations:	143 - 9 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra	user correction - Legacy Corrections
AUTHOR NAME	Bernhard Nebel	user correction - Legacy Corrections
AUTHOR AFFIL	University of Ulm; Department of Computer Science; James-Franck-Ring	user correction - Legacy Corrections
AUTHOR ADDR	D-89069 Ulm, Germany	user correction - Legacy Corrections
AUTHOR NAME	Hans-Jürgen Bürckert	user correction - Legacy Corrections
AUTHOR AFFIL	German Research Center; for Artificial Intelligence (DFKI)	user correction - Legacy Corrections
AUTHOR ADDR	Stuhlsatzenhausweg 3; D-66123 Saarbrucken, Germany	user correction - Legacy Corrections
ABSTRACT	We introduce a new subclass of Allen's interval algebra we call "ORDHorn subclass," which is a strict superset of the "pointisable subclass." We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is sufficient for deciding satisfiability. Further, using an extensive machine-generated case analysis, we show that the ORD-Horn subclass is a maximal tractable subclass of the full algebra (assuming<F NaN> P6=NP). In fact, it is the unique greatest tractable subclass amongst the subclasses that contain all basic relations. This work has been supported by the German Ministry for Research and Technology (BMFT) under grant ITW 8901 8 as part of the WIP project and under grant ITW 9201 as part of the TACOS project. 1 1 Introduction Temporal information is often conveyed qualitatively by specifying the relative positions of time intervals such as ". . . point to the figure while explaining the performance of the system . . . "...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	Journal of the ACM	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	43--66	INFERENCE
VOLUME	42	INFERENCE
CITATIONS	37 found	ParsCit 1.0