共 50 条
- [1] Learning probabilistic logic models from probabilistic examples [J]. Machine Learning, 2008, 73 : 55 - 85
- [3] Probabilistic Models of k-mer Frequencies (Extended Abstract) [J]. CONNECTING WITH COMPUTABILITY, 2021, 12813 : 227 - 236
- [6] Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract) [J]. PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6415 - 6419
- [7] Probabilistic logic learning from haplotype data [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 4911 LNAI : 263 - 286
- [8] Probabilistic Modal Specifications (Invited Extended Abstract) [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 1 - 4
- [10] The challenge of probabilistic Event B -: Extended abstract [J]. ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 162 - 171