Showing cs.AIShow all
2 papers · 1 filter
cs.AI2016
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
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…