( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning from interpretation transition using differentiable logic programming semantics.

, , , и . Mach. Learn., 111 (1): 123-145 (2022)

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.

Yongzhi Ong

Yang Cao

Jingjing Cao

Ou Cao

Jialin Cao

 

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

A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels.. Comput. J., 53 (1): 3-20 (2010)On Model Checking Boolean BI., , , и . CSL, том 5771 из Lecture Notes in Computer Science, стр. 302-316. Springer, (2009)Model checking computation tree logic over finite lattices., , , и . Theor. Comput. Sci., (2016)Reasoning about Block-based Cloud Storage Systems., , , , , и . CoRR, (2019)A Modeling Language for MapReduce Programing in a Storage System Perspective., , , , и . J. Signal Process. Syst., 90 (8-9): 1133-1150 (2018)Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems., , , и . Decision Making under Constraints, 276, Springer, (2020)Probabilistic Context-Aware Ambients., , , и . ICCSIP (1), том 1005 из Communications in Computer and Information Science, стр. 255-267. Springer, (2018)A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning for Tabular Data Synthesis., , , , , и . AAAI, стр. 16803-16811. AAAI Press, (2024)Reasoning about Cloud Storage Systems., , , , и . DSC, стр. 107-114. IEEE, (2018)Towards Formalizing of MapReduce., , , , и . BigDataSecurity/HPSC/IDS, стр. 150-155. IEEE, (2017)