On the Elimination of Quantifiers through Descriptors in Predicate Logic.
Domenico CantoneMarianna Nicolosi AsmundoEugenio G. OmodeoPublished in: CILC (2012)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- formal logic
- computational linguistics
- temporal logic
- semantic net
- predicate calculus
- semantic network
- keypoints
- natural language
- lower level
- feature descriptors
- first order logic
- feature vectors
- image retrieval
- knowledge sources
- model checking
- higher level
- general purpose
- data analysis
- data mining