Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas K. SubramaniPiotr Wojciechowski OriginalPaper 29 June 2021 Pages: 3 - 29
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts Julien VionRené MandiauMarius Silaghi OriginalPaper 20 April 2021 Pages: 31 - 73
Topological measurement of deep neural networks using persistent homology Satoru WatanabeHayato Yamana OriginalPaper Open access 03 July 2021 Pages: 75 - 92
VC-dimensions of nondeterministic finite automata for words of equal length Bjørn Kjos-HanssenClyde James FelixDavin Takahashi OriginalPaper 24 August 2021 Pages: 93 - 105
Nonmonotonic reasoning from conditional knowledge bases with system W Christian KomoChristoph Beierle S700: ISAIM-2020 Open access 14 December 2021 Pages: 107 - 144