Approximating operators and semantics for abstract dialectical frameworks.
Hannes StrassPublished in: Artif. Intell. (2013)
Keyphrases
- abstract argumentation frameworks
- defeasible reasoning
- argumentation frameworks
- propositional dynamic logic
- update operators
- formal semantics
- description logics
- higher level
- argumentation theory
- semantic information
- desirable properties
- argumentation systems
- nonmonotonic logics
- update semantics
- logical properties
- modal operators
- aggregate functions
- database
- conceptual model
- logic programming
- query language
- neural network