On the Existence of Answer Sets in Normal Extended Logic Programs.
Martin CaminadaChiaki SakamaPublished in: ECAI (2006)
Keyphrases
- extended logic programs
- answer sets
- logic programs
- answer set semantics
- logic programming
- answer set programming
- defeasible logic
- conflict resolution
- incomplete information
- default logic
- nonmonotonic reasoning
- access control policies
- normal logic programs
- access control
- sat solvers
- case based reasoning
- general purpose
- knowledge base
- fixpoint
- stable models
- expert systems
- high level