Conditioned Circumscription: Translating Defaults to Circumscription.
Gaby MerzigerMathias BauerPublished in: GWAI (1990)
Keyphrases
- default logic
- default reasoning
- nonmonotonic logics
- closed world reasoning
- nonmonotonic reasoning
- autoepistemic logic
- default theories
- closed world assumption
- commonsense knowledge
- default rules
- logic programs
- logic programming
- logic programs with negation
- situation calculus
- disjunctive logic programming
- classical logic
- data sets
- general logic programs
- modal logic
- event calculus
- answer sets
- minimal models
- truth maintenance systems
- stable model semantics
- fixed point
- information systems
- deductive databases
- commonsense reasoning
- decision trees
- natural language
- expert systems
- belief revision
- social networks
- databases
- propositional logic