Andrei Draghici | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Georg Gottlob
26 publications
Matthias Lanzinger
15 publications
Florin Manea
13 publications
Christoph Haase
7 publications

research

∙ 06/26/2023

Semënov Arithmetic, Affine VASS, and String Constraints

We study extensions of Semënov arithmetic, the first-order theory of the...

0 Andrei Draghici, et al. ∙

research

∙ 10/07/2021

On the Complexity of Inductively Learning Guarded Rules

We investigate the computational complexity of mining guarded clauses fr...

4 Andrei Draghici, et al. ∙