References
- Bennett , B. , Cohn , A. G. , Wolter , F. and Zakharyaschev , M. 2002 . Multi-dimensional modal logic as a framework for spatio-temporal reasoning . Appl. Intell. , 17 ( 3 ) : 239 – 251 .
- Burrieza , A. , Mora , A. , Ojeda-Aciego , M. and Orłowska , E. 2008 . Implementing a relational system for order-of-magnitude reasoning . Tech. Rep. ,
- Burrieza , A. , Muñoz-Velasco , E. and Ojeda-Aciego , M. 2006 . Order of magnitude reasoning with bidirectional negligibility , 4177 : 370 – 378 . Lecture Notes in Artificial Intelligence
- Burrieza , A. and Ojeda-Aciego , M. 2005 . A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations . Fund. Inform. , 68 : 21 – 46 .
- Burrieza , A. , Ojeda-Aciego , M. and Orłowska , E. 2006 . Relational approach to order of magnitude reasoning . 4342 : 105 – 124 . Lecture Notes in Computer Science
- Dallien , J. and MacCaull , W. 2005 . RelDT: A relational dual tableaux automated theorem prover . Available at http://www.logic.stfx.ca/reldt/
- Formisano , A. , Orłowska , E. and Omodeo , E. 2005 . “ A PROLOG tool for relational translation of modal logics: A front-end for relational proof systems ” . In TABLEAUX 2005 Position Papers and Tutorial Descriptions, Fachberichte Informatik No 12, Universitaet Koblenz-Landau Edited by: Beckert , B. 1 – 10 .
- Golińska-Pilarek , J. and Orłowska , E. 2006 . Relational logics and their applications , 4342 : 125 – 161 . Lecture Notes in Artificial Intelligence
- Golińska-Pilarek , J. and Orłowska , E. 2007 . Tableaux and dual tableaux: transformation of proofs . Studia Logica , 85 : 291 – 310 .
- Konikowska , B. 2002 . Rasiowa-Sikorski deduction systems in computer science applications . Theoret. Comput. Sci. , 286 : 323 – 366 .
- Orłowska , E. 1996 . “ Relational proof systems for modal logics ” . In Proof Theory of Modal Logics , Edited by: Wansing , H. 55 – 77 . Dordrecht : Kluwer Academic Publishers .
- Raiman , O. 1991 . Order of magnitude reasoning . Artif. Intell. , 51 : 11 – 38 .
- Rasiowa , H. and Sikorski , R. 1963 . The Mathematics of Metamathematics , Warsaw : Polish Scientific Publishers .
- Sánchez , M. , Prats , F. and Piera , N. 1996 . Una formalizaci??e relaciones de comparabilidad en modelos cualitativos . Bolet?de la AEPIA Bull. Spanish Assoc. Artif. Intell. , 6 : 15 – 22 .
- Travé-Massuyès , L. , Prats , F. , Sánchez , M. and Agell , N. 2005 . Relative and absolute order-of-magnitude models unified . Ann. Math. Artif. Intell. , 45 : 323 – 341 .
- Wolter , F. and Zakharyaschev , M. 2002 . “ Qualitative spatio-temporal representation and reasoning: a computational perspective ” . In Exploring Artificial Intelligence in the New Millenium , Edited by: Lakemeyer , G. and Nebel , B. Los Altos, CA : Morgan Kaufmann .