Foundations of a DPLL-Based Solver for Fuzzy Answer Set Programs.
Ivor UhliarikPublished in: IJCCI (Selected Papers) (2017)
Keyphrases
- answer set programs
- clause learning
- answer set programming
- answer sets
- fuzzy sets
- sat solving
- logic programs
- np complete
- sat solvers
- propositional logic
- fuzzy numbers
- artificial intelligence
- fuzzy set theory
- logic programming
- constraint satisfaction
- machine learning
- first order logic
- orders of magnitude
- sat instances
- expert systems
- knowledge base
- update operators