Keyphrases
- predicate logic
- highly expressive
- predicate calculus
- fluent calculus
- knowledge representation and reasoning
- formal logic
- semantic net
- computational linguistics
- semantic network
- lower level
- logical formulas
- logic programming
- temporal logic
- linear logic
- fuzzy set theory
- classical logic
- information retrieval
- higher level
- data analysis
- artificial intelligence
- interval valued
- fuzzy numbers
- theorem prover
- logic programs
- expert systems
- multi agent systems