Keyphrases
- logic programming
- modal logic
- classical logic
- multi valued
- machine learning
- logical framework
- automated reasoning
- sound and complete axiomatization
- epistemic logic
- predicate logic
- data model
- multiscale
- data mining
- natural language
- default reasoning
- database
- clustering algorithm
- image processing
- set theory
- nonmonotonic logics
- information systems
- artificial intelligence
- asynchronous circuits
- dynamic logic
- proof theory
- logic synthesis