Dependency semantics for sequences of extended logic programs.
Patrick KrümpelmannPublished in: Log. J. IGPL (2012)
Keyphrases
- extended logic programs
- logic programming
- defeasible logic
- incomplete information
- conflict resolution
- logic programs
- answer sets
- default logic
- nonmonotonic reasoning
- answer set semantics
- access control policies
- answer set programming
- reasoning tasks
- general purpose
- normal logic programs
- nonmonotonic logics
- belief revision
- deductive databases
- access control
- knowledge representation and reasoning
- default reasoning
- stable models
- description logics
- knowledge base
- rule base