Daniel Danielski | DeepAI

DeepAI

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

Featured Co-authors

Emanuel Kieronski
6 publications

research

∙ 09/10/2018

Finite Satisfiability of Unary Negation Fragment with Transitivity

We show that the finite satisfiability problem for the unary negation fr...

0 Daniel Danielski, et al. ∙

research

∙ 02/05/2018

Unary negation fragment with equivalence relations has the finite model property

We consider an extension of the unary negation fragment of first-order l...

0 Daniel Danielski, et al. ∙