The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Helmut Horacek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Helmut Horacek
    Generating Inference-Rich Discourse Through Revisions of RST-Trees. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:814-820 [Conf]
  2. Helmut Horacek
    An Algorithm for Generating Referential Descriptions with Flexible Interfaces. [Citation Graph (0, 0)][DBLP]
    ACL, 1997, pp:206-213 [Conf]
  3. Helmut Horacek, Magdalena Wolska
    Transformation-Based Interpretation of Implicit Parallel Structures: Reconstructing the Meaning of "vice versa" and Similar Linguistic Operators. [Citation Graph (0, 0)][DBLP]
    ACL, 2006, pp:- [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:144-149 [Conf]
  5. Helmut Horacek
    Presenting Proofs in a Human-Oriented Way. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:142-156 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2006, pp:754-759 [Conf]
  7. Russell Block, Helmut Horacek
    Generating Referring Expressions Using Multiple Knowledge Sources. [Citation Graph (0, 0)][DBLP]
    COLING, 1990, pp:24-29 [Conf]
  8. Helmut Horacek
    Varying Cardinality in Metonymic Extensions to Nouns. [Citation Graph (0, 0)][DBLP]
    COLING, 2002, pp:- [Conf]
  9. Helmut Horacek
    A Best-First Search Algorithm for Generating Referring Expressions. [Citation Graph (0, 0)][DBLP]
    EACL, 2003, pp:103-106 [Conf]
  10. Helmut Horacek
    Exploiting Conversational Implicature For Generating Concise Explanations. [Citation Graph (0, 0)][DBLP]
    EACL, 1991, pp:191-193 [Conf]
  11. Michael Gerlach, Helmut Horacek
    Dialog Control in a Natural Language System. [Citation Graph (0, 0)][DBLP]
    EACL, 1989, pp:27-34 [Conf]
  12. Helmut Horacek
    Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:604-608 [Conf]
  13. Helmut Horacek
    Explanations for Constraint Systems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:500-504 [Conf]
  14. Helmut Horacek
    How to Avoid Explaining Obvious Things (Without Omitting Central Information) [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:520-524 [Conf]
  15. Helmut Horacek
    A New Algorithm For Generating Referential Descriptions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:577-581 [Conf]
  16. Helmut Horacek, Michael Gerlach
    The Role of Goals in Dialog Control. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:357-362 [Conf]
  17. Koenraad De Smedt, Helmut Horacek, Michael Zock
    Architectures for Natural Language Generation: Problems and Perspectives. [Citation Graph (0, 0)][DBLP]
    EWNLG, 1993, pp:17-46 [Conf]
  18. Dimitra Tsovaltzi, Helmut Horacek, Armin Fiedler
    Building Hint Specifications in an NL Tutorial System for Mathematics. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2004, pp:- [Conf]
  19. Armin Fiedler, Helmut Horacek
    Argumentation in Explanations to Logical Problems. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (1), 2001, pp:969-978 [Conf]
  20. Detlef Fehrer, Helmut Horacek
    Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. [Citation Graph (0, 0)][DBLP]
    IJCAI (2), 1997, pp:959-964 [Conf]
  21. Helmut Horacek, Magdalena Wolska
    Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1688-1691 [Conf]
  22. Reza Shams, Hermann Kaindl, Helmut Horacek
    Using Aspiration Windows for Minimax Algorithms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:192-197 [Conf]
  23. Helmut Horacek
    On Referring to Sets of Objects Naturally. [Citation Graph (0, 0)][DBLP]
    INLG, 2004, pp:70-79 [Conf]
  24. Helmut Horacek, Magdalena Wolska
    Handling Errors in Mathematical Formulas. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2006, pp:339-348 [Conf]
  25. Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek
    A Multi-dimensional Taxonomy for Automating Hinting. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2004, pp:772-781 [Conf]
  26. Michael Herweg, Wolfgang Hoeppner, Helmut Horacek, Jutta Kreyß, Hans-Joachim Novak
    Die Bedeutung kognitionswissenschaftlicher Erkenntnisse für die automatische Sprachgenerierung. [Citation Graph (0, 0)][DBLP]
    KI, 1993, pp:198-205 [Conf]
  27. Helmut Horacek
    Presenting Sets of Problem Solutions Concisely. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:239-253 [Conf]
  28. Helmut Horacek
    Zur Generierung zusammenhängender Texte. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:108-117 [Conf]
  29. Helmut Horacek
    The Choice of Words in the Generation Process of a Natural Language Interface. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:101-112 [Conf]
  30. Helmut Horacek
    How to Say WHAT - IT or SOMETHING? [Citation Graph (0, 0)][DBLP]
    GWAI, 1987, pp:320-329 [Conf]
  31. Helmut Horacek
    Towards Principles of Ontology. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:323-330 [Conf]
  32. Helmut Horacek
    Some Useful Search Techniques for Natural Language Generation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1990, pp:236-245 [Conf]
  33. Helmut Horacek
    Towards Finding The Reasons Behind - Generating The Content Of Explanation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1991, pp:96-105 [Conf]
  34. Helmut Horacek, Stephan Busemann
    Towards a Methodology for Developing Application-Oriented Report Generation. [Citation Graph (0, 0)][DBLP]
    KI, 1998, pp:189-200 [Conf]
  35. 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. [Citation Graph (0, 0)][DBLP]
    GWAI, 1988, pp:118-129 [Conf]
  36. Helmut Horacek, Hermann Kaindl, Marcus Wagner
    Decision Making in Unclear Situations. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:17-27 [Conf]
  37. Helmut Horacek, Claudius Pyka
    Facets of Knowledge About Natural Language Syntax Representation and Use in Parsing and Generation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1988, pp:130-139 [Conf]
  38. Helmut Horacek
    Presenting Mathematical Concepts as an Example for Inference-Rich Domains. [Citation Graph (0, 0)][DBLP]
    NLDB, 2000, pp:301-312 [Conf]
  39. Helmut Horacek
    An Approach to Building Domain Models Interactively. [Citation Graph (0, 0)][DBLP]
    NLDB, 2001, pp:7-16 [Conf]
  40. Helmut Horacek
    An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing. [Citation Graph (0, 0)][DBLP]
    NLDB, 2006, pp:129-140 [Conf]
  41. Helmut Horacek, Magdalena Wolska
    Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. [Citation Graph (0, 0)][DBLP]
    NLDB, 2004, pp:26-38 [Conf]
  42. Helmut Horacek, Magdalena Wolska
    Interpretation of Implicit Parallel Structures. A Case Study with "vice-versa". [Citation Graph (0, 0)][DBLP]
    NLDB, 2005, pp:215-226 [Conf]
  43. Helmut Horacek
    An Integrated View of Text Planning. [Citation Graph (0, 0)][DBLP]
    NLG, 1992, pp:29-44 [Conf]
  44. Helmut Horacek
    A Heuristic Model for Treatment of Vague Time Descriptions. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:56-64 [Conf]
  45. Helmut Horacek
    Begriffsbildung/modellierung. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1989, pp:260- [Conf]
  46. Helmut Horacek
    A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1991, pp:37-41 [Conf]
  47. Helmut Horacek, Hermann Kaindl
    An Outline of a New Algorithm for Game Tree Search. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1989, pp:171-176 [Conf]
  48. Helmut Horacek, Hermann Kaindl, Marcus Wagner
    Probabilities in Game-Playing: Possible Meanings and Applications. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1987, pp:12-23 [Conf]
  49. Helmut Horacek, Claudius Pyka
    Anwendbarkeit von Unifikationsgrammatiken für effizientes Generieren. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1988, pp:171-177 [Conf]
  50. 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. [Citation Graph (0, 0)][DBLP]
    Cognitive Systems, 2005, pp:1-14 [Conf]
  51. Helmut Horacek
    Choice of words in the generation process of a natural language interface. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1987, v:1, n:2, pp:117-132 [Journal]
  52. Helmut Horacek
    Reasoning with Uncertainty in Computer Chess. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1990, v:43, n:1, pp:37-56 [Journal]
  53. 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. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2001, v:22, n:3, pp:277-280 [Journal]
  54. Stephan Busemann, Helmut Horacek
    A Flexible Shallow Approach to Text Generation [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  55. Helmut Horacek, Magdalena Wolska
    Interpreting semi-formal utterances in dialogs about mathematical proofs. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 2006, v:58, n:1, pp:90-106 [Journal]
  56. Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
    Assertion-level Proof Representation with Under-Specification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:5-23 [Journal]
  57. 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. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
  58. Helmut Horacek
    Tailoring inference-rich descriptions through making compromises between conflicting cooperation principles. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 2000, v:53, n:6, pp:1117-1146 [Journal]
  59. Detlef Fehrer, Helmut Horacek
    Presenting Inequations in Mathematical Proofs. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:116, n:1, pp:3-23 [Journal]
  60. Helmut Horacek
    Sprachgenerierung: Planungsverfahren und Architekturmodelle. [Citation Graph (0, 0)][DBLP]
    KI, 1993, v:7, n:2, pp:8-13 [Journal]
  61. Helmut Horacek
    WISBER. Wissensbasierter Beratungskatalog. [Citation Graph (0, 0)][DBLP]
    LDV Forum, 1990, v:7, n:1/2, pp:15-22 [Journal]
  62. Helmut Horacek
    On expressing metonymic relations in multiple languages. [Citation Graph (0, 0)][DBLP]
    Machine Translation, 1996, v:11, n:1-3, pp:109-158 [Journal]
  63. Hermann Kaindl, Reza Shams, Helmut Horacek
    Minimax Search Algorithms With and Without Aspiration Windows. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Pattern Anal. Mach. Intell., 1991, v:13, n:12, pp:1225-1235 [Journal]
  64. Helmut Horacek
    A Model for Adapting Explanations to the User's Likely Inferences. [Citation Graph (0, 0)][DBLP]
    User Model. User-Adapt. Interact., 1997, v:7, n:1, pp:1-55 [Journal]
  65. Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska
    DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:159-173 [Conf]
  66. Helmut Horacek
    How to Build Explanations of Automated Proofs: A Methodology and Requirements on Domain Representations. [Citation Graph (0, 0)][DBLP]
    ExaCt, 2007, pp:34-41 [Conf]

  67. Generating Responses to Formally Flawed Problem-Solving Statements. [Citation Graph (, )][DBLP]


  68. Fault-Tolerant Interpretation of Mathematical Formulas in Context. [Citation Graph (, )][DBLP]


  69. Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication. [Citation Graph (, )][DBLP]


  70. Automatic Generation of the Behavior of a User Interface from a High-Level Discourse Model. [Citation Graph (, )][DBLP]


  71. Towards Designing Operationalizable Models of Man-Machine Interaction Based on Concepts from Human Dialog Systems. [Citation Graph (, )][DBLP]


  72. An Analysis of Decision Quality of Minimaxing vs. Product Propagation. [Citation Graph (, )][DBLP]


  73. A High-Level Categorization of Explanation A Case Study with a Tutoring System. [Citation Graph (, )][DBLP]


  74. Automated Analysis of Reasoning and Argumentation Structures in Texts. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002