@MISC\{IMM2013-06604,
    author       = "M. S. Schlichtkrull",
    title        = "A Logical Approach to Anaphora in Natural Language",
    year         = "2013",
    publisher    = "Technical University of Denmark, {DTU} Compute, {E-}mail: compute@compute.dtu.dk",
    address      = "Matematiktorvet, Building 303{-B,} {DK-}2800 Kgs. Lyngby, Denmark",
    note         = "{DTU} supervisor: J{\o}rgen Villadsen, jovi@dtu.dk, {DTU} Compute",
    url          = "http://www.compute.dtu.dk/English.aspx",
    abstract     = "Through a synthesis between Discourse Representation Theory and Montague Semantics, this thesis presents a formal logical approach to anaphora resolution in natural languages based on the strategy described by Reinhard Muskens in the 1991 paper Anaphora and the Logic of Change.
A method for validating co-indexings after translation by employing a set of filters is proposed, and the approach is illustrated through filters based on subtypes, logic, and an adaptation of Chomsky’s Government and Binding theory.
While the approach is shown to be capable of standing on its own, the proposed design should be seen as one half of a system that utilizes both logical and statistical means.
The thesis is accompanied by a proof of concept implementation, demonstrating the described strategy both as translator and as anaphora resolver."
}