共 50 条
- [1] Conceptual modelling for configuration: A description logic-based approach [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1998, 12 (04): : 333 - 344
- [5] CONCEPTUAL MODELING OF DATA-BASE OPERATIONS [J]. INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1981, 10 (05): : 299 - 314
- [7] DATA-BASE AS A MODEL OF CONSTRUCTIVE LOGIC [J]. AUTOMATION AND REMOTE CONTROL, 1993, 54 (08) : 1299 - 1303
- [8] LOGIC-BASED STANDARDS FOR THE CONCEPTUAL SCHEMA [J]. KNOWLEDGE ORIENTED SOFTWARE DESIGN, 1993, 27 : 251 - 280
- [10] A logic-based approach to program flow analysis [J]. ACTA INFORMATICA, 1998, 35 (06) : 457 - 504