Keyphrases
- rule based systems
- default logic
- logic programming
- default theories
- nonmonotonic reasoning
- default reasoning
- knowledge representation
- rule base
- nonmonotonic logics
- autoepistemic logic
- rule based expert systems
- fixed point
- expert systems
- modal logic
- formal models
- default rules
- knowledge based systems
- logic programs
- defeasible logic
- knowledge base
- relational databases
- reinforcement learning
- bayesian networks
- artificial intelligence