Author of the publication

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs.

, , , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 131-147. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Practical Management of Fuzzy Truth-Degrees Using FLOPER., , , and . RuleML, volume 6403 of Lecture Notes in Computer Science, page 20-34. Springer, (2010)Fuzzy Computed Answers Collecting Proof Information., , , and . IWANN (2), volume 6692 of Lecture Notes in Computer Science, page 445-452. Springer, (2011)Fuzzy Sets for a Declarative Description of Multi-adjoint Logic Programming., , and . RSCTC, volume 8536 of Lecture Notes in Computer Science, page 71-82. Springer, (2014)Beyond multi-adjoint logic programming., , and . Int. J. Comput. Math., 92 (9): 1956-1975 (2015)A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees., , , and . RuleML, volume 9718 of Lecture Notes in Computer Science, page 68-82. Springer, (2016)On Similarity-Based Unfolding., , and . SUM, volume 10564 of Lecture Notes in Computer Science, page 420-426. Springer, (2017)Testing properties of fuzzy connectives and truth degrees with the latticemaker tool., , , , and . SSCI, page 1-8. IEEE, (2017)On fuzzy unfolding: A multi-adjoint approach., , and . Fuzzy Sets Syst., 154 (1): 16-33 (2005)Modeling Interpretive Steps into the FLOPER Environment., , , and . IC-AI, page 16-22. CSREA Press, (2010)On the Declarative Semantics of Multi-Adjoint Logic Programs., , and . IWANN (1), volume 5517 of Lecture Notes in Computer Science, page 253-260. Springer, (2009)