Keyphrases
- modal logic
- truth values
- valued logic
- conceptual clustering
- automated reasoning
- multi valued
- learning algorithm
- artificial intelligence
- logic programming
- epistemic logic
- fixpoint
- classical logic
- delay insensitive
- real time
- deontic logic
- formal theory
- digital circuits
- set theory
- concept lattice
- temporal logic
- bayesian networks
- data mining