Volgen
Tomasz Gogacz
Tomasz Gogacz
Geverifieerd e-mailadres voor cs.uni.wroc.pl
Titel
Geciteerd door
Geciteerd door
Jaar
All–instances termination of chase is undecidable
T Gogacz, J Marcinkowski
International Colloquium on Automata, Languages, and Programming, 293-304, 2014
502014
Converging to the chase–A tool for finite controllability
T Gogacz, J Marcinkowski
Journal of Computer and System Sciences 83 (1), 180-206, 2017
29*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
252015
Entropy bounds for conjunctive queries with functional dependencies
T Gogacz, S Toruńczyk
arXiv preprint arXiv:1512.01808, 2015
202015
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
All-instances restricted chase termination
T Gogacz, J Marcinkowski, A Pieris
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2020
192020
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
192016
Finite query answering in expressive description logics with transitive roles
T Gogacz, Y Ibanez Garcia, F Murlak
AAAI Press, 2018
142018
Ontology focusing: Knowledge-enriched databases on demand
T Gogacz, V Gutiérrez-Basulto, YA Ibáñez-García, F Murlak, M Ortiz, ...
arXiv preprint arXiv:1904.00195, 2019
122019
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
112020
On regular groups and fields
T Gogacz, K Krupiński
The Journal of Symbolic Logic 79 (3), 826-844, 2014
102014
On the BDD/FC conjecture
T Gogacz, J Marcinkowski
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
82013
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
72020
All-instances restricted chase termination for linear tgds
T Gogacz, J Marcinkowski, A Pieris
KI-Künstliche Intelligenz 34, 465-473, 2020
42020
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
42020
Uniform Restricted Chase Termination
T Gogacz, J Marcinkowski, A Pieris
SIAM Journal on Computing 52 (3), 641-683, 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
Exploiting Semantic Treewidth for Graph Queries Evaluation
C Feier, T Gogacz, F Murlak
2023
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20