Efficient algorithms for qualitative reasoning about time
type: Item
instance of: scholarly article
title: Efficient algorithms for qualitative reasoning about time
zbMATH Open document ID: 1013.68553
DOI: 10.1016/0004-3702(94)00016-T
author: Lenhart K. Schubert
author: Alfonso E. Gerevini
published in: Artificial Intelligence
publication date: 2003-02-04T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1863771
MaRDI profile type: Publication
cites work: Maintaining knowledge about temporal intervals
cites work: Towards a general theory of action and time
cites work: Q4028767
cites work: Q3619797
cites work: Using temporal hierarchies to efficiently maintain large temporal databases
cites work: Temporal constraint networks
cites work: On point-based temporal disjointness
cites work: Q5750447
cites work: Unit Refutations and Horn Sets
cites work: Q4003160
cites work: On binary constraint problems
cites work: Reasoning about temporal relations
cites work: Temporally distributed symptoms in technical diagnosis
cites work: Q3997087
cites work: Automated deduction by theory resolution
cites work: Reasoning about qualitative temporal information
description: scientific article; zbMATH DE number 1863771