Login / Signup

Automatic Program Rewriting in Non-Ground Answer Set Programs.

Nicholas HippenYuliya Lierler
Published in: PADL (2019)
Keyphrases
  • answer set programs
  • answer set programming
  • answer sets
  • logic programs
  • stable models
  • logic programming
  • update operators
  • software engineering
  • update semantics