System description: GAPT 2.0

Gabriel Ebner; Stefan Hetzl; Giselle Reis; Martin Riener; Simon Wolfsteiner; Sebastian Zivota

doi:10.1007/978-3-319-40229-1_20

System description: GAPT 2.0

Gabriel Ebner^*, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

GAPT (General Architecture for Proof Theory) is a proof theory framework containing data structures, algorithms, parsers and other components common in proof theory and automated deduction. In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs. In this paper, we describe the current 2.0 release of GAPT.

Original language	English
Title of host publication	Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings
Editors	Nicola Olivetti, Ashish Tiwari
Publisher	Springer Verlag
Pages	293-301
Number of pages	9
ISBN (Print)	9783319402284
DOIs	https://doi.org/10.1007/978-3-319-40229-1_20
Publication status	Published - 1 Jan 2016
Externally published	Yes
Event	8th International Joint Conference on Automated Reasoning, IJCAR 2016 - Coimbra, Portugal Duration: 27 Jun 2016 → 2 Jul 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9706
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Joint Conference on Automated Reasoning, IJCAR 2016
Country/Territory	Portugal
City	Coimbra
Period	27/06/16 → 2/07/16

Access to Document

10.1007/978-3-319-40229-1_20

Handle.net

Persistent link

Cite this

Ebner, G., Hetzl, S., Reis, G., Riener, M., Wolfsteiner, S., & Zivota, S. (2016). System description: GAPT 2.0. In N. Olivetti, & A. Tiwari (Eds.), Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings (pp. 293-301). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9706). Springer Verlag. https://doi.org/10.1007/978-3-319-40229-1_20

Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle et al. / System description : GAPT 2.0. Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. editor / Nicola Olivetti ; Ashish Tiwari. Springer Verlag, 2016. pp. 293-301 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a7e1e099f68042d29022e4260d0420b4,

title = "System description: GAPT 2.0",

abstract = "GAPT (General Architecture for Proof Theory) is a proof theory framework containing data structures, algorithms, parsers and other components common in proof theory and automated deduction. In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs. In this paper, we describe the current 2.0 release of GAPT.",

author = "Gabriel Ebner and Stefan Hetzl and Giselle Reis and Martin Riener and Simon Wolfsteiner and Sebastian Zivota",

year = "2016",

month = jan,

day = "1",

doi = "10.1007/978-3-319-40229-1_20",

language = "English",

isbn = "9783319402284",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "293--301",

editor = "Nicola Olivetti and Ashish Tiwari",

booktitle = "Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings",

address = "Germany",

note = "8th International Joint Conference on Automated Reasoning, IJCAR 2016 ; Conference date: 27-06-2016 Through 02-07-2016",

}

Ebner, G, Hetzl, S, Reis, G, Riener, M, Wolfsteiner, S & Zivota, S 2016, System description: GAPT 2.0. in N Olivetti & A Tiwari (eds), Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9706, Springer Verlag, pp. 293-301, 8th International Joint Conference on Automated Reasoning, IJCAR 2016, Coimbra, Portugal, 27/06/16. https://doi.org/10.1007/978-3-319-40229-1_20

System description : GAPT 2.0. / Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle et al.

Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. ed. / Nicola Olivetti; Ashish Tiwari. Springer Verlag, 2016. p. 293-301 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9706).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - System description

T2 - 8th International Joint Conference on Automated Reasoning, IJCAR 2016

AU - Ebner, Gabriel

AU - Hetzl, Stefan

AU - Reis, Giselle

AU - Riener, Martin

AU - Wolfsteiner, Simon

AU - Zivota, Sebastian

PY - 2016/1/1

Y1 - 2016/1/1

N2 - GAPT (General Architecture for Proof Theory) is a proof theory framework containing data structures, algorithms, parsers and other components common in proof theory and automated deduction. In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs. In this paper, we describe the current 2.0 release of GAPT.

AB - GAPT (General Architecture for Proof Theory) is a proof theory framework containing data structures, algorithms, parsers and other components common in proof theory and automated deduction. In contrast to automated and interactive theorem provers whose focus is the construction of proofs, GAPT concentrates on the transformation and further processing of proofs. In this paper, we describe the current 2.0 release of GAPT.

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

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

U2 - 10.1007/978-3-319-40229-1_20

DO - 10.1007/978-3-319-40229-1_20

M3 - Conference contribution

AN - SCOPUS:84976607639

SN - 9783319402284

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 293

EP - 301

BT - Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings

A2 - Olivetti, Nicola

A2 - Tiwari, Ashish

PB - Springer Verlag

Y2 - 27 June 2016 through 2 July 2016

ER -

Ebner G, Hetzl S, Reis G, Riener M, Wolfsteiner S, Zivota S. System description: GAPT 2.0. In Olivetti N, Tiwari A, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Springer Verlag. 2016. p. 293-301. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-40229-1_20

System description: GAPT 2.0

Abstract

Publication series

Conference

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this