Keyphrases
- logical language
- formal semantics
- operational semantics
- conceptual graphs
- logical framework
- logic programming
- conceptual model
- formal language
- knowledge representation
- knowledge representation formalisms
- modal operators
- preprocessing phase
- argumentation frameworks
- closed world assumption
- reasoning services
- highly expressive
- phase unwrapping
- logic programs
- abstract argumentation frameworks
- computational properties
- theoretical framework
- nonmonotonic logics
- modal logic
- rule language
- programming language
- knowledge base
- formal model
- owl ontologies
- representation language