libILP - An OCaml library for Inductive Logic Programming - Tasks: Browse Items
Show feedback again
3 matching items - Items 1 to 3
Item ID ![]() |
Summary | Status | Assigned to | Should be Finished on |
|---|---|---|---|---|
| #681 | Theta-subsumption algorithm (Goals - DVO) | None | ogrisel | Thu 19 Aug 2004 12:00:00 AM UTC |
| #680 | Theta-subsumption algorithm (Constraints) | None | ogrisel | Thu 19 Aug 2004 12:00:00 AM UTC |
| #679 | Theta-subsumption algorithm (Variables) | None | ogrisel | Thu 19 Aug 2004 12:00:00 AM UTC |
3 matching items - Items 1 to 3
Open Items Priority Colors:
1
2
3
4
5
6
7
8
9
Closed Items Priority Colors:
1
2
3
4
5
6
7
8
9
Show feedback again

Related Recipes:
