Stable Models of Fuzzy Propositional Formulas.

Joohyung Lee Yi Wang

Published in: PRUV (2014)

Keyphrases

stable models
logic programs
propositional formulas
propositional logic
logic programming
normal logic programs
fixpoint
answer set programming
stable model semantics
deductive databases
answer sets
artificial intelligence
normal form
propositional satisfiability
general purpose
conjunctive normal form