Login / Signup

Fully Abstract Compositional Semantics for Logic Programs.

Haim GaifmanEhud Shapiro
Published in: POPL (1989)
Keyphrases
  • semantics for logic programs
  • logic programs
  • stable models
  • logic programming
  • open world
  • knowledge base
  • answer sets
  • general purpose
  • programming language