Fuzzy answer set computation via satisfiability modulo theories.

Mario Alviano Rafael Peñaloza

Published in: Theory Pract. Log. Program. (2015)

Keyphrases

answer sets
answer set programming
logic programs
satisfiability modulo theories
modulo theories
logic programming
sat solvers
fuzzy numbers
fuzzy rules
artificial intelligence
state space
first order logic
fixpoint
loop formulas