Keyphrases
- logic programming
- asynchronous circuits
- modal logic
- predicate logic
- epistemic logic
- multi valued
- classical logic
- probabilistic logic
- lower dimension
- proof theory
- dynamic logic
- deontic logic
- arbitrary dimension
- nonmonotonic logics
- set theory
- real time
- automated reasoning
- probability theory
- relational databases
- data structure
- information systems
- information retrieval
- neural network