Nonmonotonic causal theories.
Enrico GiunchigliaJoohyung LeeVladimir LifschitzNorman McCainHudson TurnerPublished in: Artif. Intell. (2004)
Keyphrases
- causal theories
- answer set programming
- logic programming
- nonmonotonic reasoning
- answer set semantics
- logic programs
- general logic programs
- strong equivalence
- default logic
- nonmonotonic logics
- answer sets
- defeasible logic
- autoepistemic logic
- reasoning tasks
- default theories
- classical logic
- proof theory
- fixpoint
- deductive databases
- modal logic
- decision making
- artificial intelligence
- default reasoning
- general purpose