Generating Schemata of Resolution Proofs

Details Generating Schemata of Resolution Proofs Generating Schemata of Resolution Proofs

2011-06-14

arxiv.org/abs/1106.2692v1

Computer Science

Artificial Intelligence

Scientific paper

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 of the tableau calculus but generates very complex derivations (denoted by rather elaborate rewrite systems). The second one has the advantage that much simpler systems can be obtained, however the considered proof procedure is less efficient.

Affiliated with

Also associated with

No associations

Rating

Generating Schemata of Resolution Proofs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Generating Schemata of Resolution Proofs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generating Schemata of Resolution Proofs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-113686