Circumscription within Monotonic Inferences.
E. G. K. López-EscobarPublished in: J. Symb. Log. (1988)
Keyphrases
- default logic
- commonsense knowledge
- autoepistemic logic
- situation calculus
- logic programs
- default reasoning
- nonmonotonic logics
- disjunctive logic programming
- closed world assumption
- answer sets
- theorem prover
- stable model semantics
- closed world reasoning
- data sets
- event calculus
- default theories
- hidden markov models
- data mining
- neural network