1 results
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 14 August 2009, pp. 691-750
-
- Article
- Export citation