8th International Joint Conference on Joint Reasoning, IJCAR 2016
-
Event date:
27-Jun-2016 - 2-Aug-2016
-
Event place:
AT
-
Number of Pages:
9
-
Publisher:
Springer
-
Peer reviewed:
Yes
-
Keywords:
Proof theory
-
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.
en
Project title:
Algorithmen, Strukturierung und Kompression von Beweisen Struktur und Ausdrucksstärke: Die mathematischen Grundlagen des induktiven Schließens
-
Project ID:
P25160-N25 VRG2012-
-
Funder:
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF) WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
Research Areas:
außerhalb der gesamtuniversitären Forschungsschwerpunkte: 100%
