Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation.
Meghyn BienvenuCamille BourgauxPublished in: KR (2020)
Keyphrases
- complexity analysis
- abstract argumentation
- belief base
- preference relations
- possibilistic logic
- knowledge base
- theoretical analysis
- belief revision
- first order logic
- theorem proving
- lower bound
- belief change
- propositional logic
- query language
- argumentation frameworks
- knowledge representation
- possibility theory
- abstract argumentation frameworks
- knowledge based systems
- query processing
- uncertain information
- description logics
- decision theory
- theorem prover
- logic programming
- sufficient conditions
- argumentation systems
- computational complexity
- machine learning