Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations

Alfredo Burrieza. Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. In Concha Bielza, Antonio Salmerón, Amparo Alonso-Betanzos, José Ignacio Hidalgo, Luis Martínez, Alicia Troncoso Lora, Emilio Corchado, Juan M. Corchado, editors, Advances in Artificial Intelligence - 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings. Volume 8109 of Lecture Notes in Computer Science, pages 101-110, Springer, 2013. [doi]

Abstract

Abstract is missing.