24 citations · 40 across the 18 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2011
Instantiation Schemes for Nested Theories
Mnacho Echenim, Nicolas Peltier
This paper investigates under which conditions instantiation-based proof procedures can be combined in a nested way, in order to mechanically construct new instantiation procedures…
cs.AI2011
Generating Schemata of Resolution Proofs
Vincent Aravantinos, Nicolas Peltier
Two distinct algorithms are presented to extract (schemata of) resolution proofs from closed tableaux for propositional schemata. The first one handles the most efficient version o…