Keyphrases
- deductive reasoning
- logic programming
- classical logic
- modal logic
- inductive learning
- functional programs
- inductive logic programming
- machine learning
- concept learning
- real time
- inductive reasoning
- deontic logic
- logical framework
- inductive inference
- information systems
- automated reasoning
- nonmonotonic reasoning
- formal theory
- epistemic logic
- website
- databases
- database
- recursive programs