Keyphrases
- predicate logic
- temporal logic
- modal logic
- model checking
- knowledge representation and reasoning
- formal logic
- semantic net
- inference rules
- desirable properties
- computational linguistics
- semantic network
- predicate calculus
- lower level
- order sorted
- search engine
- logical formulas
- belief revision
- video frames
- domain specific
- text mining
- search algorithm