Keyphrases
- logic programming
- modal logic
- logical framework
- classical logic
- computational properties
- symbolic reasoning
- connectionist learning
- neural network
- symbolic description
- proof theory
- asynchronous circuits
- formal theory
- digital circuits
- set theory
- multi valued
- query language
- relational databases
- bayesian networks
- website