Keyphrases
- deductive reasoning
- network architecture
- neural network
- functional programs
- logic programming
- modal logic
- classical logic
- object oriented
- associative memory
- artificial neural
- abductive inference
- data sets
- neural computation
- database language
- deontic logic
- predicate logic
- neural model
- multi valued
- epistemic logic
- asynchronous circuits
- logical framework
- hebbian learning
- automated reasoning
- explanation based learning
- machine learning