I’m afraid I don’t know what “knowledge-based symbolic algorithms” are. If that means programs with tables in, then yes, those are useful—especially when one has the pattern-matching capabilities of Mathematica. I wish academic computer scientists would use less jargon! It really gets fairly funny when people like me build big computer science systems but can’t remember the official names of the things they’re doing!