Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction.

David Delahaye Mélanie Jacquel

Published in: CoRR (2015)

Keyphrases

formal proofs
fully automated
semi automated
data driven
context sensitive
metadata
multi agent
website
modal logic
automated analysis