Abstract Argumentation via Monadic Second Order Logic.
Wolfgang DvorákStefan SzeiderStefan WoltranPublished in: SUM (2012)
Keyphrases
- abstract argumentation
- monadic second order logic
- expressive power
- first order logic
- data complexity
- theorem proving
- regular expressions
- tree automata
- query language
- preference relations
- query evaluation
- argumentation frameworks
- inference rules
- abstract argumentation frameworks
- finite automata
- query answering
- pattern matching
- argumentation theory
- theorem prover
- machine learning
- xml schema
- context free grammars
- conjunctive queries
- data management
- dynamic programming
- multi agent systems