Realizability of three-valued semantics for abstract dialectical frameworks.
Jörg PührerPublished in: Artif. Intell. (2020)
Keyphrases
- abstract argumentation frameworks
- nonmonotonic logics
- defeasible reasoning
- argumentation frameworks
- formal semantics
- valued semantics
- propositional dynamic logic
- desirable properties
- graphical representation
- conceptual graphs
- semantic information
- higher level
- high level
- data sets
- knowledge representation
- low level
- argumentation semantics
- web services
- argumentation theory
- information systems
- databases