research
∙
08/01/2023
Descriptive complexity for neural networks via Boolean networks
We investigate the descriptive complexity of a class of neural networks ...
share
research
∙
07/13/2023
Short Boolean Formulas as Explanations in Practice
We investigate explainability via short Boolean formulas in the data mod...
research
∙
03/08/2023
Descriptive complexity for distributed computing with circuits
We consider distributed algorithms in the realistic scenario where distr...
research
∙
01/31/2023
A monotone connection between model class size and description length
This paper links sizes of model classes to the minimum lengths of their ...
research
∙
09/26/2022
Relating description complexity to entropy
We demonstrate some novel links between entropy and description complexi...
research
∙
09/03/2022
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
We conceptualize explainability in terms of logic and formula size, givi...
research
∙
07/15/2022
First-order logic with self-reference
We consider an extension of first-order logic with a recursion operator ...
research
∙
02/03/2022
On expressive rule-based logics
We investigate a family of rule-based logics. The focus is on very expre...
research
∙
10/06/2021
One-Dimensional Fragment over Words and Trees
One-dimensional fragment of first-order logic is obtained by restricting...
research
∙
09/17/2021
The Optimal Way to Play the Most Difficult Repeated Coordination Games
This paper investigates repeated win-lose coordination games (WLC-games)...
research
∙
08/19/2021
Description logics as polyadic modal logics
We study extensions of standard description logics to the framework of p...
research
∙
09/23/2020
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants
We introduce a new game-theoretic semantics (GTS) for the modal mu-calcu...
research
∙
05/03/2020
Algebraic classifications for fragments of first-order logic and beyond
Complexity and decidability of logical systems is a major research area ...
research
∙
04/15/2020
Optimal protocols for the most difficult repeated coordination games
This paper investigates repeated win-lose coordination games (WLC-games)...
research
∙
10/31/2019
On Games and Computation
We introduce and investigate a range of general notions of a game. Our p...
research
∙
04/26/2018
Weighted model counting beyond two-variable logic
It was recently shown by van den Broeck at al. that the symmetric weight...
research
∙
06/22/2017
Rational coordination with no communication or conventions
We study pure coordination games where in every outcome, all players hav...
research
∙
04/06/2016
