A Logic Programming Approach to Conflict Resolution in Policy Management.
Jan ChomickiJorge LoboShamim A. NaqviPublished in: KR (2000)
Keyphrases
- conflict resolution
- logic programming
- access control policies
- extended logic programs
- logic programs
- resolve conflicts
- collaborative design
- nonmonotonic reasoning
- deductive databases
- knowledge representation
- answer set programming
- knowledge base
- logic programming language
- knowledge representation and reasoning
- answer sets
- resolving conflicts
- default logic
- programming language
- inductive logic programming
- access control
- stable models
- reasoning about actions
- computational logic
- answer set semantics
- optimal policy
- decision making
- reinforcement learning
- multi agent
- expert systems
- constraint logic programming
- data management
- normal logic programs
- knowledge management
- disjunctive logic programming
- fixpoint