The iff proof procedure for abductive logic programming

Journal of Logic Programming

Volumn 33, Issue 2, 1997, Pages 151-165

  Fung, Tze Ho ^b   Kowalski, Robert ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INFERENCE ENGINES; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES;

ABDUCTIVE LOGIC PROGRAMMING; PROOF PROCEDURE;

LOGIC PROGRAMMING;

EID: 0031281313     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(97)00026-5     Document Type: Article

References (18)

1. Console, L., Theseider Dupre, D., and Torasso, P., On the relationship between abduction and deduction, J. Logic and Computation 2(5):661-690 (1991).
2. Denecker, M. and De Schreye, D., SLDNFA: An abductive procedure for normal abductive programs, in: Proc. ICSLP, MIT Press, 1992, pp. 868-700.
3. Denecker, M., Knowledge representation and reasoning in incomplete logic programming, Ph.D. thesis, Department of Computer Science, K.U. Leuven, Belgium, 1993.
4. Fung, T. H., A modified abductive framework, in: Proc. Logic Programming Workshop, WLP'94, N. Fuchs and G. Gottlob (eds.), 1994.
5. Fung, T. H., Abduction with Clark completion, in: Proc. ICLP, MIT Press, 1995.
6. Fung, T. H., Abduction by deduction, Ph.D. thesis, Imperial College, University of London, England, 1996.
7. Kakas, A. C. and Mancarella, P., Abductive Logic Programming, 1990.
8. Kakas, A. C. and Mancarella, P., Database updates through abduction, in: Proc. 16th VLDB, Morgan Kaufmann, Los Altos, CA, 1990, pp. 650-661.
9. Kowalski, R. A., Logic programming in artificial intelligence, in: Proc. IJCAI, 1991.
10. Kowalski, R. A., Toni, F., and Wetzel, G., Towards a declarative and efficient glass-box CLP language, in: Proc. Logic Programming Workshop, WLP'94, N. Fuchs and G. Gottlob (eds.), 1994.
11. Kowalski, R. A., Wetzel, G., and Toni, F., A unifying framework for ALP, CLP and SQO, Department of Computing, Imperial College, London, England, Apr. 1996.
12. Kunen, K., Negation in logic programming, J. Logic Programming 4:231-245 (1987).
13. Martelli, A. and Montanari, U., An efficient unification algorithm, Trans. Programming Languages and Syst. 4(2):258-282 (1982).
14. Wetzel, G., Kowalski, R. A., and Toni, F., A theorem-proving approach to CLP, in: Workshop Logische Programmierung, A. Krall and U. Geske (eds.), GMD-Studien Nr. 270, Sept. 1995, pp. 63-72.
15. Kowalski, R., Using meta-logic to reconcile reactive with rational agents, in: Meta-Logics and Logic Programming, K. Apt and F. Turini (eds.), MIT Press, 1995.
16. Kowalski, R. and Sadri, F., Towards a unified agent architecture that combines rationality with reactivity, in: Proc. Workshop on Logic in Databases (LIDS'96), San Miniato, Italy, Springer-Verlag, 1996.
17. Eshghi, K. and Kowalski, R., Abduction through deduction, Department of Computing, Imperial College, London, England, 1988.
18. Kakas A., Kowalski, R., and Toni, F., Abductive logic programming, J. Logic and Computation 2(6):719-770 (1993).