Login / Signup
Fully Abstract Compositional Semantics for Logic Programs.
Haim Gaifman
Ehud 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