Keyphrases
- classical logic
- logic programming
- database processing
- modal logic
- databases
- neural network
- formal theory
- deductive reasoning
- database
- topics covered
- asynchronous circuits
- fundamental concepts
- predicate logic
- nonmonotonic logics
- defeasible logic
- multi valued
- computational intelligence
- artificial intelligence
- data sets