Temporal Interval Reasoning with Clp Q

Highlights

  • to the best of our knowledge, there is no theorem prover or interpreter of the KIF language publicly available

Backlinks