Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits.
Gilles DowekMurdoch James GabbayPublished in: CILC (2012)
Keyphrases
- predicate logic
- highly expressive
- predicate calculus
- fluent calculus
- knowledge representation language
- knowledge representation and reasoning
- logical formulas
- semantic net
- formal logic
- logic programming
- temporal logic
- semantic network
- computational linguistics
- first order logic
- natural language processing
- natural language
- situation calculus
- state space
- low level