Show simple item record

dc.contributor.authorSutcliffe, Geoff
dc.contributor.authorChang, Cynthia
dc.contributor.authorMcGuinness, Deborah
dc.contributor.authorLebo, Tim
dc.contributor.authorDing, Li
dc.contributor.authorPinheiro, Paulo
dc.date.accessioned2022-02-18T02:38:02Z
dc.date.available2022-02-18T02:38:02Z
dc.date.issued2011-08-01
dc.identifier.other185
dc.identifier.urihttp://archive.tw.rpi.edu/media/latest/ProofCombinations.pdf
dc.identifier.urihttps://hdl.handle.net/20.500.13015/4587
dc.description.abstractDifferent Automated Theorem Proving (ATP) systems solve different parts of different problems in different ways. Given a set of proofs produced by ATP systems based on adequately common principles, it is possible to create new proofs by combining proof components extracted from the proofs in the set. It is not generally easy to say that one of the original or new proofs is better or worse than another, but ways to show that two proofs are different are available. This paper describes a process of proof combination to form new proofs that are different from the original set of proofs.
dc.relation.urihttps://tw.rpi.edu/project/InferenceWeb
dc.subjectInference Web
dc.titleCombining Proofs to form Different Proofs


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record