Relational Approach to Order-of-Magnitude Reasoning

Authors

Alfredo Burrieza

Ewa Orlowska

Published

1 January 2006

Publication details

Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of {COST} Action 274, TARSKI, 2002-2005, Selected Revised Papers , Lecture Notes in Computer Science vol. 4342, pages 105–124.

Links

Abstract

Citation

Please, cite this work as:

[BOO06] A. Burrieza, M. Ojeda-Aciego, and E. Orlowska. “Relational Approach to Order-of-Magnitude Reasoning”. In: Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Ed. by H. C. M. de Swart, E. Orlowska, G. Schmidt and M. Roubens. Vol. 4342. Lecture Notes in Computer Science. Springer, 2006, pp. 105-124. DOI: 10.1007/11964810_6. URL: https://doi.org/10.1007/11964810_6.

BibTeX

@InCollection{Burrieza2006,
     author = {Alfredo Burrieza and Manuel Ojeda-Aciego and Ewa Orlowska},
     booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of {COST} Action 274, TARSKI, 2002-2005, Selected Revised Papers},
     publisher = {Springer},
     title = {Relational Approach to Order-of-Magnitude Reasoning},
     year = {2006},
     editor = {Harrie C. M. {de Swart} and Ewa Orlowska and Gunther Schmidt and Marc Roubens},
     pages = {105–124},
     series = {Lecture Notes in Computer Science},
     volume = {4342},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/RelMiCS/BurriezaOO06.bib},
     doi = {10.1007/11964810_6},
     timestamp = {Sun, 02 Oct 2022 15:53:27 +0200},
     url = {https://doi.org/10.1007/11964810_6},
}

Bibliometric data

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

Citations
CrossRef - Citation Indexes: 10
Scopus - Citation Indexes: 13

Captures
Mendeley - Readers: 6

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, A. Mora, M. Ojeda-Aciego, et al. “An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning”. In: International Journal of Computer Mathematics 86.10–11 (Nov. 2009), p. 1852–1866. ISSN: 1029-0265. DOI: 10.1080/00207160902777906. URL: http://dx.doi.org/10.1080/00207160902777906.

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

[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] J. Golińska-Pilarek, T. Huuskonen, and E. Muñoz-Velasco. “Relational dual tableau decision procedures and their applications to modal and intuitionistic logics”. In: Annals of Pure and Applied Logic 165.2 (Feb. 2014), p. 409–427. ISSN: 0168-0072. DOI: 10.1016/j.apal.2013.06.003. URL: http://dx.doi.org/10.1016/j.apal.2013.06.003.

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

[8] J. Golińska-Pilarek and E. Muñoz-Velasco. “Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility”. In: International Journal of Computer Mathematics 86.10–11 (Nov. 2009), p. 1707–1718. ISSN: 1029-0265. DOI: 10.1080/00207160902930752. URL: http://dx.doi.org/10.1080/00207160902930752.

[9] J. Golińska-Pilarek and E. Orłowska. “Logics of Similarity and their Dual Tableaux A Survey”. In: Preferences and Similarities. Springer Vienna, 2008, p. 129–159. ISBN: 9783211854327. DOI: 10.1007/978-3-211-85432-7_5. URL: http://dx.doi.org/10.1007/978-3-211-85432-7_5.

[10] J. Golińska-Pilarek and E. Orłowska. “Relational Logics and Their Applications”. In: Theory and Applications of Relational Structures as Knowledge Instruments II. Springer Berlin Heidelberg, 2006, p. 125–161. ISBN: 9783540692249. DOI: 10.1007/11964810_7. URL: http://dx.doi.org/10.1007/11964810_7.

[11] J. Golińska-Pilarek and M. Zawidzki. “Everything is a Relation: A Preview”. In: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, 2018, p. 3–24. ISBN: 9783319978796. DOI: 10.1007/978-3-319-97879-6_1. URL: http://dx.doi.org/10.1007/978-3-319-97879-6_1.

[12] E. Orłowska. “Autobiography”. In: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, 2018, p. 25–49. ISBN: 9783319978796. DOI: 10.1007/978-3-319-97879-6_2. URL: http://dx.doi.org/10.1007/978-3-319-97879-6_2.