Abstract categorial parsing as linear logic programming

MaRDI QIDQ4599194zbMATH OpenFDO

Authors Philippe de Groote

Publication date 18 December 2017

Full work available at URL https://aclweb.org/anthology/W/W15/W15-2302.pdf

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Cyclic multiplicative proof nets of linear logic with an application to language parsing
• scientific article; zbMATH DE number 1341604
• scientific article; zbMATH DE number 1341539
• Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
• Categorial grammar and type theory

Cited in

(7)

• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
• A Datalog recognizer for almost affine -CFGs
• scientific article; zbMATH DE number 1341539 (Why is no real title available?)
• scientific article; zbMATH DE number 1341604 (Why is no real title available?)
• scientific article; zbMATH DE number 1786546 (Why is no real title available?)
• Count-invariance including exponentials
• On the membership problem for non-linear abstract categorial grammars

This page was built for publication: Abstract categorial parsing as linear logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4599194)