Keyphrases
- databases
- modal logic
- logic programming
- sound and complete axiomatization
- classical logic
- expert systems
- data mining
- logical framework
- multi valued
- inference rules
- website
- information retrieval
- learning algorithm
- hidden markov models
- nonmonotonic logics
- predicate logic
- truth values
- abductive reasoning
- asynchronous circuits
- proof theory
- logic synthesis
- data sets