My 1991 thesis, “Algorithms for Truth-Maintaining Systems,” was on artificial intelligence. It was the era of expert systems, and I was already fascinated by this field.
General attention waned in the following decades, only to become “the topic” in recent years, with unimaginable progress.
