Sign in

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms.

Yi-Dong ShenJia-Huai YouLi-Yan Yuan
Published in: Theory Pract. Log. Program. (2009)
Keyphrases
  • databases
  • artificial intelligence
  • semantics for logic programs
  • expert systems
  • high level
  • knowledge representation
  • logic programs
  • logic programming