Keyphrases
- deductive reasoning
- machine learning
- modal logic
- classical logic
- asynchronous circuits
- multi valued
- constraint language
- global constraints
- inductive learning
- neural network
- logic programming
- data mining
- proof theory
- real time
- epistemic logic
- functional programs
- constraint solving
- linear constraints
- inductive logic programming
- defeasible logic
- digital circuits
- predicate logic
- logical framework
- constraint networks
- natural deduction
- inductive reasoning
- constrained minimization
- knowledge representation
- knowledge base