An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms.
Ringo BaumannHannes StrassPublished in: KR (2016)
Keyphrases
- knowledge representation formalisms
- knowledge representation
- strong equivalence
- description logics
- logic programs
- default logic
- answer set programming
- logic programming
- answer set semantics
- autoepistemic logic
- reasoning tasks
- answer sets
- stable models
- automated reasoning
- artificial intelligence
- semantic web
- natural language
- knowledge base
- first order logic
- general purpose
- high level
- machine learning
- nonmonotonic reasoning
- graphical models
- expert systems
- argumentation semantics