A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance

Authors

Alfredo Burrieza

Published

1 January 2007

Publication details

Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers , Lecture Notes in Computer Science vol. 4788, pages 210–219.

Links

Abstract

Citation

Please, cite this work as:

[BMO07] A. Burrieza, E. Mu~noz-Velasco, and M. Ojeda-Aciego. “A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance”. In: Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers. Ed. by D. Borrajo, L. A. Castillo and J. M. Corchado. Vol. 4788. Lecture Notes in Computer Science. Springer, 2007, pp. 210-219. DOI: 10.1007/978-3-540-75271-4_22. URL: https://doi.org/10.1007/978-3-540-75271-4_22.

BibTeX

@InProceedings{Burrieza2007,
     author = {Alfredo Burrieza and Emilio Mu~noz-Velasco and Manuel Ojeda-Aciego},
     booktitle = {Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers},
     title = {A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance},
     year = {2007},
     editor = {Daniel Borrajo and Luis A. Castillo and Juan M. Corchado},
     pages = {210–219},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {4788},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/caepia/BurriezaMO07.bib},
     doi = {10.1007/978-3-540-75271-4_22},
     timestamp = {Tue, 14 May 2019 10:00:50 +0200},
     url = {https://doi.org/10.1007/978-3-540-75271-4_22},
}

Bibliometric data

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

Citations
CrossRef - Citation Indexes: 5
Scopus - Citation Indexes: 8

Captures
Mendeley - Readers: 5

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

[2] A. Burrieza, E. Muñoz-Velasco, and M. Ojeda-Aciego. “Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL”. In: Current Topics in Artificial Intelligence. Springer Berlin Heidelberg, 2010, p. 71–80. ISBN: 9783642142642. DOI: 10.1007/978-3-642-14264-2_8. URL: http://dx.doi.org/10.1007/978-3-642-14264-2_8.

[3] 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.

[4] A. BURRIEZA, E. MUÑOZ-VELASCO, and M. OJEDA-ACIEGO. “A PDL APPROACH FOR QUALITATIVE VELOCITY”. In: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19.01 (Feb. 2011), p. 11–26. ISSN: 1793-6411. DOI: 10.1142/s021848851100685x. URL: http://dx.doi.org/10.1142/s021848851100685x.

[5] 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.

[6] 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.

[7] J. Golinska-Pilarek and E. Munoz-Velasco. “Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance”. In: Logic Journal of IGPL 17.4 (Jun. 2009), p. 375–394. ISSN: 1368-9894. DOI: 10.1093/jigpal/jzp016. URL: http://dx.doi.org/10.1093/jigpal/jzp016.