论文信息 - Logic in Action - 字舞流文

Logic in Action

This book contains some research impressions from the Spinoza project 'Logic in Action' (1996-2001)

M. de Rijke | Yde Venema | Paul Dekker | J.F.A.K. van Benthem | J. van Eijck | J. Benthem | Y. Venema | P. Dekker | J. Eijck

[1] Richard Montague,et al. The Proper Treatment of Quantification in Ordinary English , 1973 .

[2] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[3] John Launchbury,et al. Constructing Natural Language Interpreters in a Lazy Functional Language , 1989, Comput. J..

[4] Stuart M. Shieber,et al. An Introduction to Unification-Based Approaches to Grammar , 1986, CSLI Lecture Notes.

[5] László Dezsö,et al. Universal Grammar , 1981, Certainty in Action.

[6] David H. D. Warren,et al. Parsing as Deduction , 1983, ACL.

[7] Daniel Jackson. Automating first-order relational logic , 2000, SIGSOFT '00/FSE-8.

[8] Richard Montague,et al. ENGLISH AS A FORMAL LANGUAGE , 1975 .