Simon Knäuer

According to our database, Simon Knäuer authored at least 8 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Network Satisfaction Problems Solved by k-Consistency.

Manuel Bodirsky, Simon Knäuer

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom.

Manuel Bodirsky, Simon Knäuer

J. Artif. Intell. Res., 2022

2021

Amalgamation is Undecidable.

Manuel Bodirsky, Simon Knäuer, Jakub Rydval

CoRR, 2021

On Logics and Homomorphism Closure.

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Datalog-Expressibility for Monadic and Guarded Second-Order Logic.

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom.

Manuel Bodirsky, Simon Knäuer

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

ASNP: A Tame Fragment of Existential Second-Order Logic.

Manuel Bodirsky, Simon Knäuer, Florian Starke

Proceedings of the Beyond the Horizon of Computability, 2020

Hardness of Network Satisfaction for Relation Algebras with Normal Representations.

Manuel Bodirsky, Simon Knäuer

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020