4 citations · 8 across the 17 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012
Reasoning on Schemata of Formulae
Mnacho Echenim, Nicolas Peltier
A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebr…
cs.LO2012★ 1 cited
A Calculus for Generating Ground Explanations (Technical Report)
Mnacho Echenim, Nicolas Peltier
We present a modification of the superposition calculus that is meant to generate explanations why a set of clauses is satisfiable. This process is related to abductive reasoning,…