All–instances termination of chase is undecidable T Gogacz, J Marcinkowski International Colloquium on Automata, Languages, and Programming, 293-304, 2014 | 51 | 2014 |
Converging to the chase–A tool for finite controllability T Gogacz, J Marcinkowski Journal of Computer and System Sciences 83 (1), 180-206, 2017 | 28* | 2017 |
Measure properties of regular sets of trees T Gogacz, H Michalewski, M Mio, M Skrzypczak Information and Computation 256, 108-130, 2017 | 27* | 2017 |
The hunt for a red spider: Conjunctive query determinacy is undecidable T Gogacz, J Marcinkowski arXiv preprint arXiv:1501.01817, 2015 | 27 | 2015 |
Red spider meets a rainworm: Conjunctive query finite determinacy is undecidable T Gogacz, J Marcinkowski Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016 | 21 | 2016 |
Entropy bounds for conjunctive queries with functional dependencies T Gogacz, S Toruńczyk arXiv preprint arXiv:1512.01808, 2015 | 21 | 2015 |
All-instances restricted chase termination T Gogacz, J Marcinkowski, A Pieris Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2020 | 20 | 2020 |
On the decidability of MSO+ U on infinite trees M Bojańczyk, T Gogacz, H Michalewski, M Skrzypczak Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014 | 20 | 2014 |
Finite query answering in expressive description logics with transitive roles T Gogacz, Y Ibanez Garcia, F Murlak AAAI Press, 2018 | 15 | 2018 |
Ontology focusing: Knowledge-enriched databases on demand T Gogacz, V Gutiérrez-Basulto, Y Ibáñez-García, F Murlak, M Ortiz, ... ECAI 2020, 745-752, 2020 | 13 | 2020 |
On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles T Gogacz, V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung, F Murlak arXiv preprint arXiv:2010.11503, 2020 | 12 | 2020 |
On regular groups and fields T Gogacz, K Krupiński The Journal of Symbolic Logic 79 (3), 826-844, 2014 | 10 | 2014 |
Datalog rewritability and data complexity of ALCHOIF with closed predicates T Gogacz, S Lukumbuzya, M Ortiz, M Šimkus Proceedings of the International Conference on Principles of Knowledge …, 2020 | 8 | 2020 |
On the BDD/FC conjecture T Gogacz, J Marcinkowski Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013 | 8 | 2013 |
On finite entailment of non-local queries in description logics T Gogacz, V Gutiérrez-Basulto, A Gutowski, Y Ibáñez-García, F Murlak arXiv preprint arXiv:2006.16869, 2020 | 5 | 2020 |
All-instances restricted chase termination for linear tgds T Gogacz, J Marcinkowski, A Pieris KI-Künstliche Intelligenz 34, 465-473, 2020 | 4 | 2020 |
Uniform Restricted Chase Termination T Gogacz, J Marcinkowski, A Pieris SIAM Journal on Computing 52 (3), 641-683, 2023 | 1 | 2023 |
Non-dominating sequences of vectors using only resets and increments W Czerwiński, T Gogacz, E Kopczyński Fundamenta Informaticae 140 (2), 123-127, 2015 | 1 | 2015 |
Evaluating Graph Queries Using Semantic Treewidth C Feier, T Gogacz, F Murlak 27th International Conference on Database Theory (ICDT 2024), 2024 | | 2024 |
Exploiting Semantic Treewidth for Graph Queries Evaluation C Feier, T Gogacz, F Murlak | | 2023 |