共 50 条
- [3] Explaining Failures of Program Analyses [J]. PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 260 - 269
- [5] Learning logic programs by explaining their failures [J]. MACHINE LEARNING, 2023, 112 (10) : 3917 - 3943
- [6] Explaining SDN Failures via Axiomatisations [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (303): : 48 - 60
- [7] Learning logic programs by explaining their failures [J]. Machine Learning, 2023, 112 : 3917 - 3943
- [9] COMMON CAUSE FAILURES - A DILEMMA IN PERSPECTIVE [J]. PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1980, (NSYM): : 332 - 339
- [10] AN INTEGRATED INTERPRETER FOR EXPLAINING PROLOGS SUCCESSES AND FAILURES [J]. META-PROGRAMMING IN LOGIC PROGRAMMING, 1989, : 191 - 203