A Call for Executable Linguistics Research

19499

Knowledge Triples

Source Entity	Relationship	Target Entity
Automated Reasoning Method	uses	First Order Logic Method
Logical Semantics Method	requires	Symbolic Interpretations Task
Ontology Material	enhances	Logical Semantics Method
Symbolic Interpretations Task	supports	Automated Reasoning Method