Artificial Intelligence
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial Intelligence - Special issue on knowledge representation
Maintaining knowledge about temporal intervals
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Spatio-Temporal Reasoning and Linear Inequalitites
Spatio-Temporal Reasoning and Linear Inequalitites
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Fuzzy theory approach for temporal model-based diagnosis: An application to medical domains
Artificial Intelligence in Medicine
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Computer Standards & Interfaces
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Avian influenza: Temporal modeling of a human to human transmission case
Expert Systems with Applications: An International Journal
Conditional and composite temporal CSPs
Applied Intelligence
Verification of temporal scheduling constraints in clinical practice guidelines
Artificial Intelligence in Medicine
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Describing disease processes using a probabilistic logic of qualitative time
Artificial Intelligence in Medicine
| Hi-index | 0.00 |
Research in Artificial Intelligence on constraint-based representations for temporal reasoning has largely concentrated on two kinds of formalisms: systems of simple linear inequalities to encode metric relations between time points, and systems of binary constraints in Allen's temporal calculus to encode qualitative relations between time intervals. Each formalism has certain advantages. Linear inequalities can represent dates, durations, and other quantitive information; Allen's qualitative calculus can express relations between time intervals, such as disjointedness, that are useful for constraint-based approaches to planning. In this paper we demonstrate how metric and Allenstyle constraint networks can be integrated in a constraint-based reasoning system. The highlights of the work include a simple but powerful logical language for expressing both quantitative and qualitative information; translation algorithms between the metric and Allen sublanguages that entail minimal loss of information; and a constraint-propagation procedure for problems expressed in a combination of metric and Allen constraints.