FraCaS

swMATH27843MaRDI QIDQ39557FDOQ39557

Author name not available (Why is that?)

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

Cited In (10)

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

This page was built for software: FraCaS