Login / Signup
The Strong Semantics for Logic Programs.
Jianhua Chen
Sukhamay 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