Use of metaknowledge in the verification of knowledge-based systems

Authors:
L. J. Morell
Affiliations:
College of William and Mary, Williamsburg, VA
Venue:
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Year:
1988

A practical guide to designing expert systems

A practical guide to designing expert systems
A guide to expert systems

A guide to expert systems
Building expert systems

Building expert systems
Safety Analysis Using Petri Nets

IEEE Transactions on Software Engineering
Data Flow Analysis in Software Reliability

ACM Computing Surveys (CSUR)
Theoretical and empirical studies on using program mutation to test the functional correctness of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A theory of error-based testing

A theory of error-based testing

Test case generation using KBS strategy

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A knowledge-based technique for constraints satisfaction in manpower allocation

ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII

Hi-index	0.00