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

Authors

Nicolás Madrid

Manuel Ojeda-Aciego

Published

1 January 2011

Publication details

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 , pages 115–121.

Links

DOI

 

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.

@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.

  • Citations
  • CrossRef - Citation Indexes: 1
  • Scopus - Citation Indexes: 2
  • Captures
  • Mendeley - Readers: 5

Cites

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

201620120.000.250.500.751.00
yearcites

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.