Publications
431 results found
Wetzel G, Kowalski RA, Toni F, 1995, A Theorem-Proving Approach to CLP, Proceedings of Logic Programming Workshop WLP'95
Toni F, 1995, A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming., Pages: 231-244
Toni F, Kowalski RA, 1995, Reduction of abductive logic programs to normal logic programs, Proceedings of International Conference on Logic Programming, Publisher: MIT Press, Pages: 367-381
Toni F, Kakas AC, 1995, Computing the acceptability semantics, 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 95), Publisher: SPRINGER-VERLAG BERLIN, Pages: 401-415, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 9
Wetzel G, Kowalski RA, Toni F, 1995, A Theorem-Proving Approach to CLP, Proceedings of Logic Programming Workshop WLP'95
Toni F, Kowalski RA, 1995, An argumentation-theoretic approach to logic program transformation, Proceedings of LOPSTR'95, International Workshop on Logic Program Synthesis and Transformation, Publisher: Springer Verlag, Pages: 61-75
Kowalski RA, Toni F, Wetzel G, 1994, Towards a declarative and efficient glass-box CLP language, Proceedings of Logic Programming Workshop WLP'94, Zurich
Kowalski RA, Toni F, Wetzel G, 1994, Towards a declarative and efficient glass-box CLP language, Proceedings of Logic Programming Workshop WLP'94, Zurich
Kowalski RA, Toni F, 1994, Argument and Reconciliation, International Symposium on Fifth Generation Computer Systems '94, Workshop on Legal Reasoning, Tokyo, Pages: 9-16
BONDARENKO A, TONI F, KOWALSKI RA, 1993, AN ASSUMPTION-BASED FRAMEWORK FOR NONMONOTONIC REASONING, 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, Publisher: M I T PRESS, Pages: 171-189
- Author Web Link
- Cite
- Citations: 18
Kakas AC, Kowalski RA, Toni F, 1992, Abductive logic programming, Journal of Logic and Computation, Vol: 2, Pages: 719-770, ISSN: 0955-792X
This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as an interpretation for negation as failure. We also analyse the links between abduction and the extension of logic programming obtained by adding a form of explicit negation. Finally we discuss the relation between abduction and truth maintenance. © 1993 Oxford University Press.
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.