Follow
Tomasz Gogacz
Tomasz Gogacz
Verified email at cs.uni.wroc.pl
Title
Cited by
Cited by
Year
All–instances termination of chase is undecidable
T Gogacz, J Marcinkowski
International Colloquium on Automata, Languages, and Programming, 293-304, 2014
512014
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
The hunt for a red spider: Conjunctive query determinacy is undecidable
T Gogacz, J Marcinkowski
arXiv preprint arXiv:1501.01817, 2015
282015
Measure properties of regular sets of trees
T Gogacz, H Michalewski, M Mio, M Skrzypczak
Information and Computation 256, 108-130, 2017
27*2017
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
222016
Entropy bounds for conjunctive queries with functional dependencies
T Gogacz, S Toruńczyk
arXiv preprint arXiv:1512.01808, 2015
222015
All-instances restricted chase termination
T Gogacz, J Marcinkowski, A Pieris
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2020
202020
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
202014
Finite query answering in expressive description logics with transitive roles
T Gogacz, Y Ibanez Garcia, F Murlak
AAAI Press, 2018
152018
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
132020
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
122020
On regular groups and fields
T Gogacz, K Krupiński
The Journal of Symbolic Logic 79 (3), 826-844, 2014
102014
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
82020
On the BDD/FC conjecture
T Gogacz, J Marcinkowski
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
82013
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
52020
All-instances restricted chase termination for linear tgds
T Gogacz, J Marcinkowski, A Pieris
KI-Künstliche Intelligenz 34, 465-473, 2020
42020
Uniform Restricted Chase Termination
T Gogacz, J Marcinkowski, A Pieris
SIAM Journal on Computing 52 (3), 641-683, 2023
12023
Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper)
C Feier, T Gogacz, F Murlak
AMW, 2023
12023
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
12015
Evaluating Graph Queries Using Semantic Treewidth
C Feier, T Gogacz, F Murlak
27th International Conference on Database Theory (ICDT 2024), 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20