19 citations · 37 across the 5 of their papers we have counts for
Showing 2016 · cs.AIShow all
2 papers · 2 filters
cs.AI2016★ 2 cited
Characterizing Realizability in Abstract Argumentation
Thomas Linsbichler, Jörg Pührer, Hannes Strass
Realizability for knowledge representation formalisms studies the following question: given a semantics and a set of interpretations, is there a knowledge base whose semantics coin…
cs.AI2016★ 10 cited
Verifiability of Argumentation Semantics
Ringo Baumann, Thomas Linsbichler, Stefan Woltran
Dung's abstract argumentation theory is a widely used formalism to model conflicting information and to draw conclusions in such situations. Hereby, the knowledge is represented by…