Composing general logic programs

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

Volumn 1265, Issue , 1997, Pages 273-288

  Brogi, Antonio ^a   Contiero, Simone ^a   Turini, Franco ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MANY VALUED LOGICS; SEMANTICS;

COMPUTATIONAL INTERPRETATIONS; HIERARCHICAL REASONING; LOGIC PROGRAMS; MODULAR PROGRAMMING; NON-MONOTONIC REASONING; SYNTACTIC TRANSFORMATIONS; THREE-VALUED LOGIC;

COMPUTER CIRCUITS;

EID: 84946708088     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63255-7_21     Document Type: Conference Paper

References (28)

1. K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 493-574. Elsevier, 1990. Vol. B.
2. K. R. Apt and R. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19-20:9-71, 1994.
3. R. Barbuti, P. Mancarella, D. Pedreschi, and F. Turini. A Transformational Approach to Negation in Logic Programming. Journal of Logic Programming, 8:201-228, 1990.
4. A. Brogi. Program Construction in Computational Logic. PhD thesis, University of Pisa, 1993.
5. A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A unifying view for logic programming with non-monotonic reasoning. Theoretical Computer Science, 1997. To appear.
6. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular Logic Programming. ACM Transactions on Programming Languages and Systems, 16(4):1361-1398, 1994.
7. A. Brogi and F. Turini. Fully abstract compositional semantics for an algebra of logic programs. Theoretical Computer Science, 149(2):201-229, 1995.
8. L. Cavedon and H. Decker. Generalizing allowedness while retaining completeness of SLDNF-resolution. In E. Börger, H. Kleine Büning, and M. M. Richter, editors, Proceedings of the Third Workshop on Computer Science Logic, number 440 in LNCS, pages 98-115. Springer Verlag, 1990.
9. K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293-322. Plenum, 1978.
10. J. Dix. Semantics of logic programs: Intuition and formal properties. In A. Furhmann and K. Rott, editors, Logic, Action and Information. De Gruyter, 1993.
11. H.C. Doets. Leviatonis laus. Journal of Logic and Computation, 3(5):487-516, 1993.
12. W. Drabent. Completeness of SLDNF-resolution for Non-floundering Queries. Journal of Logic Programming, 27(2):89-106, 1994.
13. P.M. Dung. Negation as hypotheses: An abductive foundation for logic programming. In K. Furukawa, editor, Proc. 8th International Conference on Logic Programming, pages 3-17. The MIT Press, 1991.
14. S. Etalle and F. Teusink. A Compositional Semantics for Normal Open Programs. In M. Maher, editor, JICSLP 96 Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 468-482, 1996.
15. M. Fitting. A Kriple-Kleene semantics for general logic programs. Journal of Logic Programming, 4:295-312, 1985.
16. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, Seattle, 1988, pages 1070-1080. The MIT Press, 1988.
17. M. Gelfond and V. Lifschitz. Clasical negation in logic programming and disjunctive databases. New Generation Computing, 9:365-385, 1991.
18. S.C. Kleene. Introduction to Metamathematics. van Nostrand, New York, 1952.
19. R.A. Kowalski. Problems and Promises of Computational Logic. In J.W. Lloyd, editor, Computational Logic, Symposium Proceedings, pages 1-36. Springer-Verlag, 1990.
20. K. Kunen. Negation in logic programming. Journal of Logic Programming, 4:289-308, 1987.
21. K. Kunen. Signed data dependencies in programs. Journal of Logic Programming, 7:231-246, 1989.
22. V. Lifschitz and H. Turner. Splitting a logic program. In Pascal Van Entenryck, editor, Proc. 11th International Conference on Logic Programming, pages 23-37. The MIT Press, 1994.
23. J. W. Lloyd and R. W. Topor. A Basis for Deductive Database Systems II. Journal of Logic Programming, 3(1):55-67, 1986.
24. F.G. McCabe. Logic and Objects. PhD thesis, Imperial College of Science and Technology, November 1988.
25. T. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193-216. Morgan Kaufmann, Los Alto, CA, 1988.
26. T. Przymusinski. Stationary semantics for normal and disjunctive logic programs. In C. Delobel, M. Kifer, and Y. Masunagar, editors, Proceedings of DOOD’91. Springer-Verlag, 1991.
27. J.C. Shepherdson. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 19-88. Morgan Kaufmann, Los Alto, CA, 1988.
28. A. van Gelder, K. Ross, and J. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.