Van Hieu Ho

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This is a report on an implemented system that allows the user to specify an argumentation semantics and that returns a logical encoding in the form of a pa-rameterized propositional formula. When applied to a subset S of a given argumen-tation graph G, the instantiated formula is satisfiable if and only if S is an extension for G according to the(More)
  • 1