Computing Fuzzy Answer Sets Using dlvhex.

Davy Van Nieuwenborgh Martine De Cock Dirk Vermeir

Published in: ICLP (2007)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
normal logic programs
fuzzy sets
answer set semantics
fuzzy logic
extended logic programs
membership functions
fixpoint
fuzzy rules
counter examples
answer set programs
logic program updates
loop formulas
dl programs
semantics of logic programs