An encompassing framework for paraconsistent logic programs

Journal of Applied Logic

Volumn 3, Issue 1, 2005, Pages 67-95

  Alcântara, João ^a   Damásio, Carlos Viegas ^a   Pereira, Luís Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Bilattices; Knowledge representation; Logic programming; Multivalued logics; Paraconsistent reasoning

Indexed keywords

DATABASE SYSTEMS; FUZZY SETS; MANY VALUED LOGICS; MATHEMATICAL MODELS; PROBABILISTIC LOGICS; PROBABILITY; SEMANTICS;

FUZZY LOGIC PROGRAMMING; PARACONSISTENT LOGIC PROGRAMS; PARACONSISTENT SEMANTICS; PROBABILISTIC DEDUCTIVE DATABASES;

LOGIC PROGRAMMING;

EID: 14044268082     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2004.07.012     Document Type: Article

References (52)

1. C.V. Damásio L.M. Pereira Antitonic logic programs T. Eiter M. Truszczynski Proc. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning LNCS/LNAI 2001 Springer 748-759
2. L.M. Pereira J.J. Alferes Well-founded semantics for logic programs with explicit negation B. Neumann European Conference on Artificial Intelligence 1992 John Wiley & Sons Wien, Austria 102-106
3. J.J. Alferes C.V. Damásio L.M. Pereira A logic programming system for non-monotonic reasoning J. Automated Reas. (Special Issue) 14 1 1995 93-147
4. C.V. Damásio, Paraconsistent extended logic programming with constraints, PhD thesis, Universidade Nova de Lisboa, 1996
5. M. Ginsberg Multivalued logics: A uniform approach to reasoning in artificial intelligence Comput. Intelligence 4 1988 265-316
6. M. Fitting Bilattices in logic programming G. Epstein 20th Internat. Symp. on Multiple-Valued Logic 1990 IEEE 238-246
7. M. Fitting Bilattices and the semantics of logic programming J. Logic Programming 11 1991 91-116, http://citeseer.nj.nec.com/ fitting89bilattices.html
8. M. Fitting Fixpoint semantics for logic programming a survey Theoret. Comput. Sci. 278 1-2 2002 25-51
9. M. Denecker V. Marek M. Truszczyński Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning J. Minker Logic-Based Artificial Intelligence 2000 Kluwer Academic Publishers 127-144
10. O. Arieli Paraconsistent declarative semantics for extended logic programs Ann. Math. Artificial Intelligence 36 4 2002 381-417
11. D. Dubois J. Lang H. Prade Towards possibilistic logic programming Proc. ICLP'91 1991 MIT Press 581-598
12. P. Vojtás L. Paulík Soundness and completeness of non-classical extended SLD-resolution Proc. Ws. on Extensions of Logic Programming (ELP'96) LNCS vol. 1050 1996 Springer-Verlag 289-301
13. A. Dekhtyar V.S. Subrahmanian Hybrid probabilistic programs J. Logic Programming 43 3 2000 197-250; http://citeseer.nj.nec.com/ dekhtyar00hybrid.html
14. M. Kifer V.S. Subrahmanian Theory of generalized annotated logic programming and its applications J. Logic Programming 12 1-4 1992 335-367; http://citeseer.nj.nec.com/kifer92theory.html
15. L. Lakshmanan F. Sadri On a theory of probabilistic deductive databases Theory and Practice of Logic Programming 1 1 2001 5-42
16. R. Ng, V.S. Subrahmanian, Probabilistic logic programming, INFCTRL: Information and Computation (formerly Information and Control) 101; URL http://citeseer.nj.nec.com/ng92probabilistic.html
17. E. Shapiro Logic programs with uncertainties: A tool for implementing expert systems Proc. IJCAI'83 1983 William Kauffmann 529-532
18. M. van Emden Quantitative deduction and its fixpoint theory J. Logic Programming 3 1 1986 37-53
19. M. Fitting Logic programming on a topological bilattice Fund. Math. XI 1988 209-218
20. L. Lakshmanan N. Shiri A parametric approach to deductive databases with uncertainty Knowledge Data Engrg. 13 4 2001 554-570; http://citeseer.nj.nec.com/laks97parametric.html
21. C.V. Damásio L.M. Pereira Monotonic and residuated logic programs S. Benferhat P. Besnard 6th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty LNAI vol. 2143 2001 Springer
22. M. Gelfond V. Lifschitz The stable model semantics for logic programming R. Kowalski K.A. Bowen 5th International Conference on Logic Programming 1988 MIT Press 1070-1080
23. M. Gelfond V. Lifschitz Logic programs with classical negation D.H.D. Warren P. Szeredi 7th Int. Conf. on Logic Programming 1990 MIT Press 579-597
24. A. van Gelder K. Ross J. Schlipf The well-founded semantics for general logic programs J. ACM 38 3 1991 620-650
25. J. Alcântara C.V. Damásio L.M. Pereira An encompassing framework for paraconsistent logic programs (extended version) Available at http://centria.di.fct.unl.pt/~cd/publicacoes/jalext03.ps.gz
26. N.D. Belnap A useful four-valued logic J.M. Dunn G. Epstein Modern Uses of Multiple-Valued Logic 1977 D. Reidel 8-37
27. M. Fitting The family of stable models J. Logic Programming 17 1993 197-225
28. J.J. Alferes L.M. Pereira T.C. Przymusinski 'Classical' negation in nonmonotonic reasoning and logic programming J. Automated Reas. 20 1998 107-142
29. R. Schweimeier, M. Schroeder, A parametrised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics, Theory and Practice of Logic Programming, submitted for publication
30. R. Kowalski F. Sadri Logic programs with exceptions D.H.D. Warren P. Szeredi 7th International Conference on Logic Programming 1990 MIT Press
31. G. Wagner A database needs two kinds of negation B. Thalheim J. Demetrovics H.-D. Gerhardt Mathematical Foundations of Database Systems LNCS vol. 495 1991 Springer-Verlag 357-371
32. D. Pearce G. Wagner Reasoning with negative information I: Strong negation in logic programs L. Haaparanta M. Kusch I. Niiniluoto Language, Knowledge and Intentionality Acta Philosophica Fennica vol. 49 1990 430-453
33. G. Wagner Negation in fuzzy and possibilistic logic programs Logic Programming and Soft Computing 1998 Research Studies Press
34. J.H. Gallier Logic for Computer Science 1987 John Wiley & Sons
35. J.C. Mitchell Foundations for Programing Languages, Foundations for Computing 1996 MIT Press
36. G. Gierz K.H. Hofmann K. Keimel J.D. Lawson M. Mislove D. Scott A Compendium of Continuous Lattices 1980 Springer-Verlag
37. C.V. Damásio L.M. Pereira A survey of paraconsistent semantics for logic programs D. Gabbay P. Smets Handbook of Defeasible Reasoning and Uncertainty Management Systems vol. 2 1998 Kluwer Academic Publishers 241-320
38. C. Baral V.S. Subrahmanian Duality between alternative semantics of logic programs and nonmonotonic formalisms J. Automated Reas. 10 1993 399-420
39. M. van Emden R. Kowalski The semantics of predicate logic as a programming language J. ACM 4 23 1976 733-742
40. L.M. Pereira J.J. Alferes J.N. Aparício Default theory for well founded semantics with explicit negation D. Pearce G. Wagner Proc. European Workshop JELIA'92 LNAI vol. 633 1992 Springer-Verlag 339-356
41. A. Tarski Lattice-theoretic fixpoint theorem and its applications Pacific J. Math. 5 1955 285-309
42. H. Przymusinska T.C. Przymusinski Semantic issues in deductive databases and logic programs R. Banerji Formal Techniques in Artificial Intelligence, a Sourcebook 1990 North-Holland 321-367
43. J.J. Alferes L.M. Pereira Reasoning with Logic Programming LNAI vol. 1111 1996 Springer-Verlag
44. Z. Pawlak Rough Sets. Theoretical Aspects of Reasoning About Data 1991 Kluwer Academic Publishers Dordrecht
45. A. Vitória C.V. Damásio J. Małuszyński Query answering in rough knowledge bases 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC'2003) 2003 submitted for publication
46. A. Vitória J. Małuszyński A logic programming framework for rough sets J. Alpigini J. Peters A. Skowron N. Zhong Proc. of the 3rd International Conference on Rough Sets and Current Trends in Computing, RSCTC'02 LNCS/LNAI vol. 2475 2002 Springer-Verlag 205-212
47. J. Alcântara C.V. Damásio L.M. Pereira Paraconsistent logic programs S. Flesca S. Greco N. Leone G. Ianni 8th European Conf. on Logics in Artificial Intelligence LNAI vol. 2424 2002 Springer-Verlag 345-356
48. R. Routley V. Plumwood R.K. Meyer R.T. Brady Relevant Logics and their Rivals 1982 Ridgeview
49. G. Restall An Introduction to Substructural Logics 2002 Routledge
50. P. Cabalar Well founded semantics as two-dimensional here-and-there Answer Set Programming 2001 AAAI Press 15-20
51. D. Pearce From here to there: Stable negation in logic programming D.M. Gabbay H. Wansing What is Negation? 1999 Kluwer Academic Publishers 161-181
52. W.A. Carnielli J. Marcos A taxonomy of C-systems W.A. Carnielli M.E. Coniglio I.M.L. D'Ottaviano Paraconsistency: The Logical Way to the Inconsistent Proceedings of the 2nd World Congress on Paraconsistency, held in Juquehy, Brazil, May 8-12, 2000 Lecture Notes in Pure and Applied Mathematics vol. 228 2002 Marcel Dekker 1-94