共 50 条
- [21] Formal semantics and reasoning about UML class diagram [J]. DEPCOS-RELCOMEX 2006, 2006, : 51 - 58
- [22] Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, 2019, 11726 : 212 - 225
- [24] Reasoning about Web Applications: An Operational Semantics for HOP [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 34 (02):
- [25] The process semantics based reasoning about continuous change [J]. KI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2003, 2821 : 505 - 519
- [27] Reasoning about VHDL using operational and observational semantics [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 311 - 327
- [28] Reasoning about MLIR Semantics through Effects and Handlers [J]. PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 1552 - 1554
- [29] Online transferable representation with heterogeneous sources [J]. APPLIED INTELLIGENCE, 2020, 50 (06) : 1674 - 1686
- [30] Online transferable representation with heterogeneous sources [J]. Applied Intelligence, 2020, 50 : 1674 - 1686