Keyphrases
- classical logic
- databases
- software systems
- logic programming
- automated reasoning
- sound and complete axiomatization
- epistemic logic
- digital circuits
- source code
- artificial intelligence
- theorem proving
- object detection
- data streams
- computer vision
- predicate logic
- formal theory
- semantic categories
- deontic logic
- linear logic
- broad categories
- data mining