Simon Knäuer

From International Center for Computational Logic

Simon Knäuer

Scholarship HolderTechnische Universität DresdenInternational Center for Computational Logic Algebra and Discrete Structures

I am a Ph.D. student in the DFG Research Training Group QuantLA.

Currently I am working on

  • Infinite Domain Constraint Satisfaction Problems
  • CSPs of Finite Relation Algebras
  • Second Order Logic and CSPs

My supervisors are Prof. Dr. Manuel Bodirsky and Prof. Dr. Franz Baader

Newest Publications

View full publication list

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Technical Report,, volume 2010.05677, October 2020
Details Download
View full publication list

Quantitative Logics and Automata