| 2009 |
|---|
| 73 | EE | Roman 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 |
|---|
| 72 | EE | Cristian 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 |
| 71 | EE | Helmut 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 |
| 68 | EE | Armin Fiedler,
Helmut Horacek:
Argumentation within deductive reasoning.
Int. J. Intell. Syst. 22(1): 49-70 (2007) |
| 2006 |
|---|
| 67 | EE | Helmut Horacek,
Magdalena Wolska:
Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators.
ACL 2006 |
| 66 | EE | Jü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 |
| 65 | EE | Helmut Horacek,
Magdalena Wolska:
Handling Errors in Mathematical Formulas.
Intelligent Tutoring Systems 2006: 339-348 |
| 64 | EE | Christoph 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 |
| 63 | EE | Helmut Horacek:
An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing.
NLDB 2006: 129-140 |
| 62 | EE | Helmut 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 |
| 60 | EE | Christoph 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 |
| 59 | EE | Helmut 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 |
| 57 | EE | Helmut 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 |
| 55 | EE | Helmut Horacek:
On Referring to Sets of Objects Naturally.
INLG 2004: 70-79 |
| 54 | EE | Dimitra Tsovaltzi,
Armin Fiedler,
Helmut Horacek:
A Multi-dimensional Taxonomy for Automating Hinting.
Intelligent Tutoring Systems 2004: 772-781 |
| 53 | EE | Helmut Horacek,
Magdalena Wolska:
Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs.
NLDB 2004: 26-38 |
| 52 | EE | Serge 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 |
|---|
| 51 | EE | Helmut Horacek:
A Best-First Search Algorithm for Generating Referring Expressions.
EACL 2003: 103-106 |
| 50 | EE | Helmut Horacek:
Presenting Sets of Problem Solutions Concisely.
KI 2003: 239-253 |
| 2002 |
|---|
| 49 | EE | Jö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 |
| 48 | EE | Helmut Horacek:
Varying Cardinality in Metonymic Extensions to Nouns.
COLING 2002 |
| 2001 |
|---|
| 47 | EE | Armin 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 |
| 43 | EE | Helmut Horacek:
Presenting Mathematical Concepts as an Example for Inference-Rich Domains.
NLDB 2000: 301-312 |
| 42 | EE | Helmut Horacek:
Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles.
Int. J. Hum.-Comput. Stud. 53(6): 1117-1146 (2000) |
| 1999 |
|---|
| 41 | EE | Helmut Horacek:
Presenting Proofs in a Human-Oriented Way.
CADE 1999: 142-156 |
| 40 | EE | Jö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 |
| 36 | EE | Stephan 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 |
| 33 | EE | Helmut 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 |
| 31 | EE | Helmut 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 |
| 23 | EE | Helmut 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 |
| 20 | EE | Hermann 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 |
|---|
| 19 | EE | Russell 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) |
| 15 | EE | Helmut 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 |
| 12 | EE | Michael 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 |
