-
1
-
-
84937315975
-
Training and scaling preference functions for disambiguation
-
Alshawi, H. & Carter, D. M. 1994 Training and scaling preference functions for disambiguation. Comp. Ling. 20, 635-648.
-
(1994)
Comp. Ling.
, vol.20
, pp. 635-648
-
-
Alshawi, H.1
Carter, D.M.2
-
2
-
-
0003845417
-
The present status of automatic translation of languages
-
ed. F. L. Alt, Academic
-
Bar-Hillel, Y. 1960 The present status of automatic translation of languages. In Advances in computers (ed. F. L. Alt), vol. 1, pp. 91-163. Academic.
-
(1960)
Advances in Computers
, vol.1
, pp. 91-163
-
-
Bar-Hillel, Y.1
-
3
-
-
85118152899
-
Three generative, lexicalised models for statistical parsing
-
Collins, M. 1998 Three generative, lexicalised models for statistical parsing. In Proc. 35th Ass. for Computational Linguistics Conf., Madrid, Spain, pp. 16-23.
-
(1998)
Proc. 35th Ass. for Computational Linguistics Conf., Madrid, Spain
, pp. 16-23
-
-
Collins, M.1
-
5
-
-
0027683879
-
Interpretation as abduction
-
Hobbs, J. R., Stickel, M. E., Appelt, D. E. & Martin, P. 1993 Interpretation as abduction. Artificial Intell. 63, 69-142.
-
(1993)
Artificial Intell.
, vol.63
, pp. 69-142
-
-
Hobbs, J.R.1
Stickel, M.E.2
Appelt, D.E.3
Martin, P.4
-
6
-
-
0002679169
-
The structure of a semantic theory
-
ed. J. J. Katz & J. A. Fodor, Englewood Cliffs, NJ: Prentice Hall
-
Katz, J. J. & Fodor, J. A. 1964 The structure of a semantic theory. In The structure of language: readings in the philosophy of language (ed. J. J. Katz & J. A. Fodor), pp. 479-518. Englewood Cliffs, NJ: Prentice Hall. (Reprinted from Language 39, 170-210.)
-
(1964)
The Structure of Language: Readings in the Philosophy of Language
, pp. 479-518
-
-
Katz, J.J.1
Fodor, J.A.2
-
7
-
-
0001366272
-
-
Reprinted
-
Katz, J. J. & Fodor, J. A. 1964 The structure of a semantic theory. In The structure of language: readings in the philosophy of language (ed. J. J. Katz & J. A. Fodor), pp. 479-518. Englewood Cliffs, NJ: Prentice Hall. (Reprinted from Language 39, 170-210.)
-
Language
, vol.39
, pp. 170-210
-
-
-
8
-
-
85032870902
-
Satchmo: A theorem prover implemented in Prolog
-
CADE 88: 9th Conf. Automated Deduction, Springer
-
Manthey, R. & Bry, F. 1988 Satchmo: a theorem prover implemented in Prolog. In CADE 88: 9th Conf. Automated Deduction, pp. 415-434. Lecture Notes in Computer Science. Springer.
-
(1988)
Lecture Notes in Computer Science
, pp. 415-434
-
-
Manthey, R.1
Bry, F.2
-
9
-
-
77951503082
-
Inverse entailment and Progol
-
Muggleton, S. 1995a Inverse entailment and Progol. New Generation Comput. 13, 245-286.
-
(1995)
New Generation Comput.
, vol.13
, pp. 245-286
-
-
Muggleton, S.1
-
11
-
-
0028429573
-
Inductive logic programming: Theory and methods
-
Muggleton, S. & De Raedt, L. 1994 Inductive logic programming: theory and methods. J. Logic Programming 19, 629-679,.
-
(1994)
J. Logic Programming
, vol.19
, pp. 629-679
-
-
Muggleton, S.1
De Raedt, L.2
-
12
-
-
0040827737
-
Unification encodings of grammatical notations
-
Pulman, S. G. 1996 Unification encodings of grammatical notations. Comp. Ling. 22, 295-328.
-
(1996)
Comp. Ling.
, vol.22
, pp. 295-328
-
-
Pulman, S.G.1
-
13
-
-
0039332976
-
Bidirectional contextual resolution
-
In the press
-
Pulman, S. G. 2000 Bidirectional contextual resolution. Available at www.cl.cam.ac.uk/users/ sgp/bcr.ps. Comp. Ling. (In the press.)
-
(2000)
Comp. Ling.
-
-
Pulman, S.G.1
-
14
-
-
0342275501
-
Preference semantics
-
ed. E. Keenan, Cambridge University Press
-
Wilks, Y. A. 1975 Preference semantics. In The formal semantics of natural language (ed. E. Keenan), pp. 329-348. Cambridge University Press.
-
(1975)
The Formal Semantics of Natural Language
, pp. 329-348
-
-
Wilks, Y.A.1
|