Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Valentin Cassano  [Clear All Filters]
2015
V. Cassano, C. G. López Pombo, and T. S. E. Maibaum, “A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules”, in Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, {TABLEAUX} 2015, Wrocław, Poland, September 21-24, 2015. Proceedings, 2015.