Conflict Resolution Using Logic Programming.
Jan ChomickiJorge LoboShamim A. NaqviPublished in: IEEE Trans. Knowl. Data Eng. (2003)
Keyphrases
- logic programming
- conflict resolution
- extended logic programs
- logic programs
- answer set programming
- resolve conflicts
- logic programming language
- answer sets
- knowledge representation
- nonmonotonic reasoning
- deductive databases
- access control policies
- reasoning about actions
- knowledge base
- computational logic
- resolving conflicts
- reasoning tasks
- knowledge representation and reasoning
- programming language
- constraint logic programming
- stable models
- defeasible argumentation
- pseudo boolean constraints
- databases
- distributed environment
- general purpose
- propositional variables