On the use of fuzzy stable models for inconsistent classical logic programs

 

Abstract

Based on the recently proved fact that the continuity of the connectives involved in a normal residuated logic program ensures the existence of fuzzy stable models, we focus on the assignment of a fuzzy stable model semantics to inconsistent classical logic programs on the basis of the separation of the notion of inconsistency and uncertainty.

Citation

Please, cite this work as:

[MO11] N. Madrid and M. Ojeda-Aciego. “On the use of fuzzy stable models for inconsistent classical logic programs”. In: Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, FOCI 2011, part of the IEEE Symposium Series on Computational Intelligence 2011, Paris, France, 11-15 April 2011. IEEE, 2011, pp. 115-121. DOI: 10.1109/FOCI.2011.5949476. URL: https://doi.org/10.1109/FOCI.2011.5949476.

BibTeX

@InProceedings{Madrid2011a,
     author = {Nicol{’a}s Madrid and Manuel Ojeda-Aciego},
     booktitle = {Proceedings of the {IEEE} Symposium on Foundations of Computational Intelligence, {FOCI} 2011, part of the {IEEE} Symposium Series on Computational Intelligence 2011, Paris, France, 11-15 April 2011},
     title = {On the use of fuzzy stable models for inconsistent classical logic programs},
     year = {2011},
     pages = {115–121},
     publisher = {{IEEE}},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/foci/MadridO11.bib},
     doi = {10.1109/FOCI.2011.5949476},
     timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
     url = {https://doi.org/10.1109/FOCI.2011.5949476},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

On the use of fuzzy stable models for inconsistent classical logic programs

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] M. E. Cornejo, J. Medina, and E. Ramírez-Poussa. “Adjoint negations, more than residuated negations”. In: Information Sciences 345 (Jun. 2016), p. 355–371. ISSN: 0020-0255. DOI: 10.1016/j.ins.2016.01.038. URL: http://dx.doi.org/10.1016/j.ins.2016.01.038.

[2] N. Madrid and M. Ojeda-Aciego. “On least coherence-preserving negations”. In: 2012 Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS). IEEE, Aug. 2012, p. 1–6. DOI: 10.1109/nafips.2012.6290981. URL: http://dx.doi.org/10.1109/nafips.2012.6290981.