fasp2smt

fasp2smt: Fuzzy Answer Set Programming (FASP) allows to represent and reason on incomplete and imprecise knowledge under stable model semantics. This is a solver based on translations into SMT theories.

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Alviano, Mario; Peñaloza, Rafael: Fuzzy answer set computation via satisfiability modulo theories (2015)
  2. Alviano, Mario; Peñaloza, Rafael: Fuzzy answer sets approximations (2013)