TY - RPRT TI - Tuning Fuzzy Logic Programs with Symbolic Execution AU - Ginés Moreno AU - Jaime Penabad AU - Germán Vidal PY - 2016 UR - https://arxiv.org/abs/1608.04688 ID - 1608.04688 ER -