Keyphrases
- information systems
- deductive reasoning
- modal logic
- inductive learning
- machine learning
- recursive programs
- predicate logic
- logic programming
- health care
- user satisfaction
- concept learning
- functional programs
- multi valued
- systems development
- classical logic
- digital circuits
- inductive reasoning
- database
- inductive logic programming
- data model
- deontic logic
- formal theory
- defeasible logic
- support systems
- inductive inference