Issue 1/2022
Content (6 Articles)
Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
K. Subramani, Piotr Wojciechowski
Integrating domain and constraint privacy reasoning in the distributed stochastic algorithm with breakouts
Julien Vion, René Mandiau, Sylvain Piechowiak, Marius Silaghi
Open Access
Topological measurement of deep neural networks using persistent homology
Satoru Watanabe, Hayato Yamana
VC-dimensions of nondeterministic finite automata for words of equal length
Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb, Davin Takahashi
Open Access
S700: ISAIM-2020
Nonmonotonic reasoning from conditional knowledge bases with system W
Christian Komo, Christoph Beierle