On Dual Tableau-Based Decision Procedures for Relational Fragments
Authors: Domenico Cantone, Joanna Golinska-Pilarek and Marianna Nicolosi-Asmundo
Paper Information
| Title: | On Dual Tableau-Based Decision Procedures for Relational Fragments |
| Authors: | Domenico Cantone, Joanna Golinska-Pilarek and Marianna Nicolosi-Asmundo |
| Proceedings: | ADDCT 2014 Proceedings |
| Editors: | Viorica Sofronie-Stokkermans, Silvio Ghilardi and Uli Sattler |
| Keywords: | Relational dual tableau system, Decision procedures, Qualitative reasoning |
| Abstract: | ABSTRACT. We give a brief survey of the main results on dual tableau-based decision procedures for fragments of the logic of binary relations and we outline our current work in the design of relational decision procedures for logics for order-of-magnitude reasoning. Then we shortly hint at some further research plans on other relational decision procedures. |
| Pages: | 9 |
| Talk: | Jul 18 15:30 |
| Paper: |  |