共 50 条
- [3] Knowledge-based synthesis of distributed systems using event structures LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 449 - 465
- [7] STRUCTURAL TESTING STRATEGIES APPLIED TO KNOWLEDGE-BASED SYSTEMS LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 604 : 236 - 245
- [9] STRUCTURAL DESIGN LANGUAGE FOR COUPLED KNOWLEDGE-BASED SYSTEMS ADVANCES IN ENGINEERING SOFTWARE AND WORKSTATIONS, 1990, 12 (04): : 154 - 166