For full text search please use the '?' prefix. e.g. ? Onboarding
Temporal Interval Reasoning with Clp Q
https://kt.ijs.si/personal-pages/igor_mozetic/papers/Mozetic-CLPq-SiKDD-05.pdf
topics:
Sumo
CLP(Q)
Highlights
to the best of our knowledge, there is no theorem prover or interpreter of the KIF language publicly available
Backlinks
KIF
Highlights