|Books on Computational Semantics by Patrick Blackburn & Johan Bos|
|Working with Discourse Representation Theory|
|An advanced Course in Computational Semantics|
|Chapter 3. Pronoun Resolution.|
Here we turn to a key topic for DRT: pronoun resolution. On the basis of linguistic constraints as well as AI-heuristics, we present a Prolog program which determines which antecedent NPs are accessible, and performs pronoun resolution on the basis of this information.