The IFF proof procedure for abductive logic programming
- 30 November 1997
- journal article
- research article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 33 (2) , 151-165
- https://doi.org/10.1016/s0743-1066(97)00026-5
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Abductive Logic ProgrammingJournal of Logic and Computation, 1992
- On the Relationship Between Abduction and DeductionJournal of Logic and Computation, 1991
- Negation in logic programmingThe Journal of Logic Programming, 1987
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982