Keyphrases
- logic programming
- confidence level
- artificial intelligence
- real time
- modal logic
- predicate logic
- high confidence
- formal theory
- computer vision
- truth values
- multi valued
- logical framework
- classical logic
- natural deduction
- deontic logic
- abductive reasoning
- digital circuits
- probability theory
- multi agent
- social networks
- learning algorithm
- machine learning
- data mining