MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Armin Fiedler" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

34 documents found, showing 1 through 10. Next 10 →

ATOM

Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs
by Armin Fiedler — 1998 — In Proceedings of the 9th International Workshop on Natural Language Generation
…Macroplanning with a Cognitive Architecture for the Adaptive Explanation of Proofs Armin Fiedler…
Cited by 5 (1 self) – Add To MetaCart

Towards a Proof Explainer
by Armin Fiedler, Armin Fiedler — 1997
…://jswww.cs.uni-sb.de/ OMEGA Publication Towards a Proof Explainer Armin Fiedler Internet Copy Published as: Proceedings…
Cited by 3 (0 self) – Add To MetaCart

Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs
by Armin Fiedler — 1999 — Proceedings IJCAI-99
…Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs Armin…
Cited by 12 (1 self) – Add To MetaCart

P.rex: An Interactive Proof Explainer
by Armin Fiedler — 2001 — Automated Reasoning — 1st International Joint Conference, IJCAR 2001, number 2083 in LNAI
…P.rex : An Interactive Proof Explainer Armin Fiedler Universitat des Saarlandes, FR Informatik…
Cited by 22 (1 self) – Add To MetaCart

Dialog-driven Adaptation of Explanations of Proofs
by Armin Fiedler — 2001 — Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI
…Dialog-driven Adaptation of Explanations of Proofs Armin Fiedler Universitat des Saarlandes, FR…
Cited by 13 (5 self) – Add To MetaCart

Aggregation in the Generation of Argumentative Texts
by Armin Fiedler, Armin Fiedler, Xiaorong Huang, Xiaorong Huang — 1995
…://js-sfbsun.cs.uni-sb.de/pub/www/ Aggregation in the Generation of Argumentative Texts Armin Fiedler and Xiaorong Huang Published as: Proc…
Cited by 2 (0 self) – Add To MetaCart

Generating Multilingual Proofs
by Xiaorong Huang, Xiaorong Huang, Armin Fiedler, Armin Fiedler — 1995
…://js-sfbsun.cs.uni-sb.de/pub/www/ Generating Multilingual Proofs Xiaorong Huang and Armin Fiedler Published as: Proc. of IJCAI-95 Workshop…
Cited by 2 (1 self) – Add To MetaCart

An approach to facilitating reflection in a mathematics tutoring system
by Dimitra Tsovaltzi, Armin Fiedler — 2003 — In Proceedings of AIED Workshop on Learner Modelling for Reflection
… Department of Computational Linguistics Saarland University dimitra@(email omitted); 1 Introduction Armin…
Cited by 11 (9 self) – Add To MetaCart

Textbook proofs meet formal logic - the problem of underspecification and granularity
by Serge Autexier, Armin Fiedler — 2006 — Proceedings of MKM’05, volume 3863 of LNAI, IUB
… Autexier and Armin Fiedler Saarland University & German Research Centre for Artificial Intelligence (DFKI…
Cited by 2 (2 self) – Add To MetaCart

Presenting Machine-Found Proofs
by Xiaorong Huang, Xiaorong Huang, Armin Fiedler, Armin Fiedler — 1996 — Proceedings CADE-13, LNAI 1104
…://jswww.cs.uni-sb.de/pub/seki/ Presenting Machine-Found Proofs Xiaorong Huang and Armin Fiedler Published as: Proc. of 13th International…
Cited by 23 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB