Some Uses of Higher-Order Logic in Computational Linguistics

35911

Knowledge Triples

Source Entity	Relationship	Target Entity
Логика высшего порядка Method	comparesWith	Семантические сети Method
Логика высшего порядка Method	includes	Определённые клаузулы Method
Логика высшего порядка Method	uses	Prolog высшего порядка Method