Login / Signup

Complexity of Verification and Existence Problems in Epistemic Argumentation Framework.

Gianvincenzo AlfanoSergio GrecoDomenico MandaglioFrancesco ParisiIrina Trubitsyna
Published in: ECAI (2023)
Keyphrases
  • decision problems
  • computational problems
  • computational complexity
  • argumentation systems
  • lower bound
  • case based reasoning
  • model checking