共 50 条
- [42] VERIFICATION SYSTEMS IN DIGITAL NATIVE MEDIA AND AUDIENCE INVOLVEMENT IN THE FIGHT AGAINST DISINFORMATION IN THE IBERIAN MODEL REVISTA DE COMUNICACION DE LA SEECI, 2021, (54): : 41 - +
- [43] Counterfactual Debiasing for Fact Verification PROCEEDINGS OF THE 61ST ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, ACL 2023, VOL 1, 2023, : 6777 - 6789
- [44] Constrained Fact Verification for FEVER PROCEEDINGS OF THE 2020 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING (EMNLP), 2020, : 7826 - 7832
- [46] Special issue on Automated Specification and Verification of Web Systems JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242
- [47] The invariant checker: Automated deductive verification of reactive systems COMPUTER AIDED VERIFICATION, 1997, 1254 : 436 - 439
- [48] Automated Verification of Stochastic Spiking Neural P Systems MEMBRANE COMPUTING (CMC 2015), 2015, 9504 : 77 - 91
- [50] Multidimensional Framework for Characterizing Verification and Validation of Automated Systems 2022 18TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2022), 2022, : 41 - 48