Cited By
View all- Yu XBiswas GMatthews M(1990)CHECKER: an efficient algorithm for knowledge base verificationProceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 210.1145/98894.98923(735-744)Online publication date: 1-Jun-1990
- Biswas GYu XRiehl A(1989)A rule network for efficient implementation of a mixed-initiative reasoning schemeProceedings of the 17th conference on ACM Annual Computer Science Conference10.1145/75427.75441(123-130)Online publication date: 21-Feb-1989