Login / Signup

Semantics for Logic Programs without Occur Check.

W. P. Weijland
Published in: ICALP (1988)
Keyphrases
  • semantics for logic programs
  • logic programs
  • open world
  • logic programming
  • answer sets
  • fixpoint
  • stable models
  • normal logic programs
  • general purpose