Skeptical Reasoning and Disjunctive Programs.
Arcot RajasekarJorge LoboJack MinkerPublished in: KR (1989)
Keyphrases
- default reasoning
- answer sets
- nonmonotonic inference
- knowledge base
- nonmonotonic reasoning
- qualitative reasoning
- logic programs
- knowledge representation
- automated reasoning
- probabilistic reasoning
- reasoning systems
- knowledge representation and reasoning
- formal models
- database
- belief revision
- open world
- reasoning engine
- model based reasoning
- reasoning tasks
- computer programs
- finite state machines
- logic programming