Towards the Formal Specification of an OPS5 Production System Architecture.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 8, p. 739, doi. 10.1002/int.4550090806
- By:
- Publication type:
- Article
Works matching IS 08848173 AND DT 1994 AND VI 9 AND IP 8
Results: 5
1
2
A Framework for Verification, Validation, and Refinement of Knowledge Bases: The VVR System.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 8, p. 703, doi. 10.1002/int.4550090805
- By:
- Publication type:
- Article
3
Foundation and Application of Knowledge Base Verification.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 8, p. 683, doi. 10.1002/int.4550090804
- By:
- Publication type:
- Article
4
Automated Test Generation and Evaluation for Real-Time Expert Systems.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 8, p. 659, doi. 10.1002/int.4550090803
- By:
- Publication type:
- Article
5
Verification and Validation of Intelligent Systems: Five Years of AAAI Workshops.
- Published in:
- International Journal of Intelligent Systems, 1994, v. 9, n. 8, p. 653, doi. 10.1002/int.4550090802
- By:
- Publication type:
- Article