메뉴 건너뛰기




Volumn 358, Issue 1769, 2000, Pages 1267-1280

Statistical and logical reasoning in disambiguation

Author keywords

Ambiguity; Domain theories; Inductive logic programming; Natural language semantics

Indexed keywords


EID: 0347307072     PISSN: 1364503X     EISSN: None     Source Type: Journal    
DOI: 10.1098/rsta.2000.0585     Document Type: Article
Times cited : (3)

References (14)
  • 1
    • 84937315975 scopus 로고
    • 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 scopus 로고
    • 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
  • 6
    • 0002679169 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.