Kristina Striegnitz. Model Checking for Contextual Reasoning in NLG. In
Patrick Blackburn and
Michael Kohlhase editors, Proceedings of Inference in Computational Semantics (ICoS-3), June 18-23, Pages 101-115, Siena, Italy, 2001. [Abstract] google [Annote]
|