Author of the publication

On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.

, , , , , and . SUM, volume 8078 of Lecture Notes in Computer Science, page 325-330. Springer, (2013)

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

On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP., , , and . CCIA, volume 269 of Frontiers in Artificial Intelligence and Applications, page 215-224. IOS Press, (2014)A Formal Model of Competence-Based Assessment., , , and . CCIA, volume 202 of Frontiers in Artificial Intelligence and Applications, page 428-436. IOS Press, (2009)Automated monitoring of medical protocols: a secure and distributed architecture., , , , and . Artif. Intell. Medicine, 27 (3): 367-392 (2003)A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions., , , and . Soft Comput., 23 (7): 2147-2166 (2019)Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification., , , , and . Int. J. Approx. Reason., 48 (3): 711-729 (2008)On Warranted Inference in Possibilistic Defeasible Logic Programming., , , and . CCIA, volume 131 of Frontiers in Artificial Intelligence and Applications, page 265-272. IOS Press, (2005)Combining Support and Attack Interactions for Argumentation Based Discussion Analysis., , and . CCIA, volume 356 of Frontiers in Artificial Intelligence and Applications, page 321-324. IOS Press, (2022)A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables, and . CoRR, (2013)A Multi-agent system architecture for monitoring medical protocols., , , and . Agents, page 499-505. ACM, (2000)Weighted argumentation for analysis of discussions in Twitter., , , , , and . Int. J. Approx. Reason., (2017)