Computing and Comparing Semantics of Programs in Four-Valued Logics.

Yann Loyer Nicolas Spyratos Daniel Stamate

Published in: MFCS (1999)

Keyphrases

stable models
valued logic
logic programs
logic programming
fuzzy logic
fuzzy sets
classical logic
fixpoint
datalog programs
first order logic
multi valued
propositional logic
deductive databases
databases
data management
machine learning
neural network