A New Stochastic Local Search Approach for Computing Preferred Extensions of Abstract Argumentation.

Dangdang Niu Lei Liu Shuai Lü

Published in: ECAI (2016)

Keyphrases

stochastic local search
abstract argumentation
satisfiability problem
argumentation frameworks
combinatorial optimisation
max sat
phase transition
theorem proving
randomly generated
sat problem
preferred semantics
knowledge base
search space
tree search
abstract argumentation frameworks
random sat instances