| 2017 | ICAIL | Proposing Attachment Points in Argument Graphs for New Arguments Expressed in Natural Language. | Helmut Horacek |
| 2013 | RANLP | Justifying Corpus-Based Choices in Referring Expression Generation. | Helmut Horacek |
| 2009 | SMC | An Analysis of Decision Quality of Minimaxing vs. Product Propagation. | Helmut Horacek, Hermann Kaindl |
| 2008 | NLDB | Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems. | Helmut Horacek |
| 2007 | AIED | Generating Responses to Formally Flawed Problem-Solving Statements. | Helmut Horacek, Magdalena Wolska |
| 2006 | ACL | Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators. | Helmut Horacek, Magdalena Wolska |
| 2006 | CHI | A discourse model for interaction design based on theories of human communication. | Jrgen Falb, Hermann Kaindl, Helmut Horacek, Cristian Bogdan, Roman Popp, Edin Arnautovic |
| 2006 | INLG | Generating References to Parts of Recursively Structured Objects. | Helmut Horacek |
| 2006 | ITS | Handling Errors in Mathematical Formulas. | Helmut Horacek, Magdalena Wolska |
| 2006 | KI | DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. | Christoph Benzmller, Helmut Horacek, Ivana Kruijff-Korbayov, Henri Lesourd, Marvin R. G. Schiller, Magdalena Wolska |
| 2006 | LREC | A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. | Christoph Benzmller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayov, Marvin R. G. Schiller, Magdalena Wolska |
| 2006 | NLDB | An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing. | Helmut Horacek |
| 2005 | AIED | Fault-Tolerant Interpretation of Mathematical Formulas in Context. | Helmut Horacek, Magdalena Wolska |
| 2005 | IJCAI | Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. | Helmut Horacek, Magdalena Wolska |
| 2005 | JURIX | Automated Analysis of Reasoning and Argumentation Structures in Texts. | Helmut Horacek |
| 2005 | NLDB | Interpretation of Implicit Parallel Structures. A Case Study with "vice-versa". | Helmut Horacek, Magdalena Wolska |
| 2005 | SIGdial | A Hybrid Model for Tutorial Dialogs. | Helmut Horacek, Magdalena Wolska |
| 2004 | COLING | A System for Generating Descriptions of Sets of Objects in a Rich variety. | Helmut Horacek |
| 2004 | FlAIRS | Building Hint Specifications in an NL Tutorial System for Mathematics. | Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler |
| 2004 | INLG | On Referring to Sets of Objects Naturally. | Helmut Horacek |
| 2004 | ITS | A Multi-dimensional Taxonomy for Automating Hinting. | Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek |
| 2004 | LREC | 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 Benzmller |
| 2004 | NLDB | Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. | Helmut Horacek, Magdalena Wolska |
| 2003 | EACL | A Best-First Search Algorithm for Generating Referring Expressions. | Helmut Horacek |
| 2003 | KI | Presenting Sets of Problem Solutions Concisely. | Helmut Horacek |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, 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, Jrgen Zimmer |
| 2002 | COLING | Varying Cardinality in Metonymic Extensions to Nouns. | Helmut Horacek |
| 2002 | INLG | Aggregation with Strong Regularities and Alternatives". | Helmut Horacek |
| 2001 | ICCS | Argumentation in Explanations to Logical Problems. | Armin Fiedler, Helmut Horacek |
| 2001 | NLDB | An Approach to Building Domain Models Interactively. | Helmut Horacek |
| 2000 | ECAI | Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation. | Helmut Horacek |
| 2000 | NLDB | Presenting Mathematical Concepts as an Example for Inference-Rich Domains. | Helmut Horacek |
| 1999 | CADE | Presenting Proofs in a Human-Oriented Way. | Helmut Horacek |
| 1998 | AAAI | Generating Inference-Rich Discourse Through Revisions of RST-Trees. | Helmut Horacek |
| 1998 | INLG | A Flexible Shallow Approach To Text Generation. | Stephan Busemann, Helmut Horacek |
| 1998 | KI | Towards a Methodology for Developing Application-Oriented Report Generation. | Helmut Horacek, Stephan Busemann |
| 1997 | ACL | An Algorithm for Generating Referential Descriptions with Flexible Interfaces. | Helmut Horacek |
| 1997 | IJCAI | Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. | Detlef Fehrer, Helmut Horacek |
| 1996 | ECAI | A New Algorithm For Generating Referential Descriptions. | Helmut Horacek |
| 1994 | ECAI | How to Avoid Explaining Obvious Things (Without Omitting Central Information) | Helmut Horacek |
| 1994 | INLG | Content Selection and Organization as a Process Involving Compromises. | Helmut Horacek |
| 1993 | KI | Die Bedeutung kognitionswissenschaftlicher Erkenntnisse fr die automatische Sprachgenerierung. | Michael Herweg, Wolfgang Hoeppner, Helmut Horacek, Jutta Krey, Hans-Joachim Novak |
| 1992 | ECAI | Explanations for Constraint Systems. | Helmut Horacek |
| 1991 | EACL | Exploiting Conversational Implicature For Generating Concise Explanations. | Helmut Horacek |
| 1991 | IJCAI | Using Aspiration Windows for Minimax Algorithms. | Reza Shams, Hermann Kaindl, Helmut Horacek |
| 1991 | KI | Towards Finding The Reasons Behind - Generating The Content Of Explanation. | Helmut Horacek |
| 1990 | COLING | Generating Referring Expressions Using Multiple Knowledge Sources. | Russell Block, Helmut Horacek |
| 1990 | ECAI | The Role of Goals in Dialog Control. | Helmut Horacek, Michael Gerlach |
| 1990 | KI | Some Useful Search Techniques for Natural Language Generation. | Helmut Horacek |
| 1989 | EACL | Dialog Control in a Natural Language System. | Michael Gerlach, Helmut Horacek |
| 1989 | KI | Towards Principles of Ontology. | Helmut Horacek |
| 1988 | KI | 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 |
| 1988 | KI | Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. | Helmut Horacek, Claudius Pyka |
| 1987 | KI | How to Say WHAT - IT or SOMETHING? | Helmut Horacek |
| 1986 | KI | The Choice of Words in the Generation Process of a Natural Language Interface. | Helmut Horacek |
| 1986 | KI | Decision Making in Unclear Situations. | Helmut Horacek, Hermann Kaindl, Marcus Wagner |
| 1983 | KI | Zur Generierung zusammenhngender Texte. | Helmut Horacek |