Keyphrases
- logic programming
- modal logic
- classical logic
- data sets
- asynchronous circuits
- truth values
- machine learning
- sound and complete axiomatization
- deductive reasoning
- logic synthesis
- logical operations
- dynamic logic
- abductive reasoning
- defeasible logic
- multi valued
- information systems
- computer vision
- social networks
- neural network