Login / Signup

Argumentative Characterizations of (Extended) Disjunctive Logic Programs.

Jesse HeyninckOfer Arieli
Published in: CoRR (2023)
Keyphrases
  • answer set programming
  • disjunctive logic programs
  • logic programs
  • disjunctive logic programming
  • lower bound
  • stable model semantics