Keyphrases
- multi valued
- logic programming
- binary decision diagrams
- association analysis
- defeasible logic
- proof theory
- connectionist models
- predicate logic
- computational properties
- deductive reasoning
- asynchronous circuits
- nonmonotonic logics
- neural network
- logical framework
- automated reasoning
- multi party
- artificial neural networks
- expert systems
- high level
- case study