Stable Models of Fuzzy Propositional Formulas.

Joohyung Lee Yi Wang

Published in: JELIA (2014)

Keyphrases

stable models
logic programs
propositional formulas
propositional logic
normal logic programs
logic programming
answer set programming
fixpoint
stable model semantics
deductive databases
answer sets
propositional satisfiability
conjunctive normal form
relational databases
first order logic
integrity constraints