Login / Signup

Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive.

Stefano BistarelliFabio RossiFrancesco Santini
Published in: J. Log. Comput. (2018)
Keyphrases
  • abstract argumentation
  • shape model
  • shape analysis
  • pattern spectrum
  • computational complexity
  • aspect ratio
  • search space
  • shape descriptors
  • shape representation
  • fixed parameter tractable