Formal description and verification of hybrid rule/frame-based expert systems

Chi Keung Simon Shiu, James N.K. Liu, Daniel S. Yeung

Research output: Journal article publicationJournal articleAcademic researchpeer-review

13 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Formal description and verification of hybrid rule/frame-based expert systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science