Research on Language and Computation

, Volume 5, Issue 1, pp 69–86

Implicit Skolemization: efficient reference to dependent entities

Original Paper

DOI: 10.1007/s11168-006-9015-x

Cite this article as:
Schubert, L. Research Language Computation (2007) 5: 69. doi:10.1007/s11168-006-9015-x


A direct representation of functional reference is proposed, such as occurs in “All graduates received a job offer (at the job fair); all of them accepted their offer”. The approach makes use of a variant of dynamic predicate logic wherein the values of existentially quantified variables may be functions. The approach also appears helpful with respect to some other problems in semantic representation, in particular bridging anaphora and generic or frame/script-like knowledge.


Functional reference Implicit Skolemization DPL Donkey anaphora Scripts Generic sentences 

Copyright information

© Springer Science+Business Media 2006

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of RochesterRochesterUSA

Personalised recommendations