default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHelmut Horacek
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j20]Helmut Horacek, Epaminondas Kapetanios
, Elisabeth Métais, Farid Meziane:
Editorial for VSI:NLDB-saarbruecken-2021. Data Knowl. Eng. 149: 102259 (2024)- 2022
- [j19]Elisabeth Métais, Farid Meziane, Helmut Horacek, Philipp Cimiano:
Preface. Data Knowl. Eng. 138: 101994 (2022) - 2021
- [e3]Elisabeth Métais, Farid Meziane, Helmut Horacek, Epaminondas Kapetanios:
Natural Language Processing and Information Systems - 26th International Conference on Applications of Natural Language to Information Systems, NLDB 2021, Saarbrücken, Germany, June 23-25, 2021, Proceedings. Lecture Notes in Computer Science 12801, Springer 2021, ISBN 978-3-030-80598-2 [contents] - 2020
- [e2]Elisabeth Métais, Farid Meziane, Helmut Horacek, Philipp Cimiano:
Natural Language Processing and Information Systems - 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24-26, 2020, Proceedings. Lecture Notes in Computer Science 12089, Springer 2020, ISBN 978-3-030-51309-2 [contents]
2010 – 2019
- 2017
- [j18]Hermann Kaindl, Helmut Horacek, Anton Scheucher:
Product Propagation: A Backup Rule Better Than Minimaxing? IEEE Trans. Comput. Intell. AI Games 9(2): 109-122 (2017) - [c75]Helmut Horacek:
Proposing Attachment Points in Argument Graphs for New Arguments Expressed in Natural Language. CMNA@ICAIL 2017: 22-26 - 2015
- [c74]Florin Haque, Helmut Horacek:
Generating Referential Descriptions Involving Relations by a Best-First Searching Procedure - A System Demo. ENLG 2015: 114-116 - [c73]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
- [c72]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
- [c71]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 - [c70]Helmut Horacek, Hermann Kaindl:
An Analysis of Decision Quality of Minimaxing vs. Product Propagation. SMC 2009: 2568-2574 - 2008
- [c69]Helmut Horacek:
A High-Level Categorization of Explanation A Case Study with a Tutoring System. ExaCt 2008: 84-95 - [c68]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 - [c67]Helmut Horacek:
Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems. NLDB 2008: 271-286 - 2007
- [j17]Armin Fiedler, Helmut Horacek:
Argumentation within deductive reasoning. Int. J. Intell. Syst. 22(1): 49-70 (2007) - [c66]Helmut Horacek, Magdalena Wolska:
Generating Responses to Formally Flawed Problem-Solving Statements. AIED 2007: 17-24 - [c65]Helmut Horacek:
How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations. ExaCt 2007: 34-41 - 2006
- [j16]Helmut Horacek, Magdalena Wolska:
Interpreting semi-formal utterances in dialogs about mathematical proofs. Data Knowl. Eng. 58(1): 90-106 (2006) - [c64]Helmut Horacek, Magdalena Wolska:
Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators. ACL 2006 - [c63]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 - [c62]Helmut Horacek:
Generating References to Parts of Recursively Structured Objects. INLG 2006: 47-54 - [c61]Helmut Horacek, Magdalena Wolska:
Handling Errors in Mathematical Formulas. Intelligent Tutoring Systems 2006: 339-348 - [c60]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 - [c59]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 - [c58]Helmut Horacek:
An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing. NLDB 2006: 129-140 - 2005
- [c57]Helmut Horacek, Magdalena Wolska:
Fault-Tolerant Interpretation of Mathematical Formulas in Context. AIED 2005: 827-829 - [c56]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 - [c55]Helmut Horacek:
Generating Referential Descriptions Under Conditions of Uncertainty. ENLG 2005 - [c54]Helmut Horacek, Magdalena Wolska:
Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. IJCAI 2005: 1688-1691 - [c53]Helmut Horacek:
Automated Analysis of Reasoning and Argumentation Structures in Texts. JURIX 2005: 69 - [c52]Helmut Horacek, Magdalena Wolska:
Interpretation of Implicit Parallel Structures. A Case Study with "vice-versa". NLDB 2005: 215-226 - [c51]Helmut Horacek, Magdalena Wolska:
A Hybrid Model for Tutorial Dialogs. SIGDIAL Workshop 2005: 190-199 - 2004
- [c50]Helmut Horacek:
A System for Generating Descriptions of Sets of Objects in a Rich variety. COLING 2004 - [c49]Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler:
Building Hint Specifications in an NL Tutorial System for Mathematics. FLAIRS 2004: 929-934 - [c48]Helmut Horacek:
On Referring to Sets of Objects Naturally. INLG 2004: 70-79 - [c47]Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek:
A Multi-dimensional Taxonomy for Automating Hinting. Intelligent Tutoring Systems 2004: 772-781 - [c46]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 - [c45]Helmut Horacek, Magdalena Wolska:
Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. NLDB 2004: 26-38 - 2003
- [c44]Helmut Horacek:
A Best-First Search Algorithm for Generating Referring Expressions. EACL 2003: 103-106 - [c43]Helmut Horacek:
Handling Dependencies in Reorganizing Content Specifications A Case Study of Case Analysis. ENLG@EACL 2003 - [c42]Helmut Horacek:
Presenting Sets of Problem Solutions Concisely. KI 2003: 239-253 - [c41]Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo:
Assertion-level Proof Representation with Under-Specification. MKM Symposium 2003: 5-23 - 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]Helmut Horacek:
Varying Cardinality in Metonymic Extensions to Nouns. COLING 2002 - [c38]Helmut Horacek:
Aggregation with Strong Regularities and Alternatives". INLG 2002: 105-112 - 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. Artif. Intell. 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]Helmut Horacek:
An Approach to Building Domain Models Interactively. NLDB 2001: 7-16 - 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 Aspects Comput. 11(3): 326-342 (1999) - [j12]Detlef Fehrer, Helmut Horacek:
Presenting Inequations in Mathematical Proofs. Inf. Sci. 116(1): 3-23 (1999) - [c33]Helmut Horacek:
Presenting Proofs in a Human-Oriented Way. CADE 1999: 142-156 - 1998
- [c32]Helmut Horacek:
Generating Inference-Rich Discourse Through Revisions of RST-Trees. AAAI/IAAI 1998: 814-820 - [c31]Stephan Busemann, Helmut Horacek:
A Flexible Shallow Approach To Text Generation. INLG 1998 - [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. Mach. Transl. 11(1-3): 109-158 (1996) - [c27]Helmut Horacek:
A New Algorithm For Generating Referential Descriptions. ECAI 1996: 577-581 - 1994
- [c26]Helmut Horacek:
How to Avoid Explaining Obvious Things (Without Omitting Central Information). ECAI 1994: 520-524 - [c25]Helmut Horacek:
Content Selection and Organization as a Process Involving Compromises. INLG 1994 - 1993
- [j9]Helmut Horacek:
Computer Chess, its Impact on Artificial Intelligence. J. Int. Comput. Games Assoc. 16(1): 31-36 (1993) - [j8]Helmut Horacek:
Sprachgenerierung: Planungsverfahren und Architekturmodelle. Künstliche Intell. 7(2): 8-13 (1993) - [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]Helmut Horacek:
Explanations for Constraint Systems. ECAI 1992: 500-504 - [c21]Helmut Horacek:
An Integrated View of Text Planning. NLG 1992: 29-44 - 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]Helmut Horacek:
Reasoning with Uncertainty in Computer Chess. Artif. Intell. 43(1): 37-56 (1990) - [j5]Helmut Horacek:
WISBER. Wissensbasierter Beratungskatalog. LDV Forum 7(1/2): 15-22 (1990) - [c16]Russell Block, Helmut Horacek:
Generating Referring Expressions Using Multiple Knowledge Sources. COLING 1990: 24-29 - [c15]Helmut Horacek, Michael Gerlach:
The Role of Goals in Dialog Control. ECAI 1990: 357-362 - [c14]Helmut Horacek:
Some Useful Search Techniques for Natural Language Generation. GWAI 1990: 236-245
1980 – 1989
- 1989
- [c13]Michael Gerlach, Helmut Horacek:
Dialog Control in a Natural Language System. EACL 1989: 27-34 - [c12]Helmut Horacek:
Towards Principles of Ontology. GWAI 1989: 323-330 - [c11]Helmut Horacek, Hermann Kaindl:
An Outline of a New Algorithm for Game Tree Search. ÖGAI 1989: 171-176 - [c10]Helmut Horacek:
Begriffsbildung/modellierung. ÖGAI 1989: 260 - 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. Appl. Artif. Intell. 1(2): 117-132 (1987) - [c6]Helmut Horacek:
How to Say WHAT - IT or SOMETHING? GWAI 1987: 320-329 - [c5]Helmut Horacek, Hermann Kaindl, Marcus Wagner:
Probabilities in Game-Playing: Possible Meanings and Applications. ÖGAI 1987: 12-23 - 1986
- [j3]Helmut Horacek:
The Fifth World Computer-Chess Championship. J. Int. Comput. Games Assoc. 9(2): 92-96 (1986) - [j2]Hermann Kaindl, Helmut Horacek, Marcus Wagner:
Selective Search Versus Brute Force. J. Int. Comput. Games Assoc. 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]Helmut Horacek:
A Heuristic Model for Treatment of Vague Time Descriptions. ÖGAI 1985: 56-64 - 1983
- [j1]Helmut Horacek:
Knowledge-Based Move Selection and Evaluation to Guide the Search in Chess Pawn Endings. J. Int. Comput. Games Assoc. 6(3): 20-37 (1983) - [c1]Helmut Horacek:
Zur Generierung zusammenhängender Texte. GWAI 1983: 108-117
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
