Assertion-level Proof Representation with Under-Specification | Zendy

Serge Autexier | Zendy; Christoph Benzmüller | Zendy; Armin Fiedler | Zendy; Helmut Horacek | Zendy; Vo Nguyen Quoc Bao | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Assertion-level Proof Representation with Under-Specification

Author(s) -

Serge Autexier,

Christoph Benzmüller,

Armin Fiedler,

Helmut Horacek,

Vo Nguyen Quoc Bao

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.12.026

Subject(s) - assertion , mathematical proof , computer science , representation (politics) , dialog box , programming language , domain (mathematical analysis) , algebraic specification , theoretical computer science , formal specification , mathematics , world wide web , mathematical analysis , geometry , politics , political science , law

We propose a proof representation format for human-oriented proofs at the assertion level with under-specification. This work aims at providing a possible solution to challenging phenomena worked out in em-pirical 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research