Assertion-Level Proof Representation With Under-Specification* 1 (original) (raw)
2004, Electronic Notes in …
We propose a proof representation format for human-oriented proofs at the assertion level with underspecification. This work aims at providing a possible solution to challenging phenomena worked out in empirical studies in the DIALOG project at Saarland University. A particular challenge in this project is to bridge the gap between the human-oriented proof representation format with under-specification used in the proof manager of the tutorial dialogue system and the calculus-and machine-oriented representation format of the domain reasoner.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.