A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules
| Title | A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Cassano, V, López Pombo, CG, Maibaum, TSE |
| Conference Name | Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, {TABLEAUX} 2015, Wrocław, Poland, September 21-24, 2015. Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-319-24312-2_2 |
| DOI | 10.1007/978-3-319-24312-2_2 |
Work Package:
WP2
