Login / Signup
Multi-Valued Stable Semantics for Logic Programs.
Victor Felea
Published in:
Sci. Ann. Cuza Univ. (2004)
Keyphrases
</>
multi valued
semantics for logic programs
normal form
logic programs
single valued
open world
answer sets
logic programming
data dependencies
boolean functions
fixpoint
stable models
truth values
deductive databases
rough sets
database
propositional logic
relational databases
databases