Sign in

Strong Equivalence for LPMLN Programs.

Joohyung LeeMan Luo
Published in: ICLP Technical Communications (2019)
Keyphrases
  • strong equivalence
  • stable models
  • logic programs
  • answer sets
  • answer set semantics
  • fixpoint
  • logic programming
  • answer set programming
  • decision making
  • high level
  • model theoretic