Openproof - A Flexible Framework for Heterogeneous Reasoning

Authors:
Dave Barker-Plummer;John Etchemendy;Albert Liu;Michael Murray;Nik Swoboda
Affiliations:
Stanford University, Stanford, USA 94305-4101;Stanford University, Stanford, USA 94305-4101;Stanford University, Stanford, USA 94305-4101;Stanford University, Stanford, USA 94305-4101;Universidad Politécnica de Madrid, Madrid, Spain 28660
Venue:
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Year:
2008

Citing 6
Cited 2

Visual information and valid reasoning

Logical reasoning with diagrams
Heterogeneous logic

Logical reasoning with diagrams
Modeling Heterogeneous Systems

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Applications of heterogeneous reasoning in design

Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
A computational architecture for heterogeneous reasoning

Journal of Experimental & Theoretical Artificial Intelligence
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL

Electronic Notes in Theoretical Computer Science (ENTCS)

Heterogeneous proofs: spider diagrams meet higher-order provers

ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Diabelli: a heterogeneous proof system

IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe the Openproof heterogeneous reasoning framework. The Openproof framework provides support for the implementation of heterogeneous reasoning environments, i.e., environments for writing arguments or proofs involving a number of different kinds of representation. The resulting environments are in a similar spirit to our Hyperproofprogram, though the Openproof framework goes beyond Hyperproofby providing facilities for the inclusion of a variety of representation systems in the same environment. The framework serves as the core of a number of widely used educational programs including Fitch.