Hypothesis-based semantics of logic programs in multivalued logics

ACM Transactions on Computational Logic

Volumn 5, Issue 3, 2004, Pages 508-527

  Loyer, Yann ^a,d   Spyratos, Nicolas ^b,e   Stamate, Daniel ^c,f  

^a LABORATOIRE DES SCIENCES DU CLIMAT ET DE L ENVIRONNEMENT   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

^c UNIVERSITY OF LONDON   (United Kingdom)

^d UNIVERSITY OF VERSAILLES   (France)

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

^f UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Assumptions; Bilattices; Reasoning with incomplete knowledge

Indexed keywords

ASSUMPTIONS; BILATTICES; REASONING WITH INCOMPLETE KNOWLEDGE;

ALGORITHMS; FORMAL LANGUAGES; INFORMATION RETRIEVAL; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; SEMANTICS;

LOGIC PROGRAMMING;

EID: 3142745213     PISSN: 15293785     EISSN: None     Source Type: Journal    
DOI: 10.1145/1013560.1013565     Document Type: Article

References (17)

1. ARIELI, O. AND AVRON, A. 1998. The value of four values. Art. Intell. 102, 97-141.
2. BELNAP, N. D., Jr. 1977. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, Eds. D. Reichel, Dordrecht, The Netherlands.
3. FITTING, M. C. 1985. A Kripke/Kleene semantics for logic programs. J. Logic Programm. 2, 295-312.
4. FITTING, M. C. 1991. Bilattices and the semantics of logic programming. J. Logic Programm. 11, 91-116.
5. FITTING, M. C. 1992. Kleene's logic, generalized. J. Logic Computat. 1, 797-810.
6. FITTING, M. C. 1993. The family of stable models. J. Logic Programm. 17, 197-225.
7. FUHR, N. AND ROLLEKE, T. 1998. HySpirit - a probabilistic inference engine for hypermedia retrieval in large databases. In Proceedings of the 6th International Conference on Extending Database Technology (EDBT), H. G. Schek, Ed. 24-38.
8. GARGOV, G. 1999. Knowledge, uncertainty and ignorance in logics: Bilattices and beyond. J. Appl. Non-Class. Logics 9, 2-3.
9. GINSBERG, M. L. 1988. Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computat. Intell. 4, 265-316.
10. GINSBERG, M. L. 1990. Bilattices and modal operators. Logic Computat. 1, 41-69.
11. KLEENE, S. C. 1952. Introduction to Meta-Mathematics, Van Nostrand, Princeton, NJ.
12. MESSING, B. 1997. Combining knowledge with many-valued logics. Data Knowl. Eng. 23, 297-315.
13. MOBASHER, B., PIGOZZI, D., AND SLUTZKI, G. 1997. Multi-valued logic programming semantics: An algebraic approach. Theoret. Comput. Sci. 171, 1-2, 77-109.
14. RUET, P. AND FACES, F. 1997. Combining explicit negation and negation by failure via Belnap's logic. Theoret. Comput. Sci. 171, 1-2, 61-75.
15. SPYRATOS, N. AND STAMATE, D. 1997. Multivalued stable semantics for databases with uncertain information. Inform. Model. Knowl. Bases. VIII, 129-144.
16. VAN GELDER, A., ROSS, K. A., AND SCHLIPF, J. S. 1991. The well-founded semantics for general logic programs, J. ACM. 38, 620-650.
17. ZANIOLO, C. 1984. Database relations with null values. J. Comput. Syst. Sci. 28, 142-166.