Login / Signup

Removing Redundancy from Answer Set Programs.

Tomi Janhunen
Published in: ICLP (2008)
Keyphrases
  • answer set programs
  • answer set programming
  • answer sets
  • logic programs
  • stable models
  • logic programming
  • update operators
  • knowledge representation
  • relational databases
  • update semantics