An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning

References

• Areces , C. , Blackburn , P. and Marx , M. 2000 . The computational complexity of hybrid temporal logics . Log. J. IGPL , 8 : 653 – 679 .
   Google Scholar
• Bailey-Kellogg , C. and Zhao , F. 2003 . Qualitative spatial reasoning: extracting and reasoning with spatial aggregates . AI Mag. , 24 ( 4 ) : 47 – 60 .
   Google Scholar
• Bennett , B. 1995 . Modal logics for qualitative spatial reasoning . Bull. IGPL , 3 : 1 – 22 .
   Google Scholar
• Burrieza , A. and Ojeda-Aciego , M. 2004 . A multimodal logic approach to order of magnitude qualitative reasoning . 3040 : 431 – 440 . Lecture Notes in Artificial Intelligence
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Burrieza , A. , Ojeda-Aciego , M. and Orłowska , E. 2006 . Relational approach to order-of-magnitude reasoning . 4342 : 105 – 124 . Lecture Notes in Comput. Sci
   Google Scholar
• Dague , P. Numeric reasoning with relative orders of magnitude . Proceedings of the 11th National Conference on Artificial Intelligence . Cambridge, MA and London. pp. 541 – 547 . The AAAI Press/The MIT Press .
   Google Scholar
• Dallien , J. and MacCaull , W. 2005 . RelDT—a dual tableaux system for relational logics . Available from http://logic.stfx.ca/reldt/
   Google Scholar
• Formisano , A. , Omodeo , E. and Orłowska , 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 , Edited by: Beckert , B. Vol. 12 , 1 – 10 . Universität Koblenz-Landau, Fachberichte Informatik . System available from http://www.di.univaq.it/TARSKI/transIt/
   Google Scholar
• Formisano , A. , Omodeo , E. and Orłowska , E. 2006 . An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics . : 89 – 104 . Lecture Notes in Artificial Intelligence 4342
   Google Scholar
• Golińska-Pilarek , J. , Mora , A. and Muñoz-Velasco , E. 2008 . An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance . 5351 : 128 – 139 . Lecture Notes in Computer Science
   Google Scholar
• Golińska-Pilarek , J. and Orłowska , E. 2007 . Tableaux and dual tableaux: transformation of proofs . Studia Logica , 85 ( 3 ) : 283 – 302 .
   Google Scholar
• Konikowska , B. 2002 . Rasiowa–Sikorski deduction systems in computer science applications . Theoret. Comput. Sci. , 286 : 323 – 366 .
   Web of Science ®Google Scholar
• Lang , K. R. , Whinston , A. B. and Hinkkanen , A. 2003 . A set-theoretic foundation of qualitative reasoning and its application to the modeling of economics and business management problems . Inf. Syst. Front. , 5 ( 4 ) : 379 – 399 .
   Google Scholar
• Litak , T. and Wolter , F. 2005 . All finitely axiomatizable tense logics of linear time flows are coNP-complete . Studia Logica , 75 : 1 – 13 .
   Google Scholar
• Mavrovouniotis , M. L. and Stephanopoulos , G. Reasoning with orders of magnitude and approximate relations . Proceedings of the 6th National Conference on Artificial Intelligence . Cambridge, MA and London. The AAAI Press/The MIT Press .
   Google Scholar
• Müller , R. , Röfer , T. , Lankenau , A. , Musto , R. , Stein , K. and Eisenkolb , A. 2000 . Coarse qualitative descriptions in robot navigation . 1849 : 265 – 276 . Lecture Notes in Artificial Intelligence
   Google Scholar
• Nayak , P. Order of magnitude reasoning using logarithms . Proceedings of Principles of Knowledge Representation and Reasoning . pp. 201 – 210 . San Francisco, CA : Morgan Kaufmann .
   Google Scholar
• Orłowska , E. 1988 . “ Relational interpretation of modal logics ” . In Algebraic Logic , Edited by: Andreka , H. , Monk , D. and Nemeti , I. Vol. 54 , 443 – 471 . Amsterdam : North Holland . Colloquia Mathematica Societatis Janos Bolyai
   Google Scholar
• Orłowska , E. 1994 . “ Relational semantics for nonclassical logics: Formulas are relations ” . In Philosophical Logic in Poland , Edited by: Wolenski , J. 167 – 186 . Dordrecht : Kluwer .
   Google Scholar
• Orłowska , E. and Golińska-Pilarek , J. 2008 . Dual Tableaux and Their Applications, Draft of a book .
   Google Scholar
• Raiman , O. 1991 . Order of magnitude reasoning . Artificial Intelligence , 51 : 11 – 38 .
   Web of Science ®Google Scholar
• Rasiowa , H. and Sikorski , R. 1963 . Mathematics of Metamathematics , Warsaw : Polish Scientific Publishers .
   Google Scholar
• Subramanian , S. and Mooney , R. 1995 . Multiple-fault diagnosis using general qualitative models with fault models . : 321 – 325 . Working Notes of the IJCAI-95 Workshop on Engineering Problems for Qualitative Reasoning
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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. 175 – 216 . San Francisco, CA : Morgan Kaufmann .
   Google Scholar