An abductive proof procedure for conditional logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1085, Issue , 1996, Pages 231-245

  Giordano, L ^a   Martelli, A ^a   Sapino, M L ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ARGUMENTATION FRAMEWORKS; CONDITIONAL LOGIC; DEFEASIBLE REASONING; INTEGRITY CONSTRAINTS; PROOF PROCEDURES; REASONING ABOUT ACTIONS;

LOGIC PROGRAMMING;

EID: 84947914773     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_76     Document Type: Conference Paper

References (18)

1. C. Baral, S. Kraus, J. Minker, V. S. Subrahmanian. Combining knowledge bases consisting of first-order theories. J. Automated Reasoning, vol. 8, n. 1, pp. 45-71, 1992.
2. M. Baldoni, L. Giordano, and A. Martelli. A multimodal logic to define modules in logic programming. In Proc. 1993 International Logic Programming Symposium, pages 473-487, Vancouver, 1993.
3. L. Cholvy. Proving theorems in a multi-source environment. In Proc. IJCAI-93, pages 66-71, Chambery, 1993.
4. P. M. Dung. Negations as hypotheses: an abductive foundation for logic programming. In Proc. ICLP-91 Conference, pages 3-17, 1991.
5. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming. In Proc. IJCAI’93, pages 852-857, 1993.
6. K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In Proc. 6th ICLP, pages 234-254, Lisbon, 1989.
7. L. Fariñas del Cerro and A. Herzig. An automated modal logic for elementary changes. In P. Smets et al., editor, Non-standard Logics for Automated Reasoning. Academic Press, 1988.
8. D. M. Gabbay and N. Reyle. NProlog: An extension of Prolog with hypothetical implications.I. Journal of Logic Programming, (4):319-355, 1984.
9. D. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. In Proc. 11th ICLP, Santa Margherita Ligure, pages 272-289, 1994.
10. Dov Gabbay, Laura Giordano, Alberto Martelli, and Nicola Olivetti. Hypothetical updates, priority and inconsistency in a logic programming language. In Proc. LPNMR-95, LNAI 928, pages 203-216, 1995.
11. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proc. ICLP-90, pages 579-597, Jerusalem, 1990.
12. A.C. Kakas, P. Mancarella, P.M. Dung. The acceptability semantics for logic programs. In Proc. 11th ICLP, Santa Margherita Ligure, pages 504-519, 1994.
13. N. Leone and P. Rullo. Ordered logic programming with sets. J. of Logic and Computation, 3(6):621-642, 1993.
14. S. Naqvi and F. Rossi. Reasoning in inconsistent databases. In Proc. of the 1990 North American Conf. on Logic Programming, pages 255-272, 1990.
15. L.M. Pereira, J.J. Alferes, J.N. Aparicio Contradiction Removal within the Well Founded Semantics. Proc. LPNMR-91, (1991) 105-119.
16. L.M. Pereira, C.V. Damasio, J.J. Alferes. Diagnosis and Debugging as Contradiction Removal. Proc. LPNMR-93, (1993) 316-330.
17. F. Toni and A. Kakas. Computing the acceptability semantics. In Proc. LPNMR-95, pages 401-415, 1995.
18. M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.