A Computer Algebra Approach to Relational Systems Using Grobner Bases.A fuzzy expert system for site characterization.A rule-based expert system with colored Petri net models for distribution system service restoration.A rule-based tracking system for video surveillance applications.A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis.