露丝·肯普森;Eleni Gregoromichelaki;威尔弗里德·迈耶·维奥;马修·普弗;格雷厄姆·怀特;罗尼·坎恩 作为解释程序的自然语言句法:省略识解的动态。 (英语) Zbl 1318.03040号 Lecomte,Alain(编辑)等人,《卢迪克斯,对话与互动》。PRELUDE项目–2006年至2009年。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19210-4/pbk)。计算机科学课程讲稿6505。人工智能课堂讲稿,114-133(2011)。MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kempson}等人,Lect。注释计算。科学。6505、114--133(2011;Zbl 1318.03040) 全文: DOI程序
威尔弗里德·迈耶·维奥;露丝·肯普森 序列支配语法。 (英语) Zbl 1272.03132号 阿尔特莫夫、谢尔盖(编辑)等,我们将向他们展示!为纪念多夫·加巴伊60岁生日而写的论文。第2卷。伦敦:学院出版物(ISBN 1-904987-12-5/pbk;1-904987-26-5/hbk)。《致敬》2,341-370(2005)。MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{W.Meyer Viol}和\textit{R.Kempson},《致敬2》,341-370(2005年;Zbl 1272.03132)
威尔弗里德·梅耶·维奥;R.Kibble。;R·肯普森。;D.加巴伊。 不确定项定义为ε项:一个有标签的扣除账户。 (英语) Zbl 1004.03026号 Bunt,Harry(编辑)等人,《计算意义》。第1卷。多德雷赫特:Kluwer学术出版社。语言学家。菲洛斯。73, 203-218 (2001). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:03B65号 68T50型 第68页第27页 68立方英尺 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{W.Meyer Viol}等人,语言学研究生。菲洛斯。73、203--218(2001年;Zbl 1004.03026)
露丝·肯普森 走向自然语言口译交叉的程序模型:一个案例研究。 (英语) Zbl 0951.03027号 Ohlbach,Hans Jürgen(编辑)等人,《逻辑、语言和推理》。纪念Dov Gabbay的论文。多德雷赫特:Kluwer学术出版社。趋势日志。螺柱日志。伦敦银行同业拆借利率。5, 295-334 (1999).MSC公司:03B65型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kempson},趋势日志。螺柱日志。伦敦银行同业拆借利率。5、295--334(1999;Zbl 0951.03027)
马塞洛·芬格;罗杰·基布尔;Dov Gabbay公司;露丝·肯普森 使用LDS解析自然语言:原型。 (英语) Zbl 0882.03028号 日志。J.IGPL公司 5,第5期,647-671(1997). 审核人:P.马特拉纳(普拉哈) MSC公司:03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}等人,《日志》。J.IGPL 5,第5号,647--671(1997;Zbl 0882.03028) 全文: DOI程序 链接
Dov Gabbay公司(编辑);露丝·肯普森(编辑) 关于证明理论和自然语言的特刊。 (英语) Zbl 0853.00010号 J.逻辑语言信息。5,第3-4、247-422号(1996年)。 MSC公司:00B15号机组 03-06 PDF格式BibTeX公司 XML格式
Dov Gabbay公司;露丝·肯普森 语言和证明理论。“证明理论与自然语言”专刊前言。 (英语) Zbl 0858.03033号 J.逻辑语言信息。 5,第3-4号,247-251(1996). 审核人:R.Murawski(波兹南) MSC公司:03B65号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}和\textit{R.Kempson},J.Logic Lang.Inf.5,No.3--4247--251(1996;Zbl 0858.03033) 全文: DOI程序
露丝·肯普森(编辑) 关于演绎和语言的特别问题。 (英语) Zbl 0826.00007 牛市。IGPL公司3,第2-3号,第160-527页(1995年)。 MSC公司:00B15号机组 03-06 PDF格式BibTeX公司 XML格式