research
∙
09/19/2023
On the Parameterized Complexity of Learning Monadic Second-Order Formulas
Within the model-theoretic framework for supervised learning introduced ...
share
research
∙
04/25/2023
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
The fixed-point logic LREC= was developed by Grohe et al. (CSL 2011) in ...
research
∙
02/24/2021
On the Parameterized Complexity of Learning Logic
We analyse the complexity of learning first-order definable concepts in ...
research
∙
09/22/2020
Learning Concepts Described by Weight Aggregation Logic
We consider weighted structures, which extend ordinary relational struct...
research
∙
09/09/2019