Proof Verbalization as an Application of NLG

Proof Verbalization as an Application of NLG (1997)

by Xiaorong Huang , Armin Fiedler

Venue:	PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI
Citations:	42 - 10 self

User correction supplied by mph

Datum	Value	Source
TITLE	Proof Verbalization as an Application of NLG	user correction - Legacy Corrections
AUTHOR NAME	Xiaorong Huang	user correction
AUTHOR AFFIL	Fachbereich Informatik, Universitat des Saarlandes	user correction
AUTHOR ADDR	Postfach 15 11 50, D-66041 Saarbrucken, Germany	user correction
AUTHOR NAME	Armin Fiedler	user correction
AUTHOR AFFIL	Fachbereich Informatik, Universitat des Saarlandes	user correction
AUTHOR ADDR	Postfach 15 11 50, D-66041 Saarbrucken, Germany	user correction
ABSTRACT	This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating communicative acts by employing a combination of hierarchical planning and focus-guided navigation. The microplanner	user correction
YEAR	1997	INFERENCE
VENUE	PROCEEDINGS OF THE 15TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	965--970	INFERENCE
CITATIONS	21 found	ParsCit 1.0