Login / Signup

An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.

Thomas EiterPatrick TraxlerStefan Woltran
Published in: JELIA (2006)
Keyphrases
  • answer set programs
  • answer set programming
  • database systems
  • logic programming
  • answer sets