Quantifier Elimination in Second-Order Predicate Logic.
Dov M. GabbayHans Jürgen OhlbachPublished in: KR (1992)
Keyphrases
- predicate logic
- quantifier elimination
- constraint propagation
- presburger arithmetic
- functional programming
- first order logic
- knowledge representation and reasoning
- cardinality constraints
- constraint databases
- temporal logic
- semantic network
- computational linguistics
- lower level
- artificial intelligence
- information retrieval
- semantic relations
- expert systems