An Inference Mechanism for Point-Interval Logic

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.