Some Logical Properties of Nonmonotonic Causal Theories.
Marek J. SergotRobert CravenPublished in: LPNMR (2005)
Keyphrases
- logical properties
- causal theories
- belief revision
- belief base
- nonmonotonic reasoning
- answer set programming
- logic programming
- answer set semantics
- logic programs
- preference relations
- proof theory
- default reasoning
- nonmonotonic logics
- answer sets
- propositional logic
- strong equivalence
- default theories
- belief change
- default logic
- knowledge base
- fixpoint
- logical framework
- knowledge representation
- autoepistemic logic
- bayesian networks
- possibilistic logic
- np hard
- multi agent systems
- general purpose
- decision making