Using SAT/SMT Solvers for Efficiently Tuning Fuzzy Logic Programs.
José A. RiazaGinés MorenoPublished in: FUZZ-IEEE (2020)
Keyphrases
- logic programs
- modulo theories
- answer set programming
- stable model semantics
- logic programming
- answer sets
- stable models
- answer set solvers
- satisfiability modulo theories
- answer set programs
- background knowledge
- fixpoint
- sat solvers
- normal logic programs
- partial deduction
- inductive logic programming
- fuzzy sets
- computational properties
- strong equivalence
- prolog programs
- truth values
- sat instances
- reasoning tasks
- logic program updates
- minimal models
- propositional satisfiability
- horn clauses
- sat problem
- knowledge base