Uses of Package
fr.boreal.backward_chaining.cover
Packages that use fr.boreal.backward_chaining.cover
Package
Description
-
Classes in fr.boreal.backward_chaining.cover used by fr.boreal.backward_chaining.coverClassDescriptionFrom Melanie Konïg's thesis Let Q1s and Q2s two set of queries We say that Q1s covers Q2s (noted Q1s >= Q2s) if for every query Q2 of Q2 there exist a query Q1 from Q1s such that Q1 >= Q2 (Q1 subsumes Q2) For termination reasons, the cover should keep in priority the already explored queries
-
Classes in fr.boreal.backward_chaining.cover used by fr.boreal.backward_chaining.pureClassDescriptionFrom Melanie Konïg's thesis Let Q1s and Q2s two set of queries We say that Q1s covers Q2s (noted Q1s >= Q2s) if for every query Q2 of Q2 there exist a query Q1 from Q1s such that Q1 >= Q2 (Q1 subsumes Q2) For termination reasons, the cover should keep in priority the already explored queries
-
Classes in fr.boreal.backward_chaining.cover used by fr.boreal.backward_chaining.unfoldingClassDescriptionFrom Melanie Konïg's thesis Let Q1s and Q2s two set of queries We say that Q1s covers Q2s (noted Q1s >= Q2s) if for every query Q2 of Q2 there exist a query Q1 from Q1s such that Q1 >= Q2 (Q1 subsumes Q2) For termination reasons, the cover should keep in priority the already explored queries