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
Proof Development with OMEGA.

, , , , , , , , , , , , , , , , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 144-149. Springer, (2002)

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

Argumentation within deductive reasoning., and . Int. J. Intell. Syst., 22 (1): 49-70 (2007)Interpreting semi-formal utterances in dialogs about mathematical proofs., and . Data Knowl. Eng., 58 (1): 90-106 (2006)Die Bedeutung kognitionswissenschaftlicher Erkenntnisse für die automatische Sprachgenerierung., , , , and . KI, page 198-205. Springer, (1993)Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles.. Int. J. Hum.-Comput. Stud., 53 (6): 1117-1146 (2000)Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling., , , , and . Resource-Adaptive Cognitive Processes, Springer, (2011)A New Algorithm For Generating Referential Descriptions.. ECAI, page 577-581. John Wiley and Sons, Chichester, (1996)Towards Finding The Reasons Behind - Generating The Content Of Explanation.. GWAI, volume 285 of Informatik-Fachberichte, page 96-105. Springer, (1991)How to Say WHAT - IT or SOMETHING?. GWAI, volume 152 of Informatik-Fachberichte, page 320-329. Springer, (1987)A Multi-dimensional Taxonomy for Automating Hinting., , and . Intelligent Tutoring Systems, volume 3220 of Lecture Notes in Computer Science, page 772-781. Springer, (2004)The Role of Goals in Dialog Control., and . ECAI, page 357-362. (1990)