W02-0211 modules via the history . Only the discourse-level understanding and discourse manager modules
W02-0211 to apply that knowledge . The discourse-level understanding module updates the propositions
P98-2188 dialogue acts is critical for discourse-level understanding and can also be useful for other
W02-0211 proof queue as in - put . The discourse-level understanding module stores and selects proof
W02-0211 . To build these proofs , the discourse-level understanding module uses domain axioms , the
W02-0211 Building an Abductive Proof The discourse-level understanding module uses language axioms and
W02-0211 imposes so this is handled by discourse-level understanding . It would also impose a greater
W02-0211 returns a new proof queue . The discourse-level understanding module builds the input proof
W02-0211 Freedman et al. , 2000 ) . The discourse-level understanding module uses language and domain
hide detail