Login / Signup

Goal-directed execution of answer set programs.

Kyle MarpleAjay BansalRichard MinGopal Gupta
Published in: PPDP (2012)
Keyphrases
  • goal directed
  • answer set programs
  • answer set programming
  • answer sets
  • logic programs
  • autonomous robots
  • stable models
  • logic programming
  • database systems
  • general purpose
  • partial order
  • update operators