Sciweavers

FLAIRS
2008

An Inference Mechanism for Point-Interval Logic

13 years 6 months ago
An Inference Mechanism for Point-Interval Logic
We present a new inference algorithm for Point-Interval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also show how this inference mechanism can be used to prune the search space for an instance in Generalized Point-Interval Logic.
Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where FLAIRS
Authors Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi
Comments (0)