Helmut Horacek

According to our database, Helmut Horacek authored at least 94 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Editorial for VSI:NLDB-saarbruecken-2021.

Helmut Horacek, Epaminondas Kapetanios, Elisabeth Métais, Farid Meziane

Data Knowl. Eng., January, 2024

2022

Preface.

Elisabeth Métais, Farid Meziane, Helmut Horacek, Philipp Cimiano

Data Knowl. Eng., 2022

2017

Product Propagation: A Backup Rule Better Than Minimaxing?

Hermann Kaindl, Helmut Horacek, Anton Scheucher

IEEE Trans. Comput. Intell. AI Games, 2017

Proposing Attachment Points in Argument Graphs for New Arguments Expressed in Natural Language.

Helmut Horacek

Proceedings of the 17th Workshop on Computational Models of Natural Argument co-located with ICAIL 2017, 2017

2015

Semantic Service Specification for V&V of Service Composition and Business Processes.

Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek

Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

Generating Referential Descriptions Involving Relations by a Best-First Searching Procedure - A System Demo.

Florin Haque, Helmut Horacek

Proceedings of the ENLG 2015, 2015

2013

Justifying Corpus-Based Choices in Referring Expression Generation.

Helmut Horacek

Proceedings of the Recent Advances in Natural Language Processing, 2013

2011

Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling.

Magdalena Wolska, Mark Buckley, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal

Proceedings of the Resource-Adaptive Cognitive Processes, 2011

2009

An Analysis of Decision Quality of Minimaxing vs. Product Propagation.

Helmut Horacek, Hermann Kaindl

Proceedings of the IEEE International Conference on Systems, 2009

Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model.

Roman Popp, Jürgen Falb, Edin Arnautovic, Hermann Kaindl, Sevan Kavaldjian, Dominik Ertl, Helmut Horacek, Cristian Bogdan

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems.

Helmut Horacek

Proceedings of the Natural Language and Information Systems, 2008

Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication.

Cristian Bogdan, Jürgen Falb, Hermann Kaindl, Sevan Kavaldjian, Roman Popp, Helmut Horacek, Edin Arnautovic, Alexander Szep

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

A High-Level Categorization of Explanation A Case Study with a Tutoring System.

Helmut Horacek

Proceedings of the Explanation-aware Computing, 2008

2007

Argumentation within deductive reasoning.

Armin Fiedler, Helmut Horacek

Int. J. Intell. Syst., 2007

How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations.

Helmut Horacek

Proceedings of the Explanation-Aware Computing, 2007

Generating Responses to Formally Flawed Problem-Solving Statements.

Helmut Horacek, Magdalena Wolska

Proceedings of the Artificial Intelligence in Education, 2007

2006

Interpreting semi-formal utterances in dialogs about mathematical proofs.

Helmut Horacek, Magdalena Wolska

Data Knowl. Eng., 2006

An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing.

Helmut Horacek

Proceedings of the Natural Language Processing and Information Systems, 2006

A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material.

Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayová, Marvin R. G. Schiller, Magdalena Wolska

Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics.

Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin R. G. Schiller, Magdalena Wolska

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Handling Errors in Mathematical Formulas.

Helmut Horacek, Magdalena Wolska

Proceedings of the Intelligent Tutoring Systems, 8th International Conference, 2006

Generating References to Parts of Recursively Structured Objects.

Helmut Horacek

Proceedings of the INLG 2006, 2006

A discourse model for interaction design based on theories of human communication.

Jürgen Falb, Hermann Kaindl, Helmut Horacek, Cristian Bogdan, Roman Popp, Edin Arnautovic

Proceedings of the Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators.

Helmut Horacek, Magdalena Wolska

Proceedings of the ACL 2006, 2006

2005

A Hybrid Model for Tutorial Dialogs.

Helmut Horacek, Magdalena Wolska

Proceedings of the 6th SIGdial Workshop on Discourse and Dialogue, 2005

Interpretation of Implicit Parallel Structures. A Case Study with "vice-versa".

Helmut Horacek, Magdalena Wolska

Proceedings of the Natural Language Processing and Information Systems, 2005

Automated Analysis of Reasoning and Argumentation Structures in Texts.

Helmut Horacek

Proceedings of the Legal Knowledge and Information Systems, 2005

Fault-Tolerant Context-Based Interpretation of Mathematical Formulas.

Helmut Horacek, Magdalena Wolska

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Generating Referential Descriptions Under Conditions of Uncertainty.

Helmut Horacek

Proceedings of the Tenth European Workshop on Natural Language Generation, 2005

Natural Language Dialog with a Tutor System for Mathematical Proofs.

Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska

Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

Fault-Tolerant Interpretation of Mathematical Formulas in Context.

Helmut Horacek, Magdalena Wolska

Proceedings of the Artificial Intelligence in Education, 2005

2004

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.

Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller

Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

A Multi-dimensional Taxonomy for Automating Hinting.

Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek

Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

On Referring to Sets of Objects Naturally.

Helmut Horacek

Proceedings of the Natural Language Generation, Third International Conference, 2004

Building Hint Specifications in an NL Tutorial System for Mathematics.

Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

A System for Generating Descriptions of Sets of Objects in a Rich variety.

Helmut Horacek

Proceedings of the COLING 2004, 2004

2003

Assertion-level Proof Representation with Under-Specification.

Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo

Proceedings of the Mathematical Knowledge Management Symposium, 2003

Presenting Sets of Problem Solutions Concisely.

Helmut Horacek

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Handling Dependencies in Reorganizing Content Specifications A Case Study of Case Analysis.

Helmut Horacek

Proceedings of the 9th European Workshop on Natural Language Generation, 2003

A Best-First Search Algorithm for Generating Referring Expressions.

Helmut Horacek

Proceedings of the EACL 2003, 2003

2002

Aggregation with Strong Regularities and Alternatives".

Helmut Horacek

Proceedings of the International Natural Language Generation Conference, 2002

Varying Cardinality in Metonymic Extensions to Nouns.

Helmut Horacek

Proceedings of the 19th International Conference on Computational Linguistics, 2002

Proof Development with OMEGA.

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

Proceedings of the Automated Deduction, 2002

2001

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.

Helmut Horacek

Artif. Intell. Medicine, 2001

An Approach to Building Domain Models Interactively.

Helmut Horacek

Proceedings of the Applications of Natural Language to Information Systems, 2001

Argumentation in Explanations to Logical Problems.

Armin Fiedler, Helmut Horacek

Proceedings of the Computational Science - ICCS 2001, 2001

2000

Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles.

Helmut Horacek

Int. J. Hum. Comput. Stud., 2000

Presenting Mathematical Concepts as an Example for Inference-Rich Domains.

Helmut Horacek

Proceedings of the Natural Language Processing and Information Systems, 2000

Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation.

Helmut Horacek

Proceedings of the ECAI 2000, 2000

1999

Presenting Inequations in Mathematical Proofs.

Detlef Fehrer, Helmut Horacek

Inf. Sci., 1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

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

Formal Aspects Comput., 1999

Presenting Proofs in a Human-Oriented Way.

Helmut Horacek

Proceedings of the Automated Deduction, 1999

1998

Towards a Methodology for Developing Application-Oriented Report Generation.

Helmut Horacek, Stephan Busemann

Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

A Flexible Shallow Approach To Text Generation.

Stephan Busemann, Helmut Horacek

Proceedings of the Ninth International Workshop on Natural Language Generation, 1998

Generating Inference-Rich Discourse Through Revisions of RST-Trees.

Helmut Horacek

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

A Model for Adapting Explanations to the User's Likely Inferences.

Helmut Horacek

User Model. User Adapt. Interact., 1997

Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs.

Detlef Fehrer, Helmut Horacek

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

An Algorithm for Generating Referential Descriptions with Flexible Interfaces.

Helmut Horacek

Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and 8th Conference of the European Chapter of the Association for Computational Linguistics, 1997

1996

On expressing metonymic relations in multiple languages.

Helmut Horacek

Mach. Transl., 1996

A New Algorithm For Generating Referential Descriptions.

Helmut Horacek

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1994

Content Selection and Organization as a Process Involving Compromises.

Helmut Horacek

Proceedings of the Seventh International Workshop on Natural Language Generation, 1994

How to Avoid Explaining Obvious Things (Without Omitting Central Information)

Helmut Horacek

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Sprachgenerierung: Planungsverfahren und Architekturmodelle.

Helmut Horacek

Künstliche Intell., 1993

Computer Chess, its Impact on Artificial Intelligence.

Helmut Horacek

J. Int. Comput. Games Assoc., 1993

Die Bedeutung kognitionswissenschaftlicher Erkenntnisse für die automatische Sprachgenerierung.

Michael Herweg, Wolfgang Hoeppner, Helmut Horacek, Jutta Kreyß, Hans-Joachim Novak

Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

Architectures for Natural Language Generation: Problems and Perspectives.

Koenraad De Smedt, Helmut Horacek, Michael Zock

Proceedings of the Trends in Natural Language Generation, 1993

1992

An Integrated View of Text Planning.

Helmut Horacek

Proceedings of the Aspects of Automated Natural Language Generation, 1992

Explanations for Constraint Systems.

Helmut Horacek

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Minimax Search Algorithms With and Without Aspiration Windows.

Hermann Kaindl, Reza Shams, Helmut Horacek

IEEE Trans. Pattern Anal. Mach. Intell., 1991

A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction.

Helmut Horacek

Proceedings of the Proc. 7th Austrian Conference on Artificial Intelligence, 1991

Towards Finding The Reasons Behind - Generating The Content Of Explanation.

Helmut Horacek

Proceedings of the GWAI-91, 1991

Using Aspiration Windows for Minimax Algorithms.

Reza Shams, Hermann Kaindl, Helmut Horacek

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Exploiting Conversational Implicature For Generating Concise Explanations.

Helmut Horacek

Proceedings of the EACL 1991, 1991

1990

WISBER. Wissensbasierter Beratungskatalog.

Helmut Horacek

LDV Forum, 1990

Reasoning with Uncertainty in Computer Chess.

Helmut Horacek

Artif. Intell., 1990

Some Useful Search Techniques for Natural Language Generation.

Helmut Horacek

Proceedings of the GWAI-90, 1990

The Role of Goals in Dialog Control.

Helmut Horacek, Michael Gerlach

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Generating Referring Expressions Using Multiple Knowledge Sources.

Russell Block, Helmut Horacek

Proceedings of the 13th International Conference on Computational Linguistics, 1990

1989

An Outline of a New Algorithm for Game Tree Search.

Helmut Horacek, Hermann Kaindl

Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

Begriffsbildung/modellierung.

Helmut Horacek

Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

Towards Principles of Ontology.

Helmut Horacek

Proceedings of the GWAI-89, 1989

Dialog Control in a Natural Language System.

Michael Gerlach, Helmut Horacek

Proceedings of the EACL 1989, 1989

1988

Anwendbarkeit von Unifikationsgrammatiken für effizientes Generieren.

Helmut Horacek, Claudius Pyka

Proceedings of the 4. Österreichische Artificial-Intelligence-Tagung, 1988

Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation.

Helmut Horacek, Claudius Pyka

Proceedings of the Künstliche Intelligenz, 1988

From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing.

Helmut Horacek, Henning Bergmann, Russel Block, Michael Fliegner, Michael Gerlach, Massimo Poesio, Michael Sprenger

Proceedings of the Künstliche Intelligenz, 1988

1987

Choice of words in the generation process of a natural language interface.

Helmut Horacek

Appl. Artif. Intell., 1987

Probabilities in Game-Playing: Possible Meanings and Applications.

Helmut Horacek, Hermann Kaindl, Marcus Wagner

Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

How to Say WHAT - IT or SOMETHING?

Helmut Horacek

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

1986

Selective Search Versus Brute Force.

Hermann Kaindl, Helmut Horacek, Marcus Wagner

J. Int. Comput. Games Assoc., 1986

The Fifth World Computer-Chess Championship.

Helmut Horacek

J. Int. Comput. Games Assoc., 1986

Decision Making in Unclear Situations.

Helmut Horacek, Hermann Kaindl, Marcus Wagner

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

1985

A Heuristic Model for Treatment of Vague Time Descriptions.

Helmut Horacek

Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985

1983

Knowledge-Based Move Selection and Evaluation to Guide the Search in Chess Pawn Endings.

Helmut Horacek

J. Int. Comput. Games Assoc., 1983

Zur Generierung zusammenhängender Texte.

Helmut Horacek

Proceedings of the GWAI-83, 1983