Presenting TSTP proofs with Inference Web tools

Paolo Pinheiro Da Silva; Geoff Sutcliffe; Cynthia Chang; Li Ding; Nick Del Rio; Deborah McGuinness

Presenting TSTP proofs with Inference Web tools

Paolo Pinheiro Da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick Del Rio, Deborah McGuinness

Computer Science

Research output: Contribution to journal › Conference article › peer-review

3 Scopus citations

Abstract

This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subsequent use of Inference Web (IW) tools to provide new presentations of the proofs. The translation enriches the TSTP proofs with proof provenance meta-data, and provides new possibilities for proof processing.

Original language	English (US)
Pages (from-to)	81-93
Number of pages	13
Journal	CEUR Workshop Proceedings
Volume	373
State	Published - Dec 1 2008
Event	1st International Workshop on Practical Aspects of Automated Reasoning, PAAR 2008, Held Jointly with the Workshop on Evaluation of Systems for Higher Order Logic, ESHOL 2008 - Sydney, NSW, Australia Duration: Aug 10 2008 → Aug 11 2008

ASJC Scopus subject areas

Computer Science(all)

Fingerprint Dive into the research topics of 'Presenting TSTP proofs with Inference Web tools'. Together they form a unique fingerprint.

Cite this

@article{b007e00bf8e640e4bcf21202d3a341cd,

title = "Presenting TSTP proofs with Inference Web tools",

abstract = "This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subsequent use of Inference Web (IW) tools to provide new presentations of the proofs. The translation enriches the TSTP proofs with proof provenance meta-data, and provides new possibilities for proof processing.",

author = "{Da Silva}, {Paolo Pinheiro} and Geoff Sutcliffe and Cynthia Chang and Li Ding and {Del Rio}, Nick and Deborah McGuinness",

year = "2008",

month = dec,

day = "1",

language = "English (US)",

volume = "373",

pages = "81--93",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "1st International Workshop on Practical Aspects of Automated Reasoning, PAAR 2008, Held Jointly with the Workshop on Evaluation of Systems for Higher Order Logic, ESHOL 2008 ; Conference date: 10-08-2008 Through 11-08-2008",

}

TY - JOUR

T1 - Presenting TSTP proofs with Inference Web tools

AU - Da Silva, Paolo Pinheiro

AU - Sutcliffe, Geoff

AU - Chang, Cynthia

AU - Ding, Li

AU - Del Rio, Nick

AU - McGuinness, Deborah

PY - 2008/12/1

Y1 - 2008/12/1

N2 - This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subsequent use of Inference Web (IW) tools to provide new presentations of the proofs. The translation enriches the TSTP proofs with proof provenance meta-data, and provides new possibilities for proof processing.

AB - This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subsequent use of Inference Web (IW) tools to provide new presentations of the proofs. The translation enriches the TSTP proofs with proof provenance meta-data, and provides new possibilities for proof processing.

UR - http://www.scopus.com/inward/record.url?scp=84858312799&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84858312799&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84858312799

VL - 373

SP - 81

EP - 93

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

T2 - 1st International Workshop on Practical Aspects of Automated Reasoning, PAAR 2008, Held Jointly with the Workshop on Evaluation of Systems for Higher Order Logic, ESHOL 2008

Y2 - 10 August 2008 through 11 August 2008

ER -

Presenting TSTP proofs with Inference Web tools

Abstract

ASJC Scopus subject areas

Other files and links

Cite this