Keyphrases
- default logic
- default reasoning
- autoepistemic logic
- situation calculus
- commonsense knowledge
- answer sets
- logic programs
- closed world assumption
- nonmonotonic logics
- nonmonotonic reasoning
- closed world reasoning
- disjunctive logic programming
- theorem prover
- event calculus
- loop formulas
- stable model semantics
- logic programming
- default theories
- data sets
- database
- automated reasoning
- information gathering
- data structure
- image segmentation
- knowledge base
- feature selection
- machine learning