Formal Validation of Recursive Backtracking Algorithms: The Case of Listing Stable Extensions in the Directed Graphs of Argumentation Frameworks.
Samer NofalAmani Abu JabalAbdullah AlfarrarjehIsmail HababehPublished in: CoRR (2020)
Keyphrases
- directed graph
- argumentation frameworks
- argumentation semantics
- preferred semantics
- backtracking algorithms
- random walk
- abstract argumentation
- constraint propagation
- decision problems
- special case
- defeasible logic programming
- abstract argumentation frameworks
- undirected graph
- path consistency
- nonmonotonic reasoning
- directed acyclic graph
- graph structure
- np hard
- artificial intelligence