Logical Aspects of Computational Linguistics
暂无分享,去创建一个
[1] Mark Steedman,et al. The syntactic process , 2004, Language, speech, and communication.
[2] James Pustejovsky,et al. The Generative Lexicon , 1995, CL.
[3] Jason Baldridge,et al. Multi-Modal Combinatory Categorial Grammar , 2003, EACL.
[4] Tadao Kasami,et al. On Multiple Context-Free Grammars , 1991, Theor. Comput. Sci..
[5] William C. Purdy,et al. A Logic for Natural Language , 1991, Notre Dame J. Formal Log..
[6] Aarne Ranta. Type-Theoretical Grammar , 1995 .
[7] Seymour Ginsburg,et al. Two Families of Languages Related to ALGOL , 1962, JACM.
[8] Giorgio Satta,et al. The Importance of Rule Restrictions in CCG , 2010, ACL.
[9] Timothy A. D. Fowler,et al. Categorial Grammar: Logical Syntax, Semantics, and Processing Glyn V. Morrill (Universitat Politècnica de Catalunya)Oxford: Oxford University Press, 2011, xv+236 pp; hardbound, ISBN 978-0-19-958985-2, £ 80.00, $150.00; paperbound, ISBN 978-0-19-958986-9, £ 29.99, $55.00 , 2011, Computational Linguistics.
[10] Dag Prawitz,et al. On the idea of a general proof theory , 1974, Synthese.
[11] Alexander Clark,et al. Learning Context Free Grammars with the Syntactic Concept Lattice , 2010, ICGI.
[12] Sylvain Salvati,et al. of Third Order , 2012 .
[13] Ryo Yoshinaka,et al. Efficient learning of multiple context-free languages with multidimensional substitutability from positive data , 2011, Theor. Comput. Sci..
[14] Dag Prawitz,et al. Towards A Foundation of A General Proof Theory , 1973 .
[15] Joachim Lambek,et al. Type Grammar Revisited , 1997, LACL.
[16] Stanley Peters,et al. Quantifiers in language and logic , 2006 .
[17] Jan van Eijck,et al. Natural Logic for Natural Language , 2007, TbiLLC.
[18] J. Benthem. Essays in Logical Semantics , 1986 .
[19] Alexander Clark,et al. The syntactic concept lattice: Another algebraic theory of the context-free languages? , 2015, J. Log. Comput..
[20] Fernando Pereira,et al. The Semantics of Grammar Formalisms Seen as Computer Languages , 1984, ACL.
[21] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.
[22] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[23] J. Lambek. The Mathematics of Sentence Structure , 1958 .
[24] Erik Poll,et al. Pure Type Systems with Definitions , 1994, LFCS.