Keyphrases
- modal logic
- logic programming
- multi valued
- predicate logic
- sound and complete axiomatization
- computational properties
- nonmonotonic logics
- formal theory
- epistemic logic
- linear logic
- refinement process
- relational databases
- multiscale
- information retrieval
- neural network
- asynchronous circuits
- dynamic logic
- proof theory
- logic synthesis
- machine learning