Meta many-valued logic programming for incomplete and locally inconsistent databases

Proceedings of the International Database Engineering and Applications Symposium, IDEAS

Volumn , Issue , 2004, Pages 459-461

  Majkić, Zoran ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FITTING'S FIXPOINT SEMANTICS; HERBRAND INTERPRETATIONS; MANY-VALUED LOGIC PROGRAMMING; QUANTITATIVE RULE-SETS;

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONSTRAINT THEORY; DATA ACQUISITION; FORMAL LOGIC; INFORMATION MANAGEMENT; INFORMATION RETRIEVAL; METADATA; SET THEORY;

DATABASE SYSTEMS;

EID: 5444248132     PISSN: 10988068     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IDEAS.2004.1319821     Document Type: Conference Paper

References (15)

1. G.Escalada Imaz and F.Manyá, "The satisfiability problem for multiple-valued horn formulae," In Proc. Int. Symposium on Multiple-Valued Logics (ISMVL), Boston, pp. 250-256, 1994.
2. B.Beckert, R.Hanhle, and F.Manyá, "Transformations between signed and classical clause logic," In Proc. 29th Int. Symposium on Multiple-Valued Logics, Freiburg, Germany, pp. 248-255, 1999.
3. H.A.Blair and V.S.Subrahmanian, "Paraconsistent logic programming," Theoretical Computer Science,68, pp. 135-154, 1989.
4. M.Kifer and E.L.Lozinskii, "A logic for reasoning with inconsistency," Journal of Automated reasoning 9(2), pp. 179-215, 1992.
5. M.Ginsberg, "Multivalued logics: A uniform approach to reasoning in artificial intelligence," Computational Intelligence, vol.4, pp. 265-316, 1988.
6. M.C.Fitting, "Billatices and the semantics of logic programming," Journal of Logic Programming, 11, pp. 91-116, 1991.
7. M.H.van Emden, "Quantitative deduction and its fixpoint theory," Journal of Logic Programming,4,1, pp. 37-53, 1986.
8. M.Kifer and V.S.Subrahmanian, "Theory of generalized annotated logic programming and its applications," Journal of Logic Programming 12(4), pp. 335-368, 1992.
9. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini, "Data integration under integrity constraints," in Proc. of the 14th Conf. on Advanced Information Systems Engineering (CAiSE 2002), 2002, pp. 262-279.
10. Zoran Majkić, "Fixpoint semantic for query answering in data integration systems," AGP03 - 8.th Joint Conference on Declarative Programming, Reggio Calabria, pp. 135-146, 2003.
11. N.D.Belnap, "A useful four-valued logic," In J-M.Dunn and G.Epstein, editors, Modern Uses of Multiple-Valued Logic. D.Reidel, 1977.
12. M.C.Fitting, "Billatices are nice things," Proceedings of Conference on Self-Reference, Copenhagen, 2002.
13. Zoran Majkić, "Two-valued encapsulation of many-valued logic programming," Technical Report, University 'La Sapienza', Roma, in http://www.dis.uniromal.it/∼majkic/., 2003.
14. T.Przymusinski, "Every logic program has a natural stratification and an iterated fixed point model," In Eighth ACM Symposium on Principles of Databases Systems, pp. 11-21, 1989.
15. Z. Majkić, "Coalgebraic semantics for logic programming," 18th Worshop on (Constraint) Logic Programming, WLP 2004, March 04-06, Berlin, Germany, 2004.