Keyphrases
- computer algebra
- logic programming
- classical logic
- modal logic
- automated reasoning
- multi valued
- defeasible logic
- set theory
- mathematical models
- probabilistic logic
- asynchronous circuits
- mathematical knowledge
- real time
- proof theory
- natural deduction
- mathematical expressions
- mathematical theory
- nonmonotonic logics
- multiscale
- similarity measure
- databases
- data sets