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.
Bibliometric data
The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.
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.
