Login / Signup

An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework.

Tuomo LehtonenJohannes Peter WallnerMatti Järvisalo
Published in: KR (2020)
Keyphrases
  • answer set programming
  • reasoning tasks
  • modulo theories
  • logic programming
  • update semantics
  • knowledge base
  • logic programs
  • meta level
  • tree decomposition
  • stable model semantics
  • disjunctive logic programs