Login / Signup
Fuzzy Answer Set Computation via Satisfiability Modulo Theories.
Mario Alviano
Rafael Peñaloza
Published in:
CoRR (2015)
Keyphrases
</>
answer sets
answer set programming
modulo theories
satisfiability modulo theories
logic programs
logic programming
sat solvers
knowledge base
fuzzy numbers
loop formulas
artificial intelligence
evolutionary algorithm
fixpoint