26 citations · 64 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
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…
cs.LO2011
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata i…