Keyphrases
- valued logic
- propositional logic
- classical logic
- fuzzy logic
- fuzzy sets
- first order logic
- truth values
- multi valued
- logic programs
- datalog programs
- automated reasoning
- neural network
- real time
- modal logic
- computational intelligence
- logic programming
- inference rules
- rough sets
- knowledge representation
- control system
- bayesian networks
- artificial intelligence