Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
type: Item
instance of: scholarly article
title: Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
zbMATH Open document ID: 0870.68138
DOI: 10.1007/BF00137869
author: Bernhard Nebel
published in: Constraints
publication date: 1997-04-22T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1002519
zbMATH Keywords: Allen's calculus
zbMATH Keywords: qualitative temporal reasoning
zbMATH Keywords: ORD-Horn
MaRDI profile type: Publication
cites work: Maintaining knowledge about temporal intervals
cites work: Q4028767
cites work: Q4012216
cites work: Complexity and algorithms for reasoning about time
cites work: On binary constraint problems
cites work: Networks of constraints: Fundamental properties and applications to picture processing
cites work: Reasoning about temporal relations
cites work: Temporally distributed symptoms in technical diagnosis
cites work: Q4386938
full work available at URL: https://doi.org/10.1007/bf00137869
OpenAlex ID: W3012525065
description: scientific article; zbMATH DE number 1002519