Keyphrases
- logic programming
- computational properties
- machine learning
- logical operations
- multi valued
- neural network
- proof theory
- modal logic
- automated reasoning
- sound and complete axiomatization
- asynchronous circuits
- predicate logic
- nonmonotonic logics
- defeasible logic
- logical framework
- database
- expressive power
- relational databases
- website
- information retrieval
- data sets