Keyphrases
- extended logic programs
- defeasible logic
- incomplete information
- conflict resolution
- logic programming
- answer sets
- logic programs
- nonmonotonic reasoning
- default logic
- access control policies
- answer set semantics
- answer set programming
- knowledge representation
- rule base
- autonomous agents
- knowledge representation and reasoning
- access control
- normal logic programs