Natural Language Dialog with a Tutor System for Mathematical Proofs

, , , , &
In Ruqian Lu, Jörg Siekmann & Carsten Ullrich (eds.), Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Springer. pp. 1-14 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783540709336

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Empirical Results for the Use of Meta-language in Dialog Management.Michael L. Anderson & Bryant Lee - unknown
Defeasible reasoning and informal fallacies.Douglas Walton - 2011 - Synthese 179 (3):377 - 407.
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Programs for Structured Proofs.Lee Harrison Blaine - 1980 - Dissertation, Stanford University
Quotations and Presumptions: Dialogical Effects of Misquotations.Douglas Walton & Fabrizio Macagno - 2011 - Informal Logic 31 (1):27-55.
Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Proof and canonical proof.Bernhard Weiss - 1997 - Synthese 113 (2):265-284.
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Program Extraction from Normalization Proofs.Ulrich Berger, Stefan Berghofer, Pierre Letouzey & Helmut Schwichtenberg - 2006 - Studia Logica 82 (1):25-49.
Der geregelte Dialog. Der Satz vom ausgeschlossenen Dritten und ein Dialog über Ihn.Lech Ostasz - 1988 - Philosophica 41.
A Year of Teaching with Dialog.Peter Suber - unknown
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont.Vasilyi Shangin & Alexander Bolotov - 2012 - Journal of Intelligent Systems 21 (1):1-24.

Analytics

Added to PP
2017-12-04

Downloads
14 (#990,327)

6 months
4 (#790,339)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

Add more citations

References found in this work

No references found.

Add more references