Larry Wos: Visions of Automated Reasoning

Michael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
JournalJournal of Automated Reasoning
StateAccepted/In press - 2022
Externally publishedYes


  • Automated reasoning
  • Larry Wos

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'Larry Wos: Visions of Automated Reasoning'. Together they form a unique fingerprint.

Cite this