Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

DIALOG: Tutorial Dialog with an Assistance System for Mathematics.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2004
DIALOG: Natural Language-based Interaction with a Mathematics Assistance System.Pinkal Manfred, Siekmann Jörg, Benzmüller Christoph & Kruijff-Korbayova Ivana - 2004
Natural Language Dialog with a Tutor System for Mathematical Proofs.Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann & Magdalena Wolska - 2007 - 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.
Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity.Marvin Schiller, Dominik Dietrich & Christoph Benzmüller - 2008 - Teaching Mathematics and Computer Science 6 (2):325-343.
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.Benzmüller Christoph, Schiller Marvin & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 291-311.
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor.Autexier Serge, Benzmüller Christoph, Fiedler Armin & Lesourd Henri - 2005
Defeasible reasoning and informal fallacies.Douglas Walton - 2011 - Synthese 179 (3):377 - 407.
Empirical Results for the Use of Meta-language in Dialog Management.Michael L. Anderson & Bryant Lee - unknown
System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs.Buckley Mark & Benzmüller Christoph - 2005
Quotations and Presumptions: Dialogical Effects of Misquotations.Douglas Walton & Fabrizio Macagno - 2011 - Informal Logic 31 (1):27-55.
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
Punishment (an introductory Socratic dialogue).Brent Silby - manuscript
Etyka a dialog (A. Wellmer, \"Ethik und Dialog. Elemente des moralischen Urteils bei Kantf und in der Diskursethik. Suhrkamp\", Frankfurt am Main 1986). [REVIEW]Andrzej M. Kaniowski - 1989 - Studia Filozoficzne 283 (6).
Argumentation and Explanation in Conceptual Change: Indications From Protocol Analyses of Peer‐to‐Peer Dialog.Christa S. C. Asterhan & Baruch B. Schwarz - 2009 - Cognitive Science 33 (3):374-400.

Analytics

Added to PP
2017-12-04

Downloads
3 (#1,686,544)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Interpretation as abduction.Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt & Paul Martin - 1993 - Artificial Intelligence 63 (1-2):69-142.
Resolving questions, I.Jonathan Ginzburg - 1995 - Linguistics and Philosophy 18 (5):459 - 527.
Collaborative plans for complex group action.Barbara J. Grosz & Sarit Kraus - 1996 - Artificial Intelligence 86 (2):269-357.
Edinburgh LCF: a mechanised logic of computation.Michael J. C. Gordon - 1979 - New York: Springer Verlag. Edited by R. Milner & Christopher P. Wadsworth.

View all 8 references / Add more references