Natural Language Proof Explanation-Reference-Cited by-同舟云学术

Natural Language Proof Explanation

Published:2005 Issue: Volume: Page:342-363
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Fiedler Armin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-32254-2_20

Reference44 articles.

1. Anderson, J.R., Lebiere, C.: The Atomic Components of Thought. Lawrence Erlbaum, Mahwah (1998)

2. Andrews, P.B.: Transforming matings into natural deduction proofs. In: Proceedings of the 5th International Conference on Automated Deduction, pp. 281–292. Springer, Heidelberg (1980)

3. Benzmüller, C., Cheikhrouhou, L., Fehrer, D., Fiedler, A., Huang, X., Kerber, M., Kohlhase, M., Konrad, K., Melis, E., Meier, A., Schaarschmidt, W., Siekmann, J., Sorge, V.: Ωmega: Towards a mathematical assistant. In: McCune [31], pp. 252–255

4. Buchberger, B.: Natural language proofs in nested cells representation. In: Siekmann, J., Pfenning, F., Huang, X. (eds.) Proceedings of the First International Workshop on Proof Transformation and Presentation, pp. 15–16. Schloss Dagstuhl, Germany (1997)

5. Lecture Notes in Computer Science;A. Bundy,1990

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evonne: Interactive Proof Visualization for Description Logics (System Description);Automated Reasoning;2022

2. Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures;Automated Deduction – CADE 28;2021

3. Typeful Ontologies with Direct Multilingual Verbalization;Lecture Notes in Computer Science;2012

4. References;The Handbook of Computational Linguistics and Natural Language Processing;2010-06-29

5. Explanation in the DL-Lite Family of Description Logics;On the Move to Meaningful Internet Systems: OTM 2008;2008