Helmut Horacek
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [j19]Hermann Kaindl, Helmut Horacek, Anton Scheucher:
Product Propagation: A Backup Rule Better Than Minimaxing? IEEE Trans. Comput. Intellig. and AI in Games 9(2): 109-122 (2017) - [c73]Helmut Horacek:
Proposing Attachment Points in Argument Graphs for New Arguments Expressed in Natural Language. CMNA@ICAIL 2017: 22-26 - 2015
- [c72]Florin Haque, Helmut Horacek:
Generating Referential Descriptions Involving Relations by a Best-First Searching Procedure - A System Demo. ENLG 2015: 114-116 - [c71]Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek:
Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS 2015: 1370-1379 - 2013
- [c70]Helmut Horacek:
Justifying Corpus-Based Choices in Referring Expression Generation. RANLP 2013: 311-318 - 2011
- [p1]Magdalena Wolska, Mark Buckley, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal:
Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling. Resource-Adaptive Cognitive Processes 2011: 267-289 - 2010
- [e1]Helmut Horacek, Elisabeth Métais, Rafael Muñoz, Magdalena Wolska:
Natural Language Processing and Information Systems, 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, Saarbrücken, Germany, June 24-26, 2009. Revised Papers. Lecture Notes in Computer Science 5723, Springer 2010, ISBN 978-3-642-12549-2 [contents]
2000 – 2009
- 2009
- [c69]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 - [c68]Helmut Horacek, Hermann Kaindl:
An Analysis of Decision Quality of Minimaxing vs. Product Propagation. SMC 2009: 2568-2574 - 2008
- [c67]Helmut Horacek:
A High-Level Categorization of Explanation A Case Study with a Tutoring System. ExaCt 2008: 84-95 - [c66]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 - [c65]Helmut Horacek:
Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems. NLDB 2008: 271-286 - 2007
- [j18]Armin Fiedler, Helmut Horacek:
Argumentation within deductive reasoning. Int. J. Intell. Syst. 22(1): 49-70 (2007) - [c64]Helmut Horacek, Magdalena Wolska:
Generating Responses to Formally Flawed Problem-Solving Statements. AIED 2007: 17-24 - [c63]Helmut Horacek:
How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations. ExaCt 2007: 34-41 - 2006
- [j17]Helmut Horacek, Magdalena Wolska:
Interpreting semi-formal utterances in dialogs about mathematical proofs. Data Knowl. Eng. 58(1): 90-106 (2006) - [c62]Helmut Horacek, Magdalena Wolska:
Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators. ACL 2006 - [c61]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 - [c60]
- [c59]Helmut Horacek, Magdalena Wolska:
Handling Errors in Mathematical Formulas. Intelligent Tutoring Systems 2006: 339-348 - [c58]Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin R. G. Schiller, Magdalena Wolska:
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI 2006: 159-173 - [c57]Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayová, Marvin R. G. Schiller, Magdalena Wolska:
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. LREC 2006: 1766-1769 - [c56]Helmut Horacek:
An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing. NLDB 2006: 129-140 - 2005
- [c55]Helmut Horacek, Magdalena Wolska:
Fault-Tolerant Interpretation of Mathematical Formulas in Context. AIED 2005: 827-829 - [c54]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 - [c53]
- [c52]Helmut Horacek, Magdalena Wolska:
Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. IJCAI 2005: 1688-1691 - [c51]Helmut Horacek:
Automated Analysis of Reasoning and Argumentation Structures in Texts. JURIX 2005: 69 - [c50]Helmut Horacek, Magdalena Wolska:
Interpretation of Implicit Parallel Structures. A Case Study with "vice-versa". NLDB 2005: 215-226 - 2004
- [j16]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) - [c49]Helmut Horacek:
A System for Generating Descriptions of Sets of Objects in a Rich variety. COLING 2004 - [c48]Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler:
Building Hint Specifications in an NL Tutorial System for Mathematics. FLAIRS Conference 2004: 929-934 - [c47]
- [c46]Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek:
A Multi-dimensional Taxonomy for Automating Hinting. Intelligent Tutoring Systems 2004: 772-781 - [c45]Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller:
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. LREC 2004 - [c44]Helmut Horacek, Magdalena Wolska:
Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. NLDB 2004: 26-38 - 2003
- [c43]Helmut Horacek:
A Best-First Search Algorithm for Generating Referring Expressions. EACL 2003: 103-106 - [c42]Helmut Horacek:
Handling Dependencies in Reorganizing Content Specifications A Case Study of Case Analysis. ENLG@EACL 2003 - [c41]
- 2002
- [c40]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 - [c39]
- [c38]
- 2001
- [j15]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) - [c37]Armin Fiedler, Helmut Horacek:
Argumentation in Explanations to Logical Problems. International Conference on Computational Science (1) 2001: 969-978 - [c36]
- 2000
- [j14]Helmut Horacek:
Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles. Int. J. Hum.-Comput. Stud. 53(6): 1117-1146 (2000) - [c35]Helmut Horacek:
Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation. ECAI 2000: 604-608 - [c34]Helmut Horacek:
Presenting Mathematical Concepts as an Example for Inference-Rich Domains. NLDB 2000: 301-312
1990 – 1999
- 1999
- [j13]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) - [j12]Detlef Fehrer, Helmut Horacek:
Presenting Inequations in Mathematical Proofs. Inf. Sci. 116(1): 3-23 (1999) - [c33]
- 1998
- [c32]Helmut Horacek:
Generating Inference-Rich Discourse Through Revisions of RST-Trees. AAAI/IAAI 1998: 814-820 - [c31]
- [c30]Helmut Horacek, Stephan Busemann:
Towards a Methodology for Developing Application-Oriented Report Generation. KI 1998: 189-200 - [i1]Stephan Busemann, Helmut Horacek:
A Flexible Shallow Approach to Text Generation. CoRR cs.CL/9812018 (1998) - 1997
- [j11]Helmut Horacek:
A Model for Adapting Explanations to the User's Likely Inferences. User Model. User-Adapt. Interact. 7(1): 1-55 (1997) - [c29]Helmut Horacek:
An Algorithm for Generating Referential Descriptions with Flexible Interfaces. ACL 1997: 206-213 - [c28]Detlef Fehrer, Helmut Horacek:
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. IJCAI (2) 1997: 959-964 - 1996
- [j10]Helmut Horacek:
On expressing metonymic relations in multiple languages. Machine Translation 11(1-3): 109-158 (1996) - [c27]
- 1994
- [c26]Helmut Horacek:
How to Avoid Explaining Obvious Things (Without Omitting Central Information). ECAI 1994: 520-524 - [c25]
- 1993
- [j9]Helmut Horacek:
Computer Chess, its Impact on Artificial Intelligence. ICGA Journal 16(1): 31-36 (1993) - [j8]
- [c24]Koenraad De Smedt, Helmut Horacek, Michael Zock:
Architectures for Natural Language Generation: Problems and Perspectives. EWNLG 1993: 17-46 - [c23]Michael Herweg, Wolfgang Hoeppner, Helmut Horacek, Jutta Kreyß, Hans-Joachim Novak:
Die Bedeutung kognitionswissenschaftlicher Erkenntnisse für die automatische Sprachgenerierung. KI 1993: 198-205 - 1992
- [c22]
- [c21]
- 1991
- [j7]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) - [c20]Helmut Horacek:
Exploiting Conversational Implicature For Generating Concise Explanations. EACL 1991: 191-193 - [c19]Reza Shams, Hermann Kaindl, Helmut Horacek:
Using Aspiration Windows for Minimax Algorithms. IJCAI 1991: 192-197 - [c18]Helmut Horacek:
Towards Finding The Reasons Behind - Generating The Content Of Explanation. GWAI 1991: 96-105 - [c17]Helmut Horacek:
A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction. ÖGAI 1991: 37-41 - 1990
- [j6]
- [j5]
- [c16]Russell Block, Helmut Horacek:
Generating Referring Expressions Using Multiple Knowledge Sources. COLING 1990: 24-29 - [c15]
- [c14]
1980 – 1989
- 1989
- [c13]
- [c12]
- [c11]Helmut Horacek, Hermann Kaindl:
An Outline of a New Algorithm for Game Tree Search. ÖGAI 1989: 171-176 - [c10]
- 1988
- [c9]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 - [c8]Helmut Horacek, Claudius Pyka:
Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. GWAI 1988: 130-139 - [c7]Helmut Horacek, Claudius Pyka:
Anwendbarkeit von Unifikationsgrammatiken für effizientes Generieren. ÖGAI 1988: 171-177 - 1987
- [j4]Helmut Horacek:
Choice of words in the generation process of a natural language interface. Applied Artificial Intelligence 1(2): 117-132 (1987) - [c6]
- [c5]Helmut Horacek, Hermann Kaindl, Marcus Wagner:
Probabilities in Game-Playing: Possible Meanings and Applications. ÖGAI 1987: 12-23 - 1986
- [j3]
- [j2]Hermann Kaindl, Helmut Horacek, Marcus Wagner:
Selective Search Versus Brute Force. ICGA Journal 9(3): 140-145 (1986) - [c4]Helmut Horacek, Hermann Kaindl, Marcus Wagner:
Decision Making in Unclear Situations. GWAI 1986: 17-27 - [c3]Helmut Horacek:
The Choice of Words in the Generation Process of a Natural Language Interface. GWAI 1986: 101-112 - 1985
- [c2]
- 1983
- [j1]Helmut Horacek:
Knowledge-Based Move Selection and Evaluation to Guide the Search in Chess Pawn Endings. ICGA Journal 6(3): 20-37 (1983) - [c1]
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-02-13 23:02 CET by the dblp team