A Resolution Calculus for Dynamic Semantics
<|reference_start|>A Resolution Calculus for Dynamic Semantics: This paper applies resolution theorem proving to natural language semantics. The aim is to circumvent the computational complexity triggered by natural language ambiguities like pronoun binding, by interleaving pronoun binding with resolution deduction. Therefore disambiguation is only applied to expression that actually occur during derivations.<|reference_end|>
@article{monz2000a,
    title={A Resolution Calculus for Dynamic Semantics},
    author={Christof Monz, Maarten de Rijke},
    journal={In: J. Dix, L. Farinas del Cerro, and U. Furbach (eds.) Logics in
  Artificial Intelligence (JELIA'98). Lecture Notes in Artificial Intelligence
  1489, Springer, 1998, pp. 184-198},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0009018},
    primaryClass={cs.CL cs.AI}
}