Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
Zhaohui LuoPublished in: LACL (2014)
Keyphrases
- formal semantics
- model theoretic
- operational semantics
- proof theoretic
- default reasoning
- first order logic
- deductive databases
- description logics
- linear logic
- modeling language
- nonmonotonic reasoning
- logic programs
- probabilistic reasoning
- fixpoint
- ontology languages
- constraint logic programming
- proof theory
- theorem prover
- machine learning
- mental states
- speech acts
- software engineering
- reasoning problems
- probability distribution
- artificial intelligence