Simon Knäuer

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 14

Top Topics

Relation Algebra

Top Venues

Publications

Manuel Bodirsky, Simon Knäuer
Network Satisfaction Problems Solved by k-Consistency. CoRR (2023)
Manuel Bodirsky, Simon Knäuer
Network Satisfaction Problems Solved by k-Consistency. ICALP (2023)
Manuel Bodirsky, Simon Knäuer
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom. J. Artif. Intell. Res. 75 (2022)
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. ICALP (2021)
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure. CoRR (2021)
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure. LICS (2021)
Manuel Bodirsky, Simon Knäuer
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom. AAAI (2021)
Manuel Bodirsky, Simon Knäuer, Jakub Rydval
Amalgamation is Undecidable. CoRR (2021)
Manuel Bodirsky, Simon Knäuer, Florian Starke
ASNP: A Tame Fragment of Existential Second-Order Logic. CiE (2020)
Manuel Bodirsky, Simon Knäuer
Network satisfaction for symmetric relation algebras with a flexible atom. CoRR (2020)
Manuel Bodirsky, Simon Knäuer
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. RAMiCS (2020)
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. CoRR (2020)
Manuel Bodirsky, Simon Knäuer, Florian Starke
ASNP: a tame fragment of existential second-order logic. CoRR (2020)
Manuel Bodirsky, Simon Knäuer
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. CoRR (2019)