An Inference Mechanism for Point-Interval Logic

All Papers

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.