Irina Schindler

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Autoepistemic Logic

Parameterized Complexity

Bounded Treewidth

Top Venues

Arch. Math. Log.

Publications

Johannes Klaus Fichte, Markus Hecher, Irina Schindler
Default logic and bounded treewidth. Inf. Comput. 283 (2022)
Johannes Klaus Fichte, Markus Hecher, Irina Schindler
Default Logic and Bounded Treewidth. LATA (2018)
Johannes Klaus Fichte, Markus Hecher, Irina Schindler
Default Logic and Bounded Treewidth. CoRR (2017)
Johannes Klaus Fichte, Arne Meier, Irina Schindler
Strong Backdoors for Default Logic. SAT (2016)
Johannes Klaus Fichte, Arne Meier, Irina Schindler
Strong Backdoors for Default Logic. CoRR (2016)
Martin Lück, Arne Meier, Irina Schindler
Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. LATA (2015)
Arne Meier, Irina Schindler, Johannes Schmidt, Michael Thomas, Heribert Vollmer
On the parameterized complexity of non-monotonic logics. Arch. Math. Log. 54 (5-6) (2015)
Martin Lück, Arne Meier, Irina Schindler
Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem. CoRR (2014)
Martin Lück, Arne Meier, Irina Schindler
Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies. Electron. Colloquium Comput. Complex. 21 (2014)