TR—Temporal Reasoner
A constraint-based qualitative reasoning system that integrates Allen's interval calculus, point calculus and part of Simmons' quantity lattice is presented in this paper. The highlight of the work is a simple but powerful logical system for expressing both quantitative and qualitative inf...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Elsevier
1996
|
Subjects: | |
Online Access: | http://irep.iium.edu.my/38323/ http://irep.iium.edu.my/38323/ http://irep.iium.edu.my/38323/ http://irep.iium.edu.my/38323/1/TR%E2%80%94Temporal_reasoner.pdf |