Multi-valued logic programming semantics: An algebraic approach

Theoretical Computer Science

Volumn 171, Issue 1-2, 1997, Pages 77-109

  Mobasher, Bamshad ^a   Pigozzi, Don ^b   Slutzki, Giora ^b  

^a University of Minnesota   (United States)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES;

LOGIC PROGRAMMING SEMANTICS;

LOGIC PROGRAMMING;

EID: 0030785869     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00126-0     Document Type: Article

References (30)

1. K.R. Apt and M.H. van Emden, Contribution to the theory of logic programming, J. Assoc. Comput. Mach. 29 (1982), 841-862.
2. O. Arieli and A. Avron, Reasoning with logical bilattices, J. Logic Language Inform., to appear.
3. N.D. Belnap, Jr., A useful four-valued logic, in: J. Michael Dunn and G. Epstein, eds., Modern Uses of Multiple-Valued Logic, (D. Reidel, Boston, 1977) 8-37.
4. G. Birkhoff, Lattice Theory (Amer. Math. Soc., Providence, Rhode Island, 3rd ed., 1967).
5. K.L. Clark, Negation as failure, in: H. Gallaire and J. Minker, eds., Logic and Data Bases (Plenum Press, New York, 1978) 293-322.
6. J.S. Conery and D.F. Kibler, and parallelism and nondeterminism in logic programs, New Generation Comput. 3 (1985) 43-70.
7. B.A. Davey and H.A. Priestley, Introduction to Lattices and Order (Cambridge University Press, Cambridge, MA, 1990).
8. E. Eder, Properties of substitutions and unification, J. Symbolic Comput. 1 (1985) 31-46.
9. M.C. Fitting, Negation as refutation, in: R. Parikh ed., Proc. 4th Ann. Symp. on Logic in Computer Science (IEEE, New York, 1978) 63-70.
10. M.C. Fitting, Logic programming on a topological bilattice, Fund. Inform. 11 (1988) 209-218.
11. M.C. Fitting, Bilattices in logic programming, in: G. Epstein ed., Proc. 20th Internat. Symp. on Multiple-Valued Logic (IEEE, New York, 1990) 63-70.
12. M.C. Fitting, Bilattices and semantics of logic programming, J. Logic Programming 11 (1991) 91-116.
13. M.C. Fitting, Tableaux for logic programming, J. Logic Programming 3 (1994), 175-188.
14. M.L. Ginsberg, Multi-valued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence 4 (1988) 265-316.
15. J.M. Jacquet, Conclog: A Methodological Approach to Concurrent Logic Programming (Springer, Berlin, 1991).
16. J.L. Lassez, M.J. Maher and K. Marriott, Unification revisited, in: J. Minker ed., Foundations of Deductive Databases and Logic Programming (Morgan Kaufmann, Los Altos, CA, 1988) 587-625.
17. L.V.S. Lakshmanan and F. Sadri, Probabilistic deductive database, in: M. Bruynooghe, ed., Proc. 1994 Internat. Logic Programming Symposium (MIT Press, 1994) 254-268.
18. J.W. Lloyd, Foundations of Logic Programming (Springer, Berlin, 2nd edn., 1987).
19. B. Mobasher, Generalized knowledge-based semantics for multivalued logic programs, Ph.D. Dissertation, Iowa State University, Ames, IA, 1994.
20. B. Mobasher, J. Leszczylowski, D. Pigozzi and G. Slutzki, A knowledge-based procedural semantics for logic programming, Tech. Report TR#93-15, Department of Computer Science, Iowa State University, May 1993.
21. B. Mobasher, J. Leszczylowski, G. Slutzki and D. Pigozzi, Negation as partial failure, in: L.M. Pereira and A. Nerode, eds., Proc. 2nd Internat. Workshop on Logic Programming and Non-monotonic Reasoning (MIT Press, Cambridge, MA, 1993) 244-262.
22. B. Mobasher, D. Pigozzi, and G. Slutzki, Algebraic semantics for knowledge-based logic programs, in:L.V.S. Lakshmanan ed., Proc. Workshop on Uncertainty in Databases and Deductive Systems (Ithaca, NY, 1994) 13-24.
23. B. Mobasher, D. Pigozzi, and G. Slutzki, Properties of substitution unification: a non-equational approach to parallel query evaluation, in preparation.
24. B. Mobasher, D. Pigozzi and G. Slutzki, Reasoning with partially ordered truth-value algebras, in preparation.
25. C. Palamidessi, Algebraic properties of idempotent substitutions, in:M.S. Paterson. ed., Proc. 17th Internat. Colloq. on Automata, Languages and Programming (Springer, Berlin, 1990), 386-399.
26. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980), 81-132.
27. P. Ruet and F. Fages, Combining explicit negation and negation as failure via Belnap's logic, in: L.V.S. Lakshmanan, ed., Proc. Workshop on Uncertainty in Databases and Deductive Systems (Ithaca, NY, 1994) 1-12.
28. A. Takeuchi, Parallel Logic Programming (Wiley, New York, 1992).
29. M. van Emden, Quantitative deduction and its fixpoint theory, J. Logic Programming 3 (1986) 37-53.
30. M. van Emden and R.A. Kowalski, The semantics of predicate logic as a programming language, J. Assoc. Comput. Mach. 23 (1976) 733-742.