P.rex: An interactive proof explainer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2083 LNAI, Issue , 2001, Pages 416-420

  Fiedler, Armin ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS; SEMANTICS;

EXPLANATION SYSTEMS; GENERIC SYSTEM; INTERACTIVE PROOFS; THEOREM PROVERS;

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY;

EID: 84867833191     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_33     Document Type: Conference Paper

References (10)

1. John R. Anderson and Christian Lebiere. The Atomic Components of Thought. Lawrence Erlbaum, 1998.
2. C. Benzmüller, et al. Ωmega: Towards a mathematical assistant. In William McCune, ed., Proc. of the 14th Conference on Automated Deduction, number 1249 in LNAI, pages 252-255, Townsville, Australia, 1997. Springer Verlag.
3. Thierry Coquand and Gérard Huet. The Calculus of Constructions. Information and Computation, 76(2/3):95-120, 1988.
4. Armin Fiedler. Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs. In Thomas Dean, ed., Proc. of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pages 358-363, Stockholm, Sweden, 1999. Morgan Kaufmann.
5. Armin Fiedler. Dialog-driven adaptation of explanations of proofs. In Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, 2001. In press.
6. Armin Fiedler. User adaptive proof explanation. PhD thesis, University of the Saarland, Saarbrücken, Germany, 2001. In preparation.
7. Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. Journal of the Association for Computing Machinery, 40(1):143-184, 1993.
8. Xiaorong Huang and Armin Fiedler. Proof verbalization as an application of NLG. In Martha E. Pollack, ed., Proc. of the 15th International Joint Conference on Artificial Intelligence (IJCAI), pages 965-970, Nagoya, Japan, 1997. Morgan Kaufmann.
9. Anne Kilger and Wolfgang Finkler. Incremental generation for real-time applications. Research Report RR-95-11, DFKI, Saarbrücken, Germany, July 1995.
10. Frank Pfenning and Carsten Schürmann. System description: Twelf - a meta-logical framework for deductive systems. In Harald Ganzinger, ed., Proc. of the 16th Conference on Automated Deduction, number 1632 in LNAI, pages 202-206. Springer Verlag, 1999.