Fuzzy Propositional Formulas under the Stable Model Semantics.
Joohyung LeeYi WangPublished in: FLAP (2017)
Keyphrases
- logic programs
- logic programming
- stable models
- propositional formulas
- normal logic programs
- propositional logic
- fixpoint
- minimal models
- situation calculus
- stable model semantics
- answer set programming
- default reasoning
- knowledge base
- propositional satisfiability
- default logic
- deductive databases
- normal form
- knowledge representation
- datalog programs
- belief revision
- semantics for logic programs
- probabilistic reasoning
- constraint satisfaction
- special case
- databases