Assertion-level proof representation with under-specification (2003)
Cached
Download Links
- [www.ags.uni-sb.de]
- [goanna.cs.rmit.edu.au]
- DBLP
Other Repositories/Bibliography
| Citations: | 14 - 7 self |
BibTeX
@INPROCEEDINGS{Autexier03assertion-levelproof,
author = {Serge Autexier and Christoph Benzmüller and Armin Fiedler and Helmut Horacek and Bao Quoc Vo},
title = {Assertion-level proof representation with under-specification},
booktitle = {},
year = {2003},
pages = {5--23}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
