Epsilon substitution for first- and second-order predicate logic.
Grigori MintsPublished in: Ann. Pure Appl. Log. (2013)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- formal logic
- temporal logic
- higher order
- semantic network
- semantic net
- complexity analysis
- predicate calculus
- lower level
- computational linguistics
- machine learning
- artificial intelligence
- higher level
- general purpose
- data model
- relational databases
- search algorithm
- search engine
- order sorted