Jakub Michaliszyn | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Bartosz Bednarczyk
16 publications
Piotr Wieczorek
3 publications
Jan Otop
2 publications

research

∙ 07/02/2020

"Most of" leads to undecidability: Failure of adding frequencies to LTL

Linear Temporal Logic (LTL) interpreted on finite traces is a robust spe...

0 Bartosz Bednarczyk, et al. ∙

research

∙ 02/11/2020

Modular Path Queries with Arithmetic

We propose a new approach to querying graph databases. Our approach bala...

0 Jakub Michaliszyn, et al. ∙

research

∙ 09/10/2018

Elementary Multimodal Logics

We study multimodal logics over universally first-order definable classe...

0 Jakub Michaliszyn, et al. ∙

research

∙ 10/12/2017

Querying Best Paths in Graph Databases

Querying graph databases has recently received much attention. We propos...

0 Jakub Michaliszyn, et al. ∙