Add to ORKGThe paper addresses two problems of comprehensible proof presentation, the hierarchically structured presentation at the level of proof methods and different presentation styles of construction proofs. It provides solutions for these problems that can make use of proof plans generated by an automated proof planner. (orig.)SIGLEAvailable from TIB Hannover: RO 7629(98-08) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
AbstractKnowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which sw...
In this paper we generalize the notion of method for proofplanning. While we adopt the general struc...
The reasoning power of human-oriented plan-based reasoning systems is primarily derived from their d...
The paper addresses two problems of comprehensible proof presentation, the hierarchically structured...
. The paper addresses comprehensible proof presentation for teaching and learning that can be provid...
Abstract. In this paper we propose how proof planning systems can be extended by an automated learni...
It has long become a general consensus in the field of natural language generation that the whole gen...
AbstractWe present a framework for describing proof planners. This framework is based around a decom...
Abstract. Proof planning is an approach to the automation of theorem proving in which search is cond...
AbstractWe describebarnacle: a co-operative interface to theclaminductive theorem proving system. Fo...
The structured programming literature provides methods and a wealth of heuristic knowledge for guid...
AbstractProof planning is a technique for theorem proving which replaces the ultra-efficient but bli...
This paper addresses the decomposition of proofs as a means of constructingmethods in plan-based aut...
This thesis presents an investigation into the structure of proof in non-standard analysis using pro...
Proof planning is a powerful technique for theorem proving. Proof plans are descriptions of common p...
AbstractKnowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which sw...
In this paper we generalize the notion of method for proofplanning. While we adopt the general struc...
The reasoning power of human-oriented plan-based reasoning systems is primarily derived from their d...
The paper addresses two problems of comprehensible proof presentation, the hierarchically structured...
. The paper addresses comprehensible proof presentation for teaching and learning that can be provid...
Abstract. In this paper we propose how proof planning systems can be extended by an automated learni...
It has long become a general consensus in the field of natural language generation that the whole gen...
AbstractWe present a framework for describing proof planners. This framework is based around a decom...
Abstract. Proof planning is an approach to the automation of theorem proving in which search is cond...
AbstractWe describebarnacle: a co-operative interface to theclaminductive theorem proving system. Fo...
The structured programming literature provides methods and a wealth of heuristic knowledge for guid...
AbstractProof planning is a technique for theorem proving which replaces the ultra-efficient but bli...
This paper addresses the decomposition of proofs as a means of constructingmethods in plan-based aut...
This thesis presents an investigation into the structure of proof in non-standard analysis using pro...
Proof planning is a powerful technique for theorem proving. Proof plans are descriptions of common p...
AbstractKnowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which sw...
In this paper we generalize the notion of method for proofplanning. While we adopt the general struc...
The reasoning power of human-oriented plan-based reasoning systems is primarily derived from their d...