Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

uncategorised
Authors
Published

1 January 2005

Publication details

Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers , Lecture Notes in Computer Science vol. 4177, pages 370–378.

Links

DOI

 

Abstract

Citation

Please, cite this work as:

[BMO05] A. Burrieza, E. Mu~noz-Velasco, and M. Ojeda-Aciego. “Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility”. In: Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers. Ed. by R. Mar', E. Onaindia, A. Bugar'and J. S. Reyes. Vol. 4177. Lecture Notes in Computer Science. Springer, 2005, pp. 370-378. DOI: 10.1007/11881216_39. URL: https://doi.org/10.1007/11881216_39.

@InProceedings{Burrieza2005,
     author = {Alfredo Burrieza and Emilio Mu~noz-Velasco and Manuel Ojeda-Aciego},
     booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
     title = {Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility},
     year = {2005},
     editor = {Roque Mar'and Eva Onaindia and Alberto Bugar'and Jos{’e} Santos Reyes},
     pages = {370–378},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {4177},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/caepia/BurriezaMO05.bib},
     doi = {10.1007/11881216_39},
     timestamp = {Tue, 14 May 2019 10:00:50 +0200},
     url = {https://doi.org/10.1007/11881216_39},
}

Bibliometric data

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

Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

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] P. Balbiani. “Reasoning about negligibility and proximity in the set of all hyperreals”. In: Journal of Applied Logic 16 (Jul. 2016), p. 14–36. ISSN: 1570-8683. DOI: 10.1016/j.jal.2016.04.002. URL: http://dx.doi.org/10.1016/j.jal.2016.04.002.

[2] A. Burrieza. “Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations”. In: Advances in Artificial Intelligence. Springer Berlin Heidelberg, 2013, p. 101–110. ISBN: 9783642406430. DOI: 10.1007/978-3-642-40643-0_11. URL: http://dx.doi.org/10.1007/978-3-642-40643-0_11.

[3] A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. “A multimodal logic for closeness”. In: Journal of Applied Non-Classical Logics 27.3–4 (Oct. 2017), p. 225–237. ISSN: 1958-5780. DOI: 10.1080/11663081.2018.1442137. URL: http://dx.doi.org/10.1080/11663081.2018.1442137.

[4] A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. “Logics for Order-of-Magnitude Qualitative Reasoning: Formalizing Negligibility”. In: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, 2018, p. 203–231. ISBN: 9783319978796. DOI: 10.1007/978-3-319-97879-6_8. URL: http://dx.doi.org/10.1007/978-3-319-97879-6_8.

[5] A. Burrieza, M. Ojeda-Aciego, and E. Orłowska. “Relational Approach to Order-of-Magnitude Reasoning”. In: Theory and Applications of Relational Structures as Knowledge Instruments II. Springer Berlin Heidelberg, 2006, p. 105–124. ISBN: 9783540692249. DOI: 10.1007/11964810_6. URL: http://dx.doi.org/10.1007/11964810_6.

[6] J. Golińska-Pilarek. “On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility”. In: Logics in Artificial Intelligence. Springer Berlin Heidelberg, 2012, p. 255–266. ISBN: 9783642333538. DOI: 10.1007/978-3-642-33353-8_20. URL: http://dx.doi.org/10.1007/978-3-642-33353-8_20.

[7] J. Golińska-Pilarek, A. Mora, and E. Muñoz-Velasco. “An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance”. In: PRICAI 2008: Trends in Artificial Intelligence. Springer Berlin Heidelberg, 2008, p. 128–139. ISBN: 9783540891970. DOI: 10.1007/978-3-540-89197-0_15. URL: http://dx.doi.org/10.1007/978-3-540-89197-0_15.