10 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 10 cited
Tableaux Modulo Theories Using Superdeduction
Mélanie Jacquel, Karim Berkani, David Delahaye +1
We propose a method that allows us to develop tableaux modulo theories using the principles of superdeduction, among which the theory is used to enrich the deduction system with ne…
cs.LO2015★ 1 cited
Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction
David Delahaye, Mélanie Jacquel
We propose an automated deduction method which allows us to produce proofs close to the human intuition and practice. This method is based on tableaux, which generate more natural…