Computing extended abduction through transaction programs

Annals of Mathematics and Artificial Intelligence

Volumn 25, Issue 3-4, 1999, Pages 339-367

  Inoue, Katsumi ^a   Sakama, Chiaki ^b  

^a KOBE UNIVERSITY   (Japan)

^b WAKAYAMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033274160     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018926021566     Document Type: Article

References (32)

1. S. Abiteboul, Updates, a new frontier, in: Proceedings of the 2nd International Conference on Database Theory, Lecture Notes in Computer Science, Vol. 326 (Springer, Berlin 1988) pp. 1-18.
2. J.J. Alferes, C.V. Damásio and L.M. Pereira, A logic programming system for nonmonotonic reasoning, J. Automat. Reason. 14 (1995) 93-147.
3. K.R. Apt and M. Bezem, Acyclic programs, New Generation Computing 9 (1991) 335-363.
4. C. Aravindan and P. Baumgartner, A rational and efficient algorithm for view deletion in databases, in: Proceedings of the 1997 International Symposium on Logic Programming (MIT Press, 1997) pp. 165-179.
5. F. Bry, Intensional updates: abduction via deduction, in: Proceedings of the 7th International Conference on Logic Programming (MIT Press, 1990) pp. 561-575.
6. F. Buccafurri, T. Eiter, G. Gottlob and L. Leone, Enhancing symbolic model checking by AI techniques, IFIG Research Report 9701, Institut für Informatik, Universität Gießen (1997).
7. K.L. Clark, Negation as failure, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum, New York, 1978) pp. 119-140.
8. L. Console, D. Theseider Dupré and P. Torasso, On the relationship between abduction and deduction, J. Logic Comput. 1 (1991) 661-690.
9. L. Console, M.L. Sapino and D. Theseider Dupré, The role of abduction in database view updating, J. Intell. Inform. Syst. 4 (1995) 261-280.
10. C.V. Damásio and L.M. Pereira, Abduction over 3-valued extended logic programs, in: Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, eds. V.W. Marek, A. Nerode and M. Truszczyński, Lecture Notes in Artificial Intelligence, Vol. 928 (Springer, Berlin, 1995) pp. 29-42.
11. H. Decker, An extension of SLD by abduction and integrity maintenance for view updating in deductive databases, in: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (MIT Press, 1996) pp. 157-169.
12. M. Denecker and D. De Schreye, SLDNFA: an abductive procedure for abductive logic programs, J. Logic Programming 34 (1998) 111-167.
13. J. Fernández, J. Grant and J. Minker, Model theoretic approach to view updates in deductive databases, J. Automat. Reason. 17 (1996) 171-197.
14. T.H. Fung and R. Kowalski, The iff procedure for abductive logic programming, J. Logic Programming 33 (1997) 151-165.
15. M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of the 5th International Conference and Symposium on Logic Programming (MIT Press, 1988) pp. 1070-1080.
16. M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365-385.
17. J. Grant, J. Horty, J. Lobo and J. Minker, View updates in stratified disjunctive databases, J. Automat. Reason. 11 (1993) 249-267.
18. A. Guessoum and J.W. Lloyd, Updating knowledge bases II, New Generation Computing 10 (1991) 73-100.
19. K. Inoue and C. Sakama, Abductive framework for nonmonotonic theory change, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 1995) pp. 204-210.
20. K. Inoue and C. Sakama, A fixpoint characterization of abductive logic programs, J. Logic Programming 27 (1996) 107-136.
21. K. Inoue and C. Sakama, Specifying transactions for extended abduction, in: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (Morgan Kaufmann, San Mateo, CA, 1998) pp. 394-405.
22. A.C. Kakas, R.A. Kowalski and F. Toni, Abductive logic programming, J. Logic Comput. 2 (1992) 719-770.
23. A.C. Kakas and P. Mancarella, Database updates through abduction, in: Proceedings of the 16th International Conference on Very Large Databases (Morgan Kaufmann, San Mateo, CA, 1990) pp. 650-661.
24. K. Konolige, Abduction versus closure in causal theories, Artificial Intelligence 53 (1992) 255-272.
25. K. Konolige, Abductive theories in artificial intelligence, in: Principles of Knowledge Representation, ed. G. Brewka (CSLI Publications & FoLLI, 1996) pp. 129-152.
26. N. Lavrač and S. Džeroski, Inductive Logic Programming: Techniques and Applications (Ellis Horwood, 1994).
27. V.W. Marek and M. Truszczyński, Revision specifications by means of programs, in: Proceedings of the 4th European Conference on Logics in AI, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 122-136.
28. D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
29. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57-95.
30. F. Rossi and S.A. Naqvi, Contributions to the view update problem, in: Proceedings of the 6th International Conference on Logic Programming (MIT Press, 1989) pp. 398-415.
31. V.S. Subrahmanian, On the semantics of quantitative logic programs, in: Proceedings of the 4th IEEE Symposium on Logic Programming (IEEE Computer Society Press, 1987) pp. 173-182.
32. A. van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM 38 (1991) 620-650.