dblp.uni-trier.dewww.uni-trier.de

Helmut Horacek Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
73EERoman Popp, Jürgen Falb, Edin Arnautovic, Hermann Kaindl, Sevan Kavaldjian, Dominik Ertl, Helmut Horacek, Cristian Bogdan: Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model. HICSS 2009: 1-10
2008
72EECristian Bogdan, Jürgen Falb, Hermann Kaindl, Sevan Kavaldjian, Roman Popp, Helmut Horacek, Edin Arnautovic, Alexander Szep: Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication. HICSS 2008: 36
71EEHelmut Horacek: Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems. NLDB 2008: 271-286
2007
70 Helmut Horacek, Magdalena Wolska: Generating Responses to Formally Flawed Problem-Solving Statements. AIED 2007: 17-24
69 Helmut Horacek: How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations. ExaCt 2007: 34-41
68EEArmin Fiedler, Helmut Horacek: Argumentation within deductive reasoning. Int. J. Intell. Syst. 22(1): 49-70 (2007)
2006
67EEHelmut Horacek, Magdalena Wolska: Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators. ACL 2006
66EEJürgen Falb, Hermann Kaindl, Helmut Horacek, Cristian Bogdan, Roman Popp, Edin Arnautovic: A discourse model for interaction design based on theories of human communication. CHI Extended Abstracts 2006: 754-759
65EEHelmut Horacek, Magdalena Wolska: Handling Errors in Mathematical Formulas. Intelligent Tutoring Systems 2006: 339-348
64EEChristoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska: DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI 2006: 159-173
63EEHelmut Horacek: An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing. NLDB 2006: 129-140
62EEHelmut Horacek, Magdalena Wolska: Interpreting semi-formal utterances in dialogs about mathematical proofs. Data Knowl. Eng. 58(1): 90-106 (2006)
2005
61 Helmut Horacek, Magdalena Wolska: Fault-Tolerant Interpretation of Mathematical Formulas in Context. AIED 2005: 827-829
60EEChristoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska: Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems 2005: 1-14
59EEHelmut Horacek, Magdalena Wolska: Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. IJCAI 2005: 1688-1691
58 Helmut Horacek: Automated Analysis of Reasoning and Argumentation Structures in Texts. JURIX 2005: 69
57EEHelmut Horacek, Magdalena Wolska: Interpretation of Implicit Parallel Structures. A Case Study with "vice-versa". NLDB 2005: 215-226
2004
56 Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler: Building Hint Specifications in an NL Tutorial System for Mathematics. FLAIRS Conference 2004
55EEHelmut Horacek: On Referring to Sets of Objects Naturally. INLG 2004: 70-79
54EEDimitra Tsovaltzi, Armin Fiedler, Helmut Horacek: A Multi-dimensional Taxonomy for Automating Hinting. Intelligent Tutoring Systems 2004: 772-781
53EEHelmut Horacek, Magdalena Wolska: Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. NLDB 2004: 26-38
52EESerge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo: Assertion-level Proof Representation with Under-Specification. Electr. Notes Theor. Comput. Sci. 93: 5-23 (2004)
2003
51EEHelmut Horacek: A Best-First Search Algorithm for Generating Referring Expressions. EACL 2003: 103-106
50EEHelmut Horacek: Presenting Sets of Problem Solutions Concisely. KI 2003: 239-253
2002
49EEJörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer: Proof Development with OMEGA. CADE 2002: 144-149
48EEHelmut Horacek: Varying Cardinality in Metonymic Extensions to Nouns. COLING 2002
2001
47EEArmin Fiedler, Helmut Horacek: Argumentation in Explanations to Logical Problems. International Conference on Computational Science (1) 2001: 969-978
46 Helmut Horacek: An Approach to Building Domain Models Interactively. NLDB 2001: 7-16
45 Helmut Horacek: Building Natural Language Generation Systems - Ehud Reiter and Robert Dale (Eds.), University of Aberdeen and Macquarie University, Cambridge University Press, 2000, ISBN 0-521-62036-8. Artificial Intelligence in Medicine 22(3): 277-280 (2001)
2000
44 Helmut Horacek: Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation. ECAI 2000: 604-608
43EEHelmut Horacek: Presenting Mathematical Concepts as an Example for Inference-Rich Domains. NLDB 2000: 301-312
42EEHelmut Horacek: Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles. Int. J. Hum.-Comput. Stud. 53(6): 1117-1146 (2000)
1999
41EEHelmut Horacek: Presenting Proofs in a Human-Oriented Way. CADE 1999: 142-156
40EEJörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge: L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
39 Detlef Fehrer, Helmut Horacek: Presenting Inequations in Mathematical Proofs. Inf. Sci. 116(1): 3-23 (1999)
1998
38 Helmut Horacek: Generating Inference-Rich Discourse Through Revisions of RST-Trees. AAAI/IAAI 1998: 814-820
37 Helmut Horacek, Stephan Busemann: Towards a Methodology for Developing Application-Oriented Report Generation. KI 1998: 189-200
36EEStephan Busemann, Helmut Horacek: A Flexible Shallow Approach to Text Generation CoRR cs.CL/9812018: (1998)
1997
35 Helmut Horacek: An Algorithm for Generating Referential Descriptions with Flexible Interfaces. ACL 1997: 206-213
34 Detlef Fehrer, Helmut Horacek: Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. IJCAI (2) 1997: 959-964
33EEHelmut Horacek: A Model for Adapting Explanations to the User's Likely Inferences. User Model. User-Adapt. Interact. 7(1): 1-55 (1997)
1996
32 Helmut Horacek: A New Algorithm For Generating Referential Descriptions. ECAI 1996: 577-581
31EEHelmut Horacek: On expressing metonymic relations in multiple languages. Machine Translation 11(1-3): 109-158 (1996)
1994
30 Helmut Horacek: How to Avoid Explaining Obvious Things (Without Omitting Central Information) ECAI 1994: 520-524
1993
29 Koenraad De Smedt, Helmut Horacek, Michael Zock: Architectures for Natural Language Generation: Problems and Perspectives. EWNLG 1993: 17-46
28 Michael Herweg, Wolfgang Hoeppner, Helmut Horacek, Jutta Kreyß, Hans-Joachim Novak: Die Bedeutung kognitionswissenschaftlicher Erkenntnisse für die automatische Sprachgenerierung. KI 1993: 198-205
27 Helmut Horacek: Sprachgenerierung: Planungsverfahren und Architekturmodelle. KI 7(2): 8-13 (1993)
1992
26 Helmut Horacek: Explanations for Constraint Systems. ECAI 1992: 500-504
25 Helmut Horacek: An Integrated View of Text Planning. NLG 1992: 29-44
1991
24 Helmut Horacek: A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction. ÖGAI 1991: 37-41
23EEHelmut Horacek: Exploiting Conversational Implicature For Generating Concise Explanations. EACL 1991: 191-193
22 Helmut Horacek: Towards Finding The Reasons Behind - Generating The Content Of Explanation. GWAI 1991: 96-105
21 Reza Shams, Hermann Kaindl, Helmut Horacek: Using Aspiration Windows for Minimax Algorithms. IJCAI 1991: 192-197
20EEHermann Kaindl, Reza Shams, Helmut Horacek: Minimax Search Algorithms With and Without Aspiration Windows. IEEE Trans. Pattern Anal. Mach. Intell. 13(12): 1225-1235 (1991)
1990
19EERussell Block, Helmut Horacek: Generating Referring Expressions Using Multiple Knowledge Sources. COLING 1990: 24-29
18 Helmut Horacek, Michael Gerlach: The Role of Goals in Dialog Control. ECAI 1990: 357-362
17 Helmut Horacek: Some Useful Search Techniques for Natural Language Generation. GWAI 1990: 236-245
16 Helmut Horacek: Reasoning with Uncertainty in Computer Chess. Artif. Intell. 43(1): 37-56 (1990)
15EEHelmut Horacek: WISBER. Wissensbasierter Beratungskatalog. LDV Forum 7(1/2): 15-22 (1990)
1989
14 Helmut Horacek, Hermann Kaindl: An Outline of a New Algorithm for Game Tree Search. ÖGAI 1989: 171-176
13 Helmut Horacek: Begriffsbildung/modellierung. ÖGAI 1989: 260
12EEMichael Gerlach, Helmut Horacek: Dialog Control in a Natural Language System. EACL 1989: 27-34
11 Helmut Horacek: Towards Principles of Ontology. GWAI 1989: 323-330
1988
10 Helmut Horacek, Claudius Pyka: Anwendbarkeit von Unifikationsgrammatiken für effizientes Generieren. ÖGAI 1988: 171-177
9 Helmut Horacek, Henning Bergmann, Russel Block, Michael Fliegner, Michael Gerlach, Massimo Poesio, Michael Sprenger: From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing. GWAI 1988: 118-129
8 Helmut Horacek, Claudius Pyka: Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. GWAI 1988: 130-139
1987
7 Helmut Horacek, Hermann Kaindl, Marcus Wagner: Probabilities in Game-Playing: Possible Meanings and Applications. ÖGAI 1987: 12-23
6 Helmut Horacek: How to Say WHAT - IT or SOMETHING? GWAI 1987: 320-329
5 Helmut Horacek: Choice of words in the generation process of a natural language interface. Applied Artificial Intelligence 1(2): 117-132 (1987)
1986
4 Helmut Horacek: The Choice of Words in the Generation Process of a Natural Language Interface. GWAI 1986: 101-112
3 Helmut Horacek, Hermann Kaindl, Marcus Wagner: Decision Making in Unclear Situations. GWAI 1986: 17-27
1985
2 Helmut Horacek: A Heuristic Model for Treatment of Vague Time Descriptions. ÖGAI 1985: 56-64
1983
1 Helmut Horacek: Zur Generierung zusammenhängender Texte. GWAI 1983: 108-117

Coauthor Index

1Edin Arnautovic [66] [72] [73]
2Serge Autexier [52]
3Christoph Benzmüller (Christoph Benzmueller) [40] [49] [52] [60] [64]
4Henning Bergmann [9]
5Russel Block [9]
6Russell Block [19]
7Cristian Bogdan [66] [72] [73]
8Vladimir Brezhnev [49]
9Stephan Busemann [36] [37]
10Lassaad Cheikhrouhou [40] [49]
11Dominik Ertl [73]
12Jürgen Falb [66] [72] [73]
13Detlef Fehrer [34] [39]
14Armin Fiedler [40] [47] [49] [52] [54] [56] [68]
15Michael Fliegner [9]
16Andreas Franke [49]
17Michael Gerlach [9] [12] [18]
18Michael Herweg [28]
19Stephan M. Hess [40]
20Wolfgang Hoeppner [28]
21Hermann Kaindl [3] [7] [14] [20] [21] [66] [72] [73]
22Sevan Kavaldjian [72] [73]
23Michael Kohlhase [40] [49]
24Karsten Konrad [40]
25Jutta Kreyß [28]
26Ivana Kruijff-Korbayová [60] [64]
27Henri Lesourd [64]
28Andreas Meier [40] [49]
29Erica Melis [40] [49]
30Markus Moschner [49]
31Immanuel Normann [49]
32Hans-Joachim Novak [28]
33Manfred Pinkal [60]
34Massimo Poesio [9]
35Martin Pollet [40] [49]
36Roman Popp [66] [72] [73]
37Claudius Pyka [8] [10]
38Marvin Schiller [64]
39Reza Shams [20] [21]
40Jörg H. Siekmann [40] [49] [60]
41Koenraad De Smedt [29]
42Volker Sorge [40] [49]
43Michael Sprenger [9]
44Alexander Szep [72]
45Dimitra Tsovaltzi [54] [56]
46Carsten Ullrich [49]
47Quoc Bao Vo [52]
48Marcus Wagner [3] [7]
49Claus-Peter Wirth [49]
50Magdalena Wolska [53] [57] [59] [60] [61] [62] [64] [65] [67] [70]
51Jürgen Zimmer [49]
52Michael Zock [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)