Keyphrases
- constraint language
- multi valued
- modal logic
- epistemic logic
- classical logic
- linear constraints
- artificial intelligence
- neural network
- logic programming
- hierarchical structure
- data sets
- multi agent systems
- object detection
- automated reasoning
- bayesian networks
- digital circuits
- truth values
- learning algorithm
- asynchronous circuits