|
3
|
A multi-modi Proof Planner
– Lassaad Cheikhrouhou
- 1998
|
|
6
|
Proof Planning: A Practical Approach To Mechanized Reasoning In Mathematics
– Manfred Kerber
- 1998
|
|
28
|
PDS -- A Three-Dimensional Data Structure for Proof Plans
– Lassaad Cheikhrouhou, Volker Sorge
- 2000
|
|
12
|
Planning Diagonalization Proofs
– Lassaad Cheikhrouhou
- 1997
|
|
2
|
Proving Ground Completeness of Resolution by Proof Planning
– Manfred Kerber, Arthur Christian Sehn
- 1997
|
|
|
The Diagonalization Method In Automatic Proof
– Jeremy Gow, Toby Walsh
- 1997
|
|
3
|
Adapting the Diagonalization Method by Reformulations
– Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik
- 1995
|
|
1
|
Lessons From Experience: Making Theorem Provers More Co-operative
– Helen Lowe, Andrew Cumming, Michael Smyth, Alison Varey
- 1996
|
|
3
|
ΩMEGA: Computer supported mathematics
– Jörg Siekmann, Christoph Benzmüller
- 2004
|
|
4
|
Adaptation of Declaratively Represented Methods in Proof Planning
– Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
- 1995
|
|
3
|
Towards Concurrent Resource Managed Deduction
– Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
- 1999
|
|
1
|
Towards computer-assisted proof tutoring
– Marvin Schiller, Dominik Dietrich, Christoph Benzmüller
|
|
|
From Justifications to Proofs for Entailments in OWL
– Matthew Horridge, Bijan Parsia, Ulrike Sattler
|
|
4
|
Interactive proof construction at the task level
– Malte Hübner, Christoph Benzmüller, Serge Autexier, Andreas Meier
- 2003
|
|
10
|
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level
– Xiaorong Huang
- 1996
|
|
10
|
A Calculus Supporting Structured Proofs
– Bernd I. Dahn, Andreas Wolf
|
|
42
|
Proof Verbalization as an Application of NLG
– Xiaorong Huang, Armin Fiedler
- 1997
|
|
23
|
Presenting Machine-Found Proofs
– Xiaorong Huang, Armin Fiedler
- 1996
|
|
21
|
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic
– Andreas Abel, Bor-Yuh Evan Chang, Frank Pfenning
- 2001
|
