Parametrized semantics of logic programs - A unifying framework

Theoretical Computer Science

Volumn 308, Issue 1-3, 2003, Pages 429-447

  Loyer, Yann ^a   Spyratos, Nicolas ^b   Stamate, Daniel ^c  

^a UNIVERSITY OF VERSAILLES   (France)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^c UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Inconsistency; Logic programming; Logics of knowledge; Multi valued logics

Indexed keywords

LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS;

BILATTICE STRUCTURES;

COMPUTER SCIENCE;

EID: 0142029440     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(03)00047-1     Document Type: Article

References (20)

1. Arieli O., Avron A. The value of four values. Art. Intell. 102:1998;97-141.
2. Belnap N.D. Jr. A useful four-valued logic. Dunn J.M., Epstein G. Modern Uses of Multiple-valued Logic. 1977;D. Reichel, Dordrecht.
3. Van Emden M.H., Kowalski R.A. The semantics of predicate logic as a programming language. J. ACM. 23(4):1976;733-742.
4. Fitting M.C. A Kripke/Kleene semantics for logic programs. J. Logic Programming. 2:1985;295-312.
5. Fitting M.C. Bilattices and the semantics of logic programming. J. Logic Programming. 11:1991;91-116.
6. Fitting M.C. Well-founded semantics, generalized. Saraswat V., Ueda K. Logic Programming, Proc. 1991 Internat. Symp. 1991;71-84 MIT Press, Cambridge, MA.
7. Fitting M.C. The family of stable models. J. Logic Programming. 17:1993;197-225.
8. N. Fuhr, T. Rölleke, HySpirit - a probabilistic inference engine for hypermedia retrieval in large databases, in: H.-J. Schek, F. Saltor, I. Ramos, G. Alonso (Eds.), Proc. 6th Internat. Conf. on Extending Database Technology (EDBT), 1997, pp. 24-38.
9. Gargov G. Knowledge, uncertainty and ignorance in logics. bilattices and beyond J. Appl. Non-Classical Logics. 9(2-3):1999;195-203.
10. Gelfond M., Lifschitz V. The stable model semantics for logic programming. Kowalski R., Bowen K. Proc. 5th Logic Programming Symp. 1988;978-992 MIT Press, Cambridge, MA.
11. Ginsberg M.L. Multi-valued logics. a uniform approach to reasoning in artificial intelligence Comput. Intell. 4:1988;265-316.
12. Messing B. Combining knowledge with many-valued logics. Data & Knowledge Engineering. 23:1997;297-315.
13. Mobasher B., Pigozzi D., Slutzki G. Multi-valued logic programming semantics. an algebraic approach Theoret. Comput. Sci. 171(1-2):1997;77-109.
14. Przymusinski T.C. Extended stable semantics for normal and disjunctive programs. Warren D.H.D., Szeredi P. Proc. 7th Internat. Conf. on Logic Programming. 1990;459-477 MIT Press, Cambridge, MA.
15. Przymusinski T.C. Well-founded semantics coincides with three-valued stable semantics. Fundam. Inform. 13:1990;445-463.
16. Ruet P., Fages F. Combining explicit negation and negation by failure via Belnap's logic. Theoretical Comput. Sci. 171:1997;61-75.
17. Spyratos N., Stamate D. Multivalued stable semantics for databases with uncertain information. Inform. Modelling Knowledge Bases. VIII:1997;129-144.
18. Van Gelder, The alternating fixpoint of logic programs with negation, in: Proc. 8th Symp. on Principles of Database Systems, ACM, Philadelphia, 1989, pp. 1-10.
19. Van Gelder A., Ross K.A., Schlipf J.S. The well-founded semantics for general logic programs. J. ACM. 38:1991;620-650.
20. Yablo S. Truth and reflection. J. Philos. Logic. 14:1985;297-349.