On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

Joanna Golinska-Pilarek. On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. In Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin, editors, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Volume 7519 of Lecture Notes in Computer Science, pages 255-266, Springer, 2012. [doi]

Abstract

Abstract is missing.