Proof Verbalization as an Application of NLG (1997)

Cached

Download Links

by Xiaorong Huang , Armin Fiedler
Venue:PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI
Citations:44 - 10 self

Documents Related by Co-Citation

171 Automated Discourse Generation Using Discourse Structure Relations – Eduard Hovy - 1993
32 Incremental Generation for Real-Time Applications – Anne Kilger, Wolfgang Finkler - 1995
376 Building Natural Language Generation Systems – Ehud Reiter - 2000
18 Verbalization of high-level formal proofs – Amanda M. Holland-minkley, Regina Barzilay, Robert L. Constable - 1999
21 Planning Argumentative Texts – Xiaorong Huang - 1994
159 Aggregation in Natural Language Generation – Eduard H. Hovy - 1993
23 A model for adapting explanations to the user’s likely inferences. User Modeling and User-Adapted Interaction 7(1):1–55 – H Horacek - 1997
26 mega: Towards a mathematical assistant – Christoph Benzmuller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jorg Siekmann, Volker Sorge - 1997
42 a consensus NL Generation architecture appeared, and is it psycholinguistically plausible – Has - 1994
65 ΩMEGA: Towards a Mathematical Assistant – Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge, et al. - 1997
28 The translation of formal proofs into English – Daniel Chester - 1976
80 AI-Techniques in Proof Planning – Erica Melis - 1998
32 Human Oriented Proof Presentation: A Reconstructive Approach – X Huang - 1996
18 Overview of AlethGen – J Coch - 1996
26 HealthDoc: Customizing patient information and health education by medical condition and personal characteristics – Chrysanne Dimarco, Graeme Hirst, Leo Wanner, John Wilkinson - 1995
27 Generating explanatory discourse – A J Cawsey - 1990
394 Rhetorical structure theory: A theory of text organization – W C Mann, S A Thompson - 1987
63 Practical Issues in Automatic Documentation Generation – Kathleen McKeown, Karen Kukich, James Shaw - 1994
86 Getting the message across in RST-based text generation – Donia Scott, Clarisse Sieckenius de Souza - 1990