Login / Signup

Unfolding partiality and disjunctions in stable model semantics.

Tomi JanhunenIlkka NiemeläDietmar SeipelPatrik SimonsJia-Huai You
Published in: ACM Trans. Comput. Log. (2006)
Keyphrases
  • stable model semantics
  • logic programs
  • answer set programming
  • stable models
  • logic programming
  • normal logic programs
  • modulo theories
  • answer sets
  • expert systems
  • rdf graphs
  • derivation rules
  • fixpoint