Author of the publication

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.

, , , , and . ISIPTA, volume 215 of Proceedings of Machine Learning Research, page 37-47. PMLR, (2023)

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

Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.. J. Appl. Non Class. Logics, 28 (4): 389-413 (2018)Constraint Tableaux for Two-Dimensional Fuzzy Logics., , and . TABLEAUX, volume 12842 of Lecture Notes in Computer Science, page 20-37. Springer, (2021)Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss.. CoRR, (2024)Qualitative reasoning in a two-layered framework., , , and . Int. J. Approx. Reason., (March 2023)Presumptive Reasoning in a Paraconsistent Setting., , and . TARK, volume 379 of EPTCS, page 233-244. (2023)Fonctions de croyances interprétées sur la logique de Belnap-Dunn., , , , and . JIAF, page 133-134. (2022)Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer., , , , and . JIAF, page 91-92. (2023)Paraconsistent Gödel Modal Logic., , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 429-448. Springer, (2022)Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications., , and . FLAP, 5 (1): 221-262 (2018)Two-Layered Logics for Paraconsistent Probabilities., , , and . WoLLIC, volume 13923 of Lecture Notes in Computer Science, page 101-117. Springer, (2023)