Sign in

A Default Approach to Semantics of Logic Programs with Constraint Atoms.

Yi-Dong ShenJia-Huai You
Published in: LPNMR (2009)
Keyphrases
  • semantics of logic programs
  • logic programs
  • deductive databases
  • answer sets
  • fixpoint
  • logic programming
  • truth values
  • answer set programming
  • answer set semantics
  • expert systems
  • general purpose
  • background knowledge