共 50 条
- [22] PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 856 - 869
- [24] A System for Probabilistic Inductive Answer Set Programming SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 99 - 105
- [25] LEARNING SEQUENTIAL PATTERNS FOR PROBABILISTIC INDUCTIVE PREDICTION IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1994, 24 (10): : 1532 - 1547
- [27] The design of an interface to support the consideration of recommendations when making decisions in probabilistic antibiotherapy Reply EXERCER-LA REVUE FRANCOPHONE DE MEDECINE GENERALE, 2013, 24 (106): : 91 - 91
- [30] When Is a Type Refinement an Inductive Type? FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, 2011, 6604 : 72 - 87