( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Semantic Framework for Proof Evidence.

, , и . J. Autom. Reason., 59 (3): 287-330 (2017)

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.

Bachir Chihani

Zakaria Zidan

Jesin Zakaria

Saiedeh Zakaria

Zakaria Chemli

 

Другие публикации лиц с тем же именем

Contextualised Out-of-Distribution Detection using Pattern Identication., , , , и . CoRR, (2023)The Proof Certifier Checkers., , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 201-210. Springer, (2015)Sanity checks and improvements for patch visualisation in prototype-based image classification., , , и . CoRR, (2023)CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators., , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2497-2504. IOS Press, (2020)Proof Certificates for Equality Reasoning., и . LSFA, том 323 из Electronic Notes in Theoretical Computer Science, стр. 93-108. Elsevier, (2015)CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators., , , и . CoRR, (2019)DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification., , , , и . CoRR, (2021)Translating Between Implicit and Explicit Versions of Proof., , и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 255-273. Springer, (2017)AIMOS: Metamorphic Testing of AI - An Industrial Application., , , и . SAFECOMP Workshops, том 14182 из Lecture Notes in Computer Science, стр. 328-340. Springer, (2023)On the stability, correctness and plausibility of visual explanation methods based on feature importance., , , , , , и . CBMI, стр. 119-125. ACM, (2023)