Keyphrases
- knowledge acquisition
- propositional dynamic logic
- deontic logic
- dynamic logic
- expert systems
- inductive learning
- knowledge representation
- logic programming
- domain experts
- ripple down rules
- knowledge based systems
- modal logic
- knowledge base
- multi valued
- classical logic
- reasoning about actions
- case study
- automated reasoning
- machine learning
- nonmonotonic logics
- predicate logic
- database
- knowledge acquisition tools
- incremental knowledge acquisition
- formal theory
- legal reasoning
- semi automatic
- logic programs
- case based reasoning
- data sets