Formal verification of some potential contradictions in hybrid expert systems
- Chi Keung Simon Shiu
- , James N.K. Liu
- , Daniel S. Yeung
Research output: Journal article publication › Conference article › Academic research › peer-review
2
Link opens in a new tab
Citations
(Scopus)