Andrei Draghici | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙