Author:
He Xudong,Chu William C,Yang Hongji
Subject
Computer Science Applications,Information Systems,Software
Reference17 articles.
1. A Petri net based approach for verifying the integrity of production systems;Agarwal;Int. J. Man–Mach. Stud.,1992
2. A decision-table based processor for checking completeness and consistency in rule-based expert systems;Cragun;Int. J. Man–Mach. Stud.,1987
3. Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy;Ginsberg;Proc. Seventh Natl. Conf. Artif. Intell.,1988
4. A fundamental tradeoff in knowledge representation and reasoning;Levesque,1985
5. Inconsistency check for a set of clauses using Petri net reduction;Murata;J. Franklin Inst.,1988
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献