This work concentrates on the automated deduction of logics of order-of-magnitude reasoning. Specifically, a translation of the multimodal logic of qualitative order-of-magnitude reasoning into relational logics is provided; then, a sound and complete Rasiowa-Sikorski proof system is presented for the relational version of the language. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Burrieza, A., Ojeda-Aciego, M., & Orlowska, E. (2006). Relational approach to order-of-magnitude reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4342 LNAI, pp. 105–124). https://doi.org/10.1007/11964810_6
Mendeley helps you to discover research relevant for your work.