A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning

uncategorised
Authors

Alfredo Burrieza

Manuel Ojeda-Aciego

Published

1 January 2003

Publication details

Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2003, and 5th Conference on Technology Transfer, {TTIA} 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers , Lecture Notes in Computer Science vol. 3040, pages 66–75.

Links

DOI

 

Abstract

Citation

Please, cite this work as:

[BO03] A. Burrieza and M. Ojeda-Aciego. “A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning”. In: Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers. Ed. by R. Conejo, M. Urretavizcaya and J. Pérez-de-la-Cruz. Vol. 3040. Lecture Notes in Computer Science. Springer, 2003, pp. 66-75. DOI: 10.1007/978-3-540-25945-9_7. URL: https://doi.org/10.1007/978-3-540-25945-9_7.

@InProceedings{Burrieza2003,
     author = {Alfredo Burrieza and Manuel Ojeda-Aciego},
     booktitle = {Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2003, and 5th Conference on Technology Transfer, {TTIA} 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers},
     title = {A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning},
     year = {2003},
     editor = {Ricardo Conejo and Maite Urretavizcaya and Jos{’e}-Luis P{’e}rez-de-la-Cruz},
     pages = {66–75},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {3040},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/caepia/BurriezaO03.bib},
     doi = {10.1007/978-3-540-25945-9_7},
     timestamp = {Tue, 14 May 2019 10:00:50 +0200},
     url = {https://doi.org/10.1007/978-3-540-25945-9_7},
}

Bibliometric data

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

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning

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, 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. “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, and M. Ojeda-Aciego. “Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility”. In: Current Topics in Artificial Intelligence. Springer Berlin Heidelberg, 2006, p. 370–378. ISBN: 9783540459156. DOI: 10.1007/11881216_39. URL: http://dx.doi.org/10.1007/11881216_39.

[5] A. Burrieza and M. Ojeda-Aciego. “A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations”. In: Fundamenta Informaticae 68.1–2 (Jan. 2005), p. 21–46. ISSN: 1875-8681. DOI: 10.3233/fun-2005-681-202. URL: http://dx.doi.org/10.3233/fun-2005-681-202.

[6] A. Burrieza and M. Ojeda-Aciego. “On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus”. In: 2005 Purtuguese Conference on Artificial Intelligence. IEEE, Dec. 2005, p. 33–37. DOI: 10.1109/epia.2005.341259. URL: http://dx.doi.org/10.1109/epia.2005.341259.

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

[8] J. Goli ska-Pilarek and E. Munoz-Velasco. “A hybrid qualitative approach for relative movements”. In: Logic Journal of IGPL 23.3 (Apr. 2015), p. 410–420. ISSN: 1368-9894. DOI: 10.1093/jigpal/jzv012. URL: http://dx.doi.org/10.1093/jigpal/jzv012.

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

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