Now showing items 1-2 of 2

    • Fuzzy answer set computation via satisfiability modulo theories 

      Alviano, M; Penaloza, R (Cambridge University Press (CUP): STM Journals, 2015)
      Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to combine ...
    • Fuzzy answer sets approximations 

      Alviano, M; Penaloza, R (Cambridge University Press (CUP): STM Journals, 2013)
      Fuzzy answer set programming (FASP) is a recent formalism for knowledge representation that enriches the declarativity of answer set programming by allowing propositions to be graded. To now, no implementations of FASP ...