Keyphrases
- deductive reasoning
- multi valued
- logical operations
- logic programming
- modal logic
- classical logic
- functional programs
- logic programs
- inductive learning
- proof theory
- non binary
- case study
- concept learning
- recursive programs
- inductive reasoning
- neural network
- onset detection
- program synthesis
- predicate logic
- digital circuits
- set theory
- computational properties
- knowledge representation
- bayesian networks
- data mining