Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi
We present a new inference algorithm for Point-Interval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for Point-Interval Logic. We also show how this inference mechanism can be used to prune the search space for an instance in Generalized Point-Interval Logic.
Subjects: 3. Automated Reasoning; 3.6 Temporal Reasoning
Submitted: Feb 24, 2008