FraCaS

MaRDI QIDQ39557swMATHFDO

Official website https://files.ifi.uzh.ch/cl/hess/classes/seminare/interface/framework.pdf

Cited in

(10)

• Natural language inference in Coq
• Plastic
• GF
• GF
• LangPro
• SICK
• NeuralLog
• Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution
• The proper treatment of linguistic ambiguity in ordinary algebra
• Translating between language and logic: what is easy and what is difficult

This page was built for software: FraCaS