1. Foreword

   • Lev Reyzin

   S700: ISAIM-2020 29 November 2021 Pages: 1 - 2

2. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas

   • K. Subramani
   • Piotr Wojciechowski

   OriginalPaper 29 June 2021 Pages: 3 - 29

3. Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts

   • Julien Vion
   • René Mandiau
   • Marius Silaghi

   OriginalPaper 20 April 2021 Pages: 31 - 73

4. Topological measurement of deep neural networks using persistent homology

   • Satoru Watanabe
   • Hayato Yamana

   OriginalPaper Open access 03 July 2021 Pages: 75 - 92

5. VC-dimensions of nondeterministic finite automata for words of equal length

   • Bjørn Kjos-Hanssen
   • Clyde James Felix
   • Davin Takahashi

   OriginalPaper 24 August 2021 Pages: 93 - 105

6. Nonmonotonic reasoning from conditional knowledge bases with system W

   • Christian Komo
   • Christoph Beierle

   S700: ISAIM-2020 Open access 14 December 2021 Pages: 107 - 144