Add to ORKGThis work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective is to detect the cause of inconsistency in an incremental version of the QTR problem. 1
10.1109/TIME.2005.19Proceedings of the International Workshop on Temporal Representation and Reasoni...
Within the qualitative spatial reasoning community it has been a widely accepted commonplace that re...
In recent years, several constraint-based temporal reasoning frameworks have been proposed. They con...
AbstractThis paper presents a general model for temporal reasoning that is capable of handling both ...
Qualitative Spatial and Temporal Reasoning (QSTR) represents spatial and temporal information in ter...
Constraint networks in qualitative spatial and temporal reasoning (QSTR) typically feature variables...
AbstractIn many applications of temporal reasoning we are interested in processing temporal informat...
Qualitative information about spatial or temporal entities is represented by specifying qualitative ...
In many applications of temporal reasoning we are interested in processing temporal information incr...
Qualitative Spatial and Temporal Reasoning (QSTR) represents spatial and temporal information in ter...
Editor: Abstract. While the worst-case computational properties of Allen's calculus for qualita...
In : Proc. IEEE 4th International Conference on Tools for Artificial Intelligence (ICTAI'92), Arling...
Inconsistency handling is a fundamental problem in knowledge representation and reasoning. In this p...
We study the computational complexity of the qualitative algebra which is a temporal constraint form...
Temporal Constraint Satisfaction is an information technology useful for representing and answering ...
10.1109/TIME.2005.19Proceedings of the International Workshop on Temporal Representation and Reasoni...
Within the qualitative spatial reasoning community it has been a widely accepted commonplace that re...
In recent years, several constraint-based temporal reasoning frameworks have been proposed. They con...
AbstractThis paper presents a general model for temporal reasoning that is capable of handling both ...
Qualitative Spatial and Temporal Reasoning (QSTR) represents spatial and temporal information in ter...
Constraint networks in qualitative spatial and temporal reasoning (QSTR) typically feature variables...
AbstractIn many applications of temporal reasoning we are interested in processing temporal informat...
Qualitative information about spatial or temporal entities is represented by specifying qualitative ...
In many applications of temporal reasoning we are interested in processing temporal information incr...
Qualitative Spatial and Temporal Reasoning (QSTR) represents spatial and temporal information in ter...
Editor: Abstract. While the worst-case computational properties of Allen's calculus for qualita...
In : Proc. IEEE 4th International Conference on Tools for Artificial Intelligence (ICTAI'92), Arling...
Inconsistency handling is a fundamental problem in knowledge representation and reasoning. In this p...
We study the computational complexity of the qualitative algebra which is a temporal constraint form...
Temporal Constraint Satisfaction is an information technology useful for representing and answering ...
10.1109/TIME.2005.19Proceedings of the International Workshop on Temporal Representation and Reasoni...
Within the qualitative spatial reasoning community it has been a widely accepted commonplace that re...
In recent years, several constraint-based temporal reasoning frameworks have been proposed. They con...