Keyphrases
- extended logic programs
- logic programming
- logic programs
- answer sets
- nonmonotonic reasoning
- defeasible logic
- answer set semantics
- default logic
- incomplete information
- answer set programming
- conflict resolution
- reasoning tasks
- deductive databases
- programming language
- stable models
- knowledge representation
- knowledge base
- nonmonotonic logics
- high level
- information systems
- access control policies
- knowledge representation and reasoning
- normal logic programs
- distributed environment
- fuzzy sets