PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Horacek, Helmut"

Author of the publication

copydeleteadd this publication to your clipboard
L<Omega>UI: Lovely <Omega>MEGA User Interface.

, , , , , , , , , , , and . Formal Asp. Comput., 11 (3): 326-342 (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hon. -Prof. Dr. -Ing. Helmut Lotz University of Stuttgart

Prof. Dr. Helmut Bertagnolli University of Stuttgart

Dr. Helmut Haas University of Stuttgart

Univ. -Prof. Dr. -Ing. Helmut Bott University of Stuttgart

Univ. -Prof. Dr. -Ing. Helmut Seifert University of Stuttgart

 

Other publications of authors with the same name

Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling., , , , and . Resource-Adaptive Cognitive Processes, Springer, (2011)Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles.. Int. J. Hum.-Comput. Stud., 53 (6): 1117-1146 (2000)Die Bedeutung kognitionswissenschaftlicher Erkenntnisse für die automatische Sprachgenerierung., , , , and . KI, page 198-205. Springer, (1993)Interpreting semi-formal utterances in dialogs about mathematical proofs., and . Data Knowl. Eng., 58 (1): 90-106 (2006)Argumentation within deductive reasoning., and . Int. J. Intell. Syst., 22 (1): 49-70 (2007)Towards Finding The Reasons Behind - Generating The Content Of Explanation.. GWAI, volume 285 of Informatik-Fachberichte, page 96-105. Springer, (1991)A New Algorithm For Generating Referential Descriptions.. ECAI, page 577-581. John Wiley and Sons, Chichester, (1996)How to Say WHAT - IT or SOMETHING?. GWAI, volume 152 of Informatik-Fachberichte, page 320-329. Springer, (1987)L<Omega>UI: Lovely <Omega>MEGA User Interface., , , , , , , , , and 2 other author(s). Formal Asp. Comput., 11 (3): 326-342 (1999)A High-Level Categorization of Explanation A Case Study with a Tutoring System.. ExaCt, page 84-95. (2008)