semana 9
23 Abril 2020, 14:00 • António Manuel Horta Branco
Resultado de Barwise & Cooper (1981). Quantificador generalizado. Linguagem de Quantificadores Generalizados (LQG): Sintaxe e Semântica. Análise semântica automática com LQG. Implementação em Prolog.