Keyphrases
- modal logic
- classical logic
- logic programming
- digital circuits
- real time
- database
- proof theory
- decision trees
- formal theory
- predicate logic
- sound and complete axiomatization
- epistemic logic
- abductive reasoning
- nonmonotonic logics
- computational properties
- logical framework
- probability theory
- decision making
- computer vision
- learning algorithm
- machine learning