Computing and Comparing Semantics of Programs in Multi-valued Logics

Yann Loyer Nicolas Spyratos Daniel Stamate

Published in: CoRR (2000)

Keyphrases

valued logic
stable models
logic programs
classical logic
logic programming
fuzzy logic
truth values
datalog programs
propositional logic
fixpoint
pattern recognition
answer sets
multi valued
answer set programming
database
deductive databases
first order logic
relational databases
neural network