ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch

Autor: Kogkalidis, K., Moortgat, M.J., Moot, R.C.A., LS Linguistiek de taalinformatica, ILS LLI

Publikováno v: The 12th Language Resources and Evaluation Conference, 5259
ISSUE=12;STARTPAGE=5259;TITLE=The 12th Language Resources and Evaluation Conference

We present ÆTHEL, a semantic compositionality dataset for written Dutch. ÆTHEL consists of two parts. First, it contains a lexicon of supertags for about 900 000 words in context. The supertags correspond to types of the simply typed linear lambda-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::9a3608a6d23f70a52f923d4f90fbe0ee
https://dspace.library.uu.nl/handle/1874/415544

Neural Proof Nets

Autor: Kogkalidis, K., Moortgat, M.J., Moot, R.C.A., LS Linguistiek de taalinformatica, ILS LLI

Publikováno v: HAL
24th Conference on Computational Natural Language Learning (CoNLL)
24th Conference on Computational Natural Language Learning (CoNLL), Nov 2020, Virtual, Dominican Republic
The SIGNLL Conference on Computational Natural Language Learning
CoNLL

Linear logic and the linear {\lambda}-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of particular interest, offering an attractive geometric represen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4db6b8dd22f7c24ab3f1c040f2a42283

Proof nets for the multimodal Lambek Calculus

Autor: Puite, Q., Moot, R.C.A.

Since the introduction of proof nets as an elegant proof theory for the multiplicative fragment of linear logic in Girard a number of attempts have been made to adapt this proof theory to a variety of Lambek Calculi as shown by work from eg Roorda Mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::20da0df1f53699f3af9159a79446fbe5
https://dspace.library.uu.nl/handle/1874/2073