#### Filter Results:

- Full text PDF available (45)

#### Publication Year

1987

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- John Harrison, Konrad Slind, +13 authors Jörg Siekmann

- Vladimir Brezhnev, Lassaad Cheikhrouhou, +10 authors Markus Mos hner
- 2002

- Magdalena Wolska, Quoc Bao Vo, +5 authors Christoph Benzmüller
- LREC
- 2004

Our goal is to develop a flexible dialog system for tutoring mathematical problem solving. Empirical findings in the area of intelligent tutoring show that flexible natural language dialog supports active learning. Therefore, we focus on the development of solutions allowing flexible dialog. However, little is known about the use of natural language in… (More)

- Armin Fiedler
- IJCAI
- 2001

In order to generate high quality explanations in mathematical domains, the presentation must be adapted to the knowledge of the intended audience. Most proof presentation systems only communicate proofs on a fixed degree of abstraction independently of the addressee's knowledge. In this paper , we shall present the proof explanation system P.rex. Based on… (More)

Despite empirical evidence that natural language dialog capabilities are necessary for the success of tutorial sessions, only few state-of-the-art tutoring systems use natural-language style interaction. Since domain knowledge, tutoring and pedagogical knowledge, and dialog management are tightly intertwined , the modeling and integration of proper natural… (More)

- Lassaad Cheikhrouhou, Detlef Fehrer, +8 authors Volker Sorge
- 1997

mega is a mixed-initiative system with the ultimate purpose of supporting theorem proving in mainstream mathematics and mathematics education. The current system consists of a proof planner and an integrated collection of tools for formulating problems, proving subproblems, and proof presentation.

- Xiaorong Huang, Armin Fiedler
- IJCAI
- 1997

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating… (More)

- Christoph Benzmüller, Armin Fiedler, +5 authors Magdalena Wolska
- 2003

The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis of a corpus of dialogs we collected with a simulated… (More)

- Christoph Benzmüller, Lassaad Cheikhrouhou, +10 authors Volker Sorge
- CADE
- 1997

- Jörg H. Siekmann, Christoph Benzmüller, +14 authors Jürgen Zimmer
- CADE
- 2002

The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. Ωmega is a mathematical assistant tool that supports proof development in mathematical domains at a user-friendly level of abstraction. It is a modular system with a central data structure and several complementary… (More)