Tag: formal semantics

Lecture: Semantics and Computational Semantics

Semantics and Computational Semantics

Topics: logic and language, formal theories, formal semantics, unification, first-order logic, predicate logic, propositional logic, semantics, computational semantics, meaning representation, connotation, denotation. Semantics and Computational Semantics from Marina Santini