共 50 条
- [41] A Formal Framework of Model and Logical Embeddings for Verification of Stochastic Systems 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1712 - 1721
- [42] The Problem of Induction - Rereading from the point of Avicenna - HITIT UNIVERSITESI ILAHIYAT FAKULTESI DERGISI-JOURNAL OF DIVINITY FACULTY OF HITIT UNIVERSITY, 2012, 11 (21): : 195 - 230
- [45] Why your doctor is not an algorithm: Exploring logical principles of different clinical inference methods using liver transplantation as a model GASTROENTEROLOGIA Y HEPATOLOGIA, 2025, 48 (03):
- [46] Interactive Learning of Dialog Scenarios from Examples HUMAN LANGUAGE TECHNOLOGIES - THE BALTIC PERSPECTIVE (HLT 2020), 2020, 328 : 87 - 94
- [50] Learning Personal Style from Few Examples PROCEEDINGS OF THE 2021 ACM DESIGNING INTERACTIVE SYSTEMS CONFERENCE (DIS 2021), 2021, : 1566 - 1578