-
1
-
-
1542622564
-
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars
-
R. Kowalski and K. Bowen, editors, MIT Press
-
Abramson, Harvey. 1988. Metarules and an Approach to Conjunction in Definite Clause Translation Grammars. In R. Kowalski and K. Bowen, editors, Proceedings of the 5th International Logic Programming Conference. MIT Press, pages 233-248.
-
(1988)
Proceedings of the 5th International Logic Programming Conference
, pp. 233-248
-
-
Abramson, H.1
-
2
-
-
0022988016
-
An algebraic semantics approach to the effective resolution of type equations
-
Ait-Kaci, Hassan. 1986. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293-351.
-
(1986)
Theoretical Computer Science
, vol.45
, pp. 293-351
-
-
Ait-Kaci, H.1
-
3
-
-
0024304651
-
Efficient implementation of lattice operations
-
January
-
Ait-Kaci, Hassan, Bob Boyer, Pat Lincoln, and Roger Nasr. 1989. Efficient implementation of lattice operations. ACM Transactions of Programming Languages and Systems. 11(1), January.
-
(1989)
ACM Transactions of Programming Languages and Systems
, vol.11
, Issue.1
-
-
Ait-Kaci, H.1
Boyer, B.2
Lincoln, P.3
Nasr, R.4
-
4
-
-
0004201098
-
-
MIT Press: Bradford Books, Boston, MA
-
Alshawi, Hiyan (editor). 1992. The Core Language Engine. MIT Press: Bradford Books, Boston, MA.
-
(1992)
The Core Language Engine
-
-
Alshawi, H.1
-
5
-
-
0039031897
-
-
CEC Luxembourg
-
Alshawi, Hiyan, Doug Arnold, Rolf Backofen, David Carter, Jeremy Lindop, Klaus Netter, Stephen Pulman, Junichi Tsujii, and Hans Uskoreit. 1991. ET6/1 Rule Formalism and Virtual Machine Design Study. CEC Luxembourg.
-
(1991)
ET6/1 Rule Formalism and Virtual Machine Design Study
-
-
Alshawi, H.1
Arnold, D.2
Backofen, R.3
Carter, D.4
Lindop, J.5
Netter, K.6
Pulman, S.7
Tsujii, J.8
Uskoreit, H.9
-
6
-
-
2342584442
-
The 〈C,A〉T framework in EUROTRA: A theoretically committed notation for MT
-
Arnold, Doug, Stephen Krauwer, Michael A. Rosner, Louis des Tombe, and Giovanni B. Varile. 1986. The 〈C,A〉T framework in EUROTRA: A theoretically committed notation for MT. COLING-86, pages 297-303.
-
(1986)
COLING-86
, pp. 297-303
-
-
Arnold, D.1
Krauwer, S.2
Rosner, M.A.3
Des Tombe, L.4
Varile, G.B.5
-
8
-
-
0002740807
-
A formalism and environment for the development of a large grammar of english
-
Milan, Italy
-
Briscoe, Edward, Claire Grover, Branimir Boguraev, and John Carroll. 1987. A formalism and environment for the development of a large grammar of english. In Proceedings of the 10th International Joint Conference on Artificial Intelligence, pages 703-708, Milan, Italy.
-
(1987)
Proceedings of the 10th International Joint Conference on Artificial Intelligence
, pp. 703-708
-
-
Briscoe, E.1
Grover, C.2
Boguraev, B.3
Carroll, J.4
-
11
-
-
1542413219
-
Handling linear precedence constraints by unification
-
Newark, Delaware
-
Engelkamp, Judith, Gregor Erbach, and Hans Uskoreit. 1992. Handling linear precedence constraints by unification. In Proceedings of the 30th Annual Meeting, ACL. pages 201-208, Newark, Delaware.
-
(1992)
Proceedings of the 30th Annual Meeting, ACL
, pp. 201-208
-
-
Engelkamp, J.1
Erbach, G.2
Uskoreit, H.3
-
13
-
-
84929063208
-
A parsing algorithm for unification grammar
-
Haas, Andrew. 1989. A parsing algorithm for unification grammar. Computational Linguistics. 15(4): 219-232.
-
(1989)
Computational Linguistics
, vol.15
, Issue.4
, pp. 219-232
-
-
Haas, A.1
-
14
-
-
84936526414
-
Attribute-Value Logic and the Theory of Grammar
-
University of Chicago Press
-
Johnson, Mark. 1988. Attribute-Value Logic and the Theory of Grammar. CLSI Lecture Notes, Vol. 16. University of Chicago Press.
-
(1988)
CLSI Lecture Notes
, vol.16
-
-
Johnson, M.1
-
16
-
-
1542413220
-
Grammatical Formalisms: Issues in Migration and Expressivity
-
Luxembourg: Office for Official Publications of the Commission of the European Communities
-
Markantonatou, Stella and Louisa Sadler (editors). 1994. Grammatical Formalisms: Issues in Migration and Expressivity. Studies in Machine Translation and Natural Language Processing, Vol 4. Luxembourg: Office for Official Publications of the Commission of the European Communities.
-
(1994)
Studies in Machine Translation and Natural Language Processing
, vol.4
-
-
Markantonatou, S.1
Sadler, L.2
-
17
-
-
84936823791
-
Implementing systemic classification by unification
-
Mellish, Chris. 1988. Implementing systemic classification by unification. Computational Linguistics, 14: 40-51.
-
(1988)
Computational Linguistics
, vol.14
, pp. 40-51
-
-
Mellish, C.1
-
18
-
-
84915431238
-
The MiMo2 research system
-
Linguistics Research Center, Austin, Texas
-
van Noord, Gertjan, Joke Dorrepaal, Pim van der Eijk, M. Florenza, and Louis des Tombe. 1990. The MiMo2 research system. Third International Conference on Theoretical and Methodological Issues in Machine Translation, Linguistics Research Center, Austin, Texas.
-
(1990)
Third International Conference on Theoretical and Methodological Issues in Machine Translation
-
-
Van Noord, G.1
Dorrepaal, J.2
Van Der Eijk, P.3
Florenza, M.4
Des Tombe, L.5
-
19
-
-
84925972449
-
Extraposition grammars
-
Pereira, Fernando. 1981. Extraposition grammars. Computational Linguistics, 7(4): 243-256.
-
(1981)
Computational Linguistics
, vol.7
, Issue.4
, pp. 243-256
-
-
Pereira, F.1
-
20
-
-
0012865043
-
Prolog and Natural Language Analysis
-
University of Chicago Press
-
Pereira, Fernando and Stuart Sheiber. 1987. Prolog and Natural Language Analysis. CSLI Lecture Notes, Vol. 10, University of Chicago Press.
-
(1987)
CSLI Lecture Notes
, vol.10
-
-
Pereira, F.1
Sheiber, S.2
-
21
-
-
0006323565
-
Information Based Syntax and Semantics, 1: Fundamentals
-
University of Chicago Press
-
Pollard, Carl and Ivan Sag. 1987. Information Based Syntax and Semantics, 1: Fundamentals. CSLI Lecture Notes, Vol. 13. University of Chicago Press.
-
(1987)
CSLI Lecture Notes
, vol.13
-
-
Pollard, C.1
Sag, I.2
-
23
-
-
1542622567
-
Unification based syntactic analysis
-
Hiyan Alshawi, editor, MIT Press, 1992
-
Pulman, Stephen G. 1992. Unification based syntactic analysis. In Hiyan Alshawi, editor, The Core Language Engine, MIT Press, 1992.
-
(1992)
The Core Language Engine
-
-
Pulman, S.G.1
-
24
-
-
84947949183
-
Expressivity of Lean Formalisms
-
S. Markantonatou and L. Sadler, editors, Luxembourg, 1994
-
Pulman, Stephen G. 1994. Expressivity of Lean Formalisms. In S. Markantonatou and L. Sadler, editors, Grammatical Formalisms, Luxembourg, 1994, pages 35-59.
-
(1994)
Grammatical Formalisms
, pp. 35-59
-
-
Pulman, S.G.1
-
25
-
-
84930563493
-
Disjunction without tears
-
Ramsay, Allan. 1990. Disjunction without tears. Computational Linguistics, 16(3): 171-174.
-
(1990)
Computational Linguistics
, vol.16
, Issue.3
, pp. 171-174
-
-
Ramsay, A.1
-
30
-
-
0002474707
-
Feature constraint logics for unification grammars
-
Smolka, Gert. 1992. Feature constraint logics for unification grammars. Journal of Logic Programming, 12: 51-87.
-
(1992)
Journal of Logic Programming
, vol.12
, pp. 51-87
-
-
Smolka, G.1
|