Don Loveland Receives Herbrand Award

June 26, 2001

The 2001 Herbrand Award for Distinguished Contributions was presented to Donald Loveland for his development of the model elimination procedure, for his contributions to propositional satisfiability testing realized in the Davis-Putnam-Logemann-Loveland Procedure, for his work on the near-Horn Prolog family of calculi for disjunctive logic programming, and many other contributions to the field of automated reasoning.

The Herbrand Award is the most prestigious award in the field of automated reasoning and deduction.