A finite-valued solver for disjunctive fuzzy answer set programs.

Mushthofa Mushthofa Steven Schockaert Martine De Cock

Published in: ECAI (2014)

Keyphrases

answer set programs
answer sets
valued logic
logic programs
answer set programming
fuzzy sets
stable models
fuzzy logic
logic programming
t norm
real numbers
classical logic
fuzzy set theory
knowledge base
general purpose
database
deductive databases
answer set semantics
artificial intelligence
machine learning