Helmut Horacek

99 papers A* 4A 12B 13C 10Misc 7Journal 20Unranked 32

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Editorial for VSI:NLDB-saarbruecken-2021. Data Knowl. Eng. Helmut Horacek, Epaminondas Kapetanios, Elisabeth Métais, Farid Meziane
2022	J	`jnl`	Preface. Data Knowl. Eng. Elisabeth Métais, Farid Meziane, Helmut Horacek, Philipp Cimiano
2021	C	`ed.`	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 NLDB Elisabeth Métais, Farid Meziane, Helmut Horacek, Epaminondas Kapetanios
2020	C	`ed.`	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 NLDB Elisabeth Métais, Farid Meziane, Helmut Horacek, Philipp Cimiano
2017	J	`jnl`	Product Propagation: A Backup Rule Better Than Minimaxing? IEEE Trans. Comput. Intell. AI Games Hermann Kaindl, Helmut Horacek, Anton Scheucher
2017	—	`conf`	Proposing Attachment Points in Argument Graphs for New Arguments Expressed in Natural Language. CMNA@ICAIL Helmut Horacek
2015	—	`conf`	Generating Referential Descriptions Involving Relations by a Best-First Searching Procedure - A System Demo. ENLG Florin Haque, Helmut Horacek
2015	—	`conf`	Semantic Service Specification for V&V of Service Composition and Business Processes. HICSS Ralph Hoch, Hermann Kaindl, Roman Popp, Dominik Ertl, Helmut Horacek
2013	Misc	`conf`	Justifying Corpus-Based Choices in Referring Expression Generation. RANLP Helmut Horacek
2011	—	`ch.`	Linguistic Processing in a Mathematics Tutoring System: Cooperative Input Interpretation and Dialogue Modelling. Resource-Adaptive Cognitive Processes Magdalena Wolska, Mark Buckley, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal
2010	C	`ed.`	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 NLDB Helmut Horacek, Elisabeth Métais, Rafael Muñoz, Magdalena Wolska
2009	B	`conf`	An Analysis of Decision Quality of Minimaxing vs. Product Propagation. SMC Helmut Horacek, Hermann Kaindl
2009	—	`conf`	Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model. HICSS Roman Popp, Jürgen Falb, Edin Arnautovic, Hermann Kaindl, Sevan Kavaldjian, Dominik Ertl, Helmut Horacek, Cristian Bogdan
2008	—	`conf`	A High-Level Categorization of Explanation A Case Study with a Tutoring System. ExaCt Helmut Horacek
2008	—	`conf`	Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication. HICSS Cristian Bogdan, Jürgen Falb, Hermann Kaindl, Sevan Kavaldjian, Roman Popp, Helmut Horacek, Edin Arnautovic, Alexander Szep
2008	C	`conf`	Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems. NLDB Helmut Horacek
2007	J	`jnl`	Argumentation within deductive reasoning. Int. J. Intell. Syst. Armin Fiedler, Helmut Horacek
2007	A	`conf`	Generating Responses to Formally Flawed Problem-Solving Statements. AIED Helmut Horacek, Magdalena Wolska
2007	—	`conf`	How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations. ExaCt Helmut Horacek
2006	B	`conf`	A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. LREC Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayová, Marvin R. G. Schiller, Magdalena Wolska
2006	—	`conf`	A discourse model for interaction design based on theories of human communication. CHI Extended Abstracts Jürgen Falb, Hermann Kaindl, Helmut Horacek, Cristian Bogdan, Roman Popp, Edin Arnautovic
2006	C	`conf`	An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing. NLDB Helmut Horacek
2006	Misc	`conf`	DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin R. G. Schiller, Magdalena Wolska
2006	B	`conf`	Generating References to Parts of Recursively Structured Objects. INLG Helmut Horacek
2006	B	`conf`	Handling Errors in Mathematical Formulas. Intelligent Tutoring Systems Helmut Horacek, Magdalena Wolska
2006	J	`jnl`	Interpreting semi-formal utterances in dialogs about mathematical proofs. Data Knowl. Eng. Helmut Horacek, Magdalena Wolska
2006	A*	`conf`	Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators. ACL Helmut Horacek, Magdalena Wolska
2005	—	`conf`	A Hybrid Model for Tutorial Dialogs. SIGDIAL Workshop Helmut Horacek, Magdalena Wolska
2005	C	`conf`	Automated Analysis of Reasoning and Argumentation Structures in Texts. JURIX Helmut Horacek
2005	A*	`conf`	Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. IJCAI Helmut Horacek, Magdalena Wolska
2005	A	`conf`	Fault-Tolerant Interpretation of Mathematical Formulas in Context. AIED Helmut Horacek, Magdalena Wolska
2005	—	`conf`	Generating Referential Descriptions Under Conditions of Uncertainty. ENLG Helmut Horacek
2005	C	`conf`	Interpretation of Implicit Parallel Structures. A Case Study with "vice-versa". NLDB Helmut Horacek, Magdalena Wolska
2005	—	`conf`	Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska
2004	B	`conf`	A Multi-dimensional Taxonomy for Automating Hinting. Intelligent Tutoring Systems Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek
2004	B	`conf`	A System for Generating Descriptions of Sets of Objects in a Rich variety. COLING Helmut Horacek
2004	B	`conf`	An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. LREC Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller
2004	Misc	`conf`	Building Hint Specifications in an NL Tutorial System for Mathematics. FLAIRS Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler
2004	C	`conf`	Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. NLDB Helmut Horacek, Magdalena Wolska
2004	B	`conf`	On Referring to Sets of Objects Naturally. INLG Helmut Horacek
2003	A	`conf`	A Best-First Search Algorithm for Generating Referring Expressions. EACL Helmut Horacek
2003	—	`conf`	Assertion-level Proof Representation with Under-Specification. MKM Symposium Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
2003	—	`conf`	Handling Dependencies in Reorganizing Content Specifications A Case Study of Case Analysis. ENLG@EACL Helmut Horacek
2003	Misc	`conf`	Presenting Sets of Problem Solutions Concisely. KI Helmut Horacek
2002	B	`conf`	Aggregation with Strong Regularities and Alternatives". INLG Helmut Horacek
2002	A	`conf`	Proof Development with OMEGA. CADE 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
2002	B	`conf`	Varying Cardinality in Metonymic Extensions to Nouns. COLING Helmut Horacek
2001	C	`conf`	An Approach to Building Domain Models Interactively. NLDB Helmut Horacek
2001	Misc	`conf`	Argumentation in Explanations to Logical Problems. International Conference on Computational Science (1) Armin Fiedler, Helmut Horacek
2001	J	`jnl`	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 Helmut Horacek
2000	C	`conf`	Presenting Mathematical Concepts as an Example for Inference-Rich Domains. NLDB Helmut Horacek
2000	J	`jnl`	Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles. Int. J. Hum. Comput. Stud. Helmut Horacek
2000	A	`conf`	Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation. ECAI Helmut Horacek
1999	J	`jnl`	Presenting Inequations in Mathematical Proofs. Inf. Sci. Detlef Fehrer, Helmut Horacek
1999	A	`conf`	Presenting Proofs in a Human-Oriented Way. CADE Helmut Horacek
1998	B	`conf`	A Flexible Shallow Approach To Text Generation. INLG Stephan Busemann, Helmut Horacek
1998	J	`jnl`	A Flexible Shallow Approach to Text Generation CoRR Stephan Busemann, Helmut Horacek
1998	—	`conf`	Generating Inference-Rich Discourse Through Revisions of RST-Trees. AAAI/IAAI Helmut Horacek
1998	Misc	`conf`	Towards a Methodology for Developing Application-Oriented Report Generation. KI Helmut Horacek, Stephan Busemann
1997	J	`jnl`	A Model for Adapting Explanations to the User's Likely Inferences. User Model. User Adapt. Interact. Helmut Horacek
1997	A*	`conf`	An Algorithm for Generating Referential Descriptions with Flexible Interfaces. ACL Helmut Horacek
1997	—	`conf`	Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. IJCAI (2) Detlef Fehrer, Helmut Horacek
1996	A	`conf`	A New Algorithm For Generating Referential Descriptions. ECAI Helmut Horacek
1996	J	`jnl`	On expressing metonymic relations in multiple languages. Mach. Transl. Helmut Horacek
1994	B	`conf`	Content Selection and Organization as a Process Involving Compromises. INLG Helmut Horacek
1994	A	`conf`	How to Avoid Explaining Obvious Things (Without Omitting Central Information) ECAI Helmut Horacek
1993	—	`conf`	Architectures for Natural Language Generation: Problems and Perspectives. EWNLG Koenraad De Smedt, Helmut Horacek, Michael Zock
1993	J	`jnl`	Computer Chess, its Impact on Artificial Intelligence. ICCA J. Helmut Horacek
1993	Misc	`conf`	Die Bedeutung kognitionswissenschaftlicher Erkenntnisse für die automatische Sprachgenerierung. KI Michael Herweg, Wolfgang Hoeppner, Helmut Horacek, Jutta Kreyß, Hans-Joachim Novak
1993	J	`jnl`	Sprachgenerierung: Planungsverfahren und Architekturmodelle. Künstliche Intell. Helmut Horacek
1992	—	`conf`	An Integrated View of Text Planning. NLG Helmut Horacek
1992	A	`conf`	Explanations for Constraint Systems. ECAI Helmut Horacek
1991	—	`conf`	A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction. ÖGAI Helmut Horacek
1991	A	`conf`	Exploiting Conversational Implicature For Generating Concise Explanations. EACL Helmut Horacek
1991	J	`jnl`	Minimax Search Algorithms With and Without Aspiration Windows. IEEE Trans. Pattern Anal. Mach. Intell. Hermann Kaindl, Reza Shams, Helmut Horacek
1991	—	`conf`	Towards Finding The Reasons Behind - Generating The Content Of Explanation. GWAI Helmut Horacek
1991	A*	`conf`	Using Aspiration Windows for Minimax Algorithms. IJCAI Reza Shams, Hermann Kaindl, Helmut Horacek
1990	B	`conf`	Generating Referring Expressions Using Multiple Knowledge Sources. COLING Russell Block, Helmut Horacek
1990	J	`jnl`	Reasoning with Uncertainty in Computer Chess. Artif. Intell. Helmut Horacek
1990	—	`conf`	Some Useful Search Techniques for Natural Language Generation. GWAI Helmut Horacek
1990	A	`conf`	The Role of Goals in Dialog Control. ECAI Helmut Horacek, Michael Gerlach
1990	J	`jnl`	WISBER. Wissensbasierter Beratungskatalog. LDV Forum Helmut Horacek
1989	—	`conf`	An Outline of a New Algorithm for Game Tree Search. ÖGAI Helmut Horacek, Hermann Kaindl
1989	—	`conf`	Begriffsbildung/modellierung. ÖGAI Helmut Horacek
1989	A	`conf`	Dialog Control in a Natural Language System. EACL Michael Gerlach, Helmut Horacek
1989	—	`conf`	Towards Principles of Ontology. GWAI Helmut Horacek
1988	—	`conf`	Anwendbarkeit von Unifikationsgrammatiken für effizientes Generieren. ÖGAI Helmut Horacek, Claudius Pyka
1988	—	`conf`	Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. GWAI Helmut Horacek, Claudius Pyka
1988	—	`conf`	From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing. GWAI Helmut Horacek, Henning Bergmann, Russel Block, Michael Fliegner, Michael Gerlach, Massimo Poesio, Michael Sprenger
1987	J	`jnl`	Choice of words in the generation process of a natural language interface. Appl. Artif. Intell. Helmut Horacek
1987	—	`conf`	How to Say WHAT - IT or SOMETHING? GWAI Helmut Horacek
1987	—	`conf`	Probabilities in Game-Playing: Possible Meanings and Applications. ÖGAI Helmut Horacek, Hermann Kaindl, Marcus Wagner
1986	—	`conf`	Decision Making in Unclear Situations. GWAI Helmut Horacek, Hermann Kaindl, Marcus Wagner
1986	J	`jnl`	Selective Search Versus Brute Force. ICCA J. Hermann Kaindl, Helmut Horacek, Marcus Wagner
1986	—	`conf`	The Choice of Words in the Generation Process of a Natural Language Interface. GWAI Helmut Horacek
1986	J	`jnl`	The Fifth World Computer-Chess Championship. ICCA J. Helmut Horacek
1985	—	`conf`	A Heuristic Model for Treatment of Vague Time Descriptions. ÖGAI Helmut Horacek
1983	J	`jnl`	Knowledge-Based Move Selection and Evaluation to Guide the Search in Chess Pawn Endings. ICCA J. Helmut Horacek
1983	—	`conf`	Zur Generierung zusammenhängender Texte. GWAI Helmut Horacek