Login / Signup

The Strong Semantics for Logic Programs.

Jianhua ChenSukhamay Kundu
Published in: ISMIS (1991)
Keyphrases
  • semantics for logic programs
  • logic programs
  • stable models
  • open world
  • databases
  • logic programming
  • normal form
  • answer sets
  • search space
  • knowledge base
  • high level
  • general purpose