Nga Kwok Liu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996

1 Nga Kwok Liu: Formal Verification of Some Potential Contradictions in Knowledge Base Using a High Level Net Approach. Appl. Intell. 6(4): 325-343 (1996)