|Books on Computational Semantics by Patrick Blackburn & Johan Bos|
|Working with Discourse Representation Theory|
|An advanced Course in Computational Semantics|
|Chapter 5. Acceptability Constraints.|
This chapter is devoted to implementing the acceptability constraints imposed by Van der Sandt on presupposition resolution and accommodation. We begin by explaining how to implement the consistency and informativity constraints. We then describe and implement the local versions of these constraints that Van der Sandt also imposes.