Login / Signup

Beyond Uniform Equivalence between Answer-set Programs.

Johannes OetschMartina SeidlHans TompitsStefan Woltran
Published in: ACM Trans. Comput. Log. (2021)
Keyphrases
  • answer set programs
  • answer set programming
  • answer sets
  • answer set semantics
  • logic programs
  • stable models
  • logic programming
  • machine learning
  • knowledge base
  • update semantics
  • update operators