A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning
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.
Bibliometric data
The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.
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.