Classes of Explanations for the Verification Problem in Abstract Argumentation.

Sylvie Doutre Théo Duchatelle Marie-Christine Lagasquie-Schiex

Published in: JIAF (2023)

Keyphrases

abstract argumentation
model checking
theorem proving
verification method
expert systems