Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics.

Published in: COMMA (2018)

Keyphrases

stochastic local search algorithms
abstract argumentation
satisfiability problem
search algorithm
theorem proving
argumentation frameworks
temporal logic
preference relations
argumentation theory
knowledge base
search space