An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.
Ringo BaumannHannes StrassPublished in: Artif. Intell. (2022)
Keyphrases
- knowledge representation formalisms
- strong equivalence
- default logic
- autoepistemic logic
- logic programs
- knowledge representation
- description logics
- logic programming
- reasoning tasks
- classical logic
- default theories
- stable models
- argumentation frameworks
- answer set programming
- nonmonotonic reasoning
- answer sets
- default reasoning
- high level
- fixed point
- sufficient conditions
- data mining
- fixpoint
- modal logic
- programming language
- expert systems
- artificial intelligence