共 50 条
- [21] Analogical reasoning for reliability analysis based on generic data [J]. Reliab Eng Syst Saf, 1 (59-64):
- [22] Deliberative discourse and reasoning from generic argument structures [J]. AI & SOCIETY, 2009, 23 (03) : 353 - 377
- [25] Lifting the Reasoning Level in Generic Weak Memory Verification [J]. INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 175 - 192
- [27] Geometric reasoning in sketch-based volumetric decomposition framework for hexahedral meshing [J]. Engineering with Computers, 2014, 30 : 237 - 252
- [29] Fuzzy-Syllogistic Systems: A Generic Model for Approximate Reasoning [J]. TRENDS IN APPLIED KNOWLEDGE-BASED SYSTEMS AND DATA SCIENCE, 2016, 9799 : 169 - 181
- [30] A generic complete dynamic logic for reasoning about purity and effects [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 199 - +