Login / Signup

Explaining Answer-Set Programs with Abstract Constraint Atoms.

Thomas EiterTobias Geibinger
Published in: IJCAI (2023)
Keyphrases
  • answer set programs
  • answer sets
  • logic programs
  • answer set programming
  • logic programming
  • stable models
  • answer set semantics
  • database
  • artificial intelligence
  • high level
  • fixpoint