On the existence and unicity of stable models in normal residuated logic programs

References

• Burrieza , A. , de Guzmán , I. P. and Muñoz-Velasco , E. 2007 . Generalization of some properties of relations in the context of functional logic . Int. J. Comput. Math , 85 ( 3 ) : 371 – 383 .
   Google Scholar
• Burrieza , A. , Mora , A. , Ojeda-Aciego , M. and Orłowska , E. 2009 . An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning . Int. J. Comput. Math , 86 ( 10 ) : 1852 – 1866 .
   Google Scholar
• Costantini , S. 2006 . On the existence of stable models of non-stratified logic programs . J. Theory Practice Logic Program , 6 ( 1–2 ) : 169 – 212 .
   Google Scholar
• Damásio , C. V. and Pereira , L. M. 2001 . “ Monotonic and residuated logic programs, in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’01 ” . In Lecture Notes in Artificial Intelligence , Edited by: Benferhat , S. and Besnard , Ph. Vol. 2143 , 748 – 759 . Berlin : Springer .
   Google Scholar
• Damásio , C. , Medina , J. and Ojeda-Aciego , M. 2007 . Termination of logic programs with imperfect information: Applications and query procedure . J. Appl. Logic , 5 ( 3 ) : 435 – 458 .
   Google Scholar
• Fitting , M. 1993 . The family of stable models . J. Logic Program , 17 ( 2–4 ) : 197 – 225 .
   Google Scholar
• Gelfond , M. and Lifschitz , V. 1988 . “ The stable model semantics for logic programming ” . In Logic Programming: Proc. Fifth Internat. Conference and Symposium , Edited by: Seattle , WA , Kowalski , R. and Bowen , K. 1070 – 1080 . Rhode Island : MIT Press .
   Google Scholar
• Ginsberg , M. L. 1988 . Multivalued logics: A uniform approach to reasoning in artificial intelligence . Comput. Intell , 4 : 265 – 316 .
   Google Scholar
• Golińska-Pilarek , J. and Muñoz-Velasco , E. 2009 . Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility . Int. J Comput. Math , 86 ( 10 ) : 1707 – 1718 .
   Google Scholar
• Loyer , Y. and Straccia , U. 2006 . Epistemic foundation of stable model semantics . J. Theory Practice Logic Program , 6 : 355 – 393 .
   Google Scholar
• Lukasiewicz , T. 2008 . Fuzzy description logic programs under the answer set semantics for the semantic web . Fund. Inform , 82 ( 3 ) : 289 – 310 .
   Google Scholar
• Madrid , N. and Ojeda-Aciego , M. 2008 . “ Towards a fuzzy answer set semantics for residuated logic programs ” . In IEEE/WIC/ACM Intl Conf on Web Intelligence and Intelligent Agent Technology , Edited by: Sydney , NSW , Zhang , C. and Cercone , N. 260 – 264 . Los Alamitos, CA : IEEE Computer Society .
   Google Scholar
• Madrid , N. and Ojeda-Aciego , M. 2009 . “ On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs ” . In Lecture Notes in Computer Science , Vol. 5571 , 60 – 67 . Berlin : Springer .
   Google Scholar
• Madrid , N. and Ojeda-Aciego , M. 2010 . “ On the existence of stable models in normal residuated logic programs ” . In Proc of Computational Methods in Mathematics, Science, and Engineering, CMMSE , Edited by: Vigo , J. 598 – 604 . Salamanca : CMMSE Publications . Almerí Spain
   Google Scholar
• Mora , A. , Muñoz-Velasco , E. and Golińska-Pilarek , J. 2011 . Implementing a relational theorem prover for modal logic K . Int. J. Comput. Math , 88 ( 9 ) : 1869 – 1884 .
   Web of Science ®Google Scholar
• Przymusinski , T. 1990 . Well-founded semantics coincides with three-valued stable semantics . Fund. Inform , 13 : 445 – 463 .
   Google Scholar
• Straccia , U. 2005 . “ Query Answering in Normal Logic Programs Under Uncertainty ” . In Lecture Notes in Computer Science , Vol. 3571 , 687 – 700 . Berlin : Springer .
   Google Scholar
• Straccia , U. 2006 . “ Query Answering Under the Any-world Assumption for Normal Logic Programs ” . In Lecture Notes in Computer Science , Vol. 3571 , 687 – 700 . Berlin : Springer .
   Google Scholar
• Straccia , U. A top-down query answering procedure for normal logic programs under the any-world assumption . Proceedings of the 10th International Conference on Principles of Knowledge Representation . pp. 329 – 339 . Menlo Park, CA : AAAI Press .
   Google Scholar
• Tsoy-Wo , M. 1995 . “ Classical Analysis on Normed Spaces ” . Singapore : World Scientific Publishing .
   Google Scholar