Login / Signup

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.

Tuomo LehtonenAndreas NiskanenMatti Järvisalo
Published in: COMMA (2018)
Keyphrases
  • argumentation frameworks
  • argumentation semantics
  • artificial intelligence
  • state space
  • sufficient conditions
  • ai planning
  • logical framework
  • practical reasoning