Simon Knäuer

15 papers A* 4C 2Journal 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms.
CoRR
Manuel Bodirsky, Moritz Jahn, Matej Konecný, Simon Knäuer, Paul Winkler
2023 A* conf
Network Satisfaction Problems Solved by k-Consistency.
ICALP
Manuel Bodirsky, Simon Knäuer
2023 J jnl
Network Satisfaction Problems Solved by k-Consistency.
CoRR
Manuel Bodirsky, Simon Knäuer
2022 J jnl
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom.
J. Artif. Intell. Res.
Manuel Bodirsky, Simon Knäuer
2021 J jnl
Amalgamation is Undecidable.
CoRR
Manuel Bodirsky, Simon Knäuer, Jakub Rydval
2021 A* conf
Datalog-Expressibility for Monadic and Guarded Second-Order Logic.
ICALP
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
2021 A* conf
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom.
AAAI
Manuel Bodirsky, Simon Knäuer
2021 A* conf
On Logics and Homomorphism Closure.
LICS
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
2021 J jnl
On Logics and Homomorphism Closure.
CoRR
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
2020 C conf
ASNP: A Tame Fragment of Existential Second-Order Logic.
CiE
Manuel Bodirsky, Simon Knäuer, Florian Starke
2020 J jnl
ASNP: a tame fragment of existential second-order logic.
CoRR
Manuel Bodirsky, Simon Knäuer, Florian Starke
2020 J jnl
Datalog-Expressibility for Monadic and Guarded Second-Order Logic.
CoRR
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
2020 C conf
Hardness of Network Satisfaction for Relation Algebras with Normal Representations.
RAMiCS
Manuel Bodirsky, Simon Knäuer
2020 J jnl
Network satisfaction for symmetric relation algebras with a flexible atom.
CoRR
Manuel Bodirsky, Simon Knäuer
2019 J jnl
Hardness of Network Satisfaction for Relation Algebras with Normal Representations.
CoRR
Manuel Bodirsky, Simon Knäuer