Keyphrases
- logic programming
- modal logic
- automated reasoning
- multi valued
- bi directional
- concept formation
- functional programs
- database
- delay insensitive
- proof search
- constructive induction
- forward and backward
- classical logic
- learning algorithm
- defeasible logic
- programming language
- bayesian networks
- asynchronous circuits
- decision trees
- artificial intelligence