Back to Search Start Over

A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column

Authors :
Sophie Tourret
Christoph Weidenbach
Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)
Max-Planck-Institut für Informatik (MPII)
Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM)
Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
Inria Nancy - Grand Est
Institut National de Recherche en Informatique et en Automatique (Inria)
Max Planck Institute for Informatics [Saarbrücken]
Source :
Journal of Automated Reasoning, Journal of Automated Reasoning, 2022, 66 (4), pp.575-584. ⟨10.1007/s10817-022-09617-3⟩
Publication Year :
2022
Publisher :
Springer Science and Business Media LLC, 2022.

Abstract

Shortly before Larry Wos passed away, he sent a manuscript for discussion to Sophie Tourret, the editor of the AAR newsletter. We present excerpts from this final manuscript, put it in its historic context and explain its relevance for today’s research in automated reasoning.

Subjects

Subjects :
History of automated reasoning
Reasoning by instantiation
Puzzle
Computational Theory and Mathematics
Artificial Intelligence
First-order logic modulo arithmetic
Set of support
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Software

Details

ISSN :
15730670 and 01687433
Volume :
66
Database :
OpenAIRE
Journal :
Journal of Automated Reasoning
Accession number :
edsair.doi.dedup.....428f1b0c9d4ed577baf43147fb6d4938
Full Text :
https://doi.org/10.1007/s10817-022-09617-3
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details