Suche
Kategorie
JGU Mainz (85458)
HS Koblenz (5530)
5530 Treffer
×
Hochschule Koblenz
- Fiedler, Armin; Horacek, Helmut
- Argumentation within deductive reasoning.
- Int. J. Intell. Syst. Bd. 22. H. 1. New York: Wiley 2007 S. 49 - 70
- Fiedler, Armin; Horacek, Helmut
- Argumentation in Explanations to Logical Problems.
- International Conference on Computational Science (1). Berlin: Springer 2001 S. 969 - 978 (Lecture notes in computer science ; 2073)
- Fiedler, Armin; Tsovaltzi, Dimitra
- Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting.
- AIED. Amsterdam: IOS Press 2005 S. 801 - 803
- Huang, Xiaorong; Fiedler, Armin
- Presenting Machine-Found Proofs.
- McRobbie, Michael A. (Hrsg). CADE. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)
- Huang, Xiaorong; Fiedler, Armin
- Proof Verbalization as an Application of NLG.
- IJCAI (2). San Francisco, Calif.: Morgan Kaufmann 1997 S. 965 - 972
- Huang, Xiaorong; Fiedler, Armin
- Paraphrasing and Aggregating Argumentative Texts Using Text Structure.
- INLG (1). o.A. 1996 S. 21 - 30
- H. Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir et al.
- Proof Development with OMEGA.
- Voronkov, Andrei (Hrsg). CADE. Berlin: Springer 2002 S. 144 - 149 (Lecture Notes in Computer Science ; 2392)
- H. Siekmann, Jörg; M. Hess, Stephan; Benzmüller, Christoph et al.
- <Omega>: ovely <Omega>MEGA ser nterface.
- Formal Aspects Comput. Bd. 11. H. 3. London: Springer 1999 S. 326 - 342
- H. Siekmann, Jörg; Benzmüller, Christoph; Fiedler, Armin et al.
- Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
- Baaz, Matthias; Voronkov, Andrei (Hrsg). LPAR. Berlin: Springer 2002 S. 367 - 387 (Lecture Notes in Computer Science ; 2514)
- Tsovaltzi, Dimitra; Horacek, Helmut; Fiedler, Armin
- Building Hint Specifications in an NL Tutorial System for Mathematics.
- Barr, Valerie; Markov, Zdravko (Hrsg). FLAIRS. Menlo Park, Calif.: AAAI Press 2004 S. 929 - 934