Login / Signup

Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs.

Zhun Yang
Published in: ICLP (Technical Communications) (2018)
Keyphrases
  • answer set programs
  • logic programming
  • answer sets
  • answer set programming
  • logic programs
  • database
  • artificial intelligence
  • reasoning tasks