Larry Wos: Visions of Automated Reasoning
Journal of Automated Reasoning
This paper celebrates the scientific discoveries and the service to the automated reasoning community of Lawrence (Larry) T. Wos, who passed away in August 2020. The narrative covers Larry’s most long-lasting ideas about inference rules and search strategies for theorem proving, his work on applications of theorem proving, and a collection of personal memories and anecdotes that let readers appreciate Larry’s personality and enthusiasm for automated reasoning.
Simons Institute for the Theory of Computing, University of California Berkeley
Automated reasoning, Larry Wos
Michael Beeson, Maria Paola Bonacina, Michael Kinyon, and Geoff Sutcliffe. "Larry Wos: Visions of Automated Reasoning" Journal of Automated Reasoning (2022): 439-461. https://doi.org/10.1007/s10817-022-09620-8