A controlled fragment of DRT

CEUR Workshop Proceedings

Volumn 448, Issue , 2009, Pages

  Bos, Johan ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84888101427     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Mortimer, M.: On languages with two variables. Zeitschrift für Math. Logik und Grundlagen der Mathematik 21 (1975) 135-140
2. de Nivelle, H., Pratt-Hartmann, I.: A resolution-based decision procedure for the two-variable fragment with equality. In: IJCAR. (2001) 211-225
3. Kamp, H., Reyle, U.: From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT. Kluwer, Dordrecht (1993)
4. van Eijck, J., Kamp, H.: Representing Discourse in Context. In van Benthem, J., ter Meulen, A., eds.: Handbook of Logic and Language. Elsevier, MIT (1997) 179-240
5. Pratt-Hartmann, I.: A two-variable fragment of english. Journal of Logic, Language and Information 12(1) (2003) 13-45
6. Steedman, M.: The Syntactic Process. The MIT Press (2001)
7. Hockenmaier, J.: Data and Models for Statistical Parsing with Combinatory Categorial Grammar. PhD thesis, University of Edinburgh (2003)
8. Kipper, K., Korhonen, A., Ryant, N., Palmer, M.: A large-scale classification of english verbs. Language Resources and Evaluation 42(1) (2008) 21-40
9. Franconi, E.: A treatment of plurals and plural quantifications based on a theory of collections. In: Minds and Machines. (1993) 453-474