Seguir
Tomasz Gogacz
Tomasz Gogacz
Dirección de correo verificada de cs.uni.wroc.pl
Título
Citado por
Citado por
Año
All–instances termination of chase is undecidable
T Gogacz, J Marcinkowski
Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014
452014
Converging to the chase–A tool for finite controllability
T Gogacz, J Marcinkowski
Journal of Computer and System Sciences 83 (1), 180-206, 2017
25*2017
The hunt for a red spider: Conjunctive query determinacy is undecidable
T Gogacz, J Marcinkowski
arXiv preprint arXiv:1501.01817, 2015
252015
Measure properties of regular sets of trees
T Gogacz, H Michalewski, M Mio, M Skrzypczak
Information and Computation 256, 108-130, 2017
24*2017
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
192014
All-instances restricted chase termination
T Gogacz, J Marcinkowski, A Pieris
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2020
182020
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
182016
Entropy bounds for conjunctive queries with functional dependencies
T Gogacz, S Toruńczyk
arXiv preprint arXiv:1512.01808, 2015
162015
Finite query answering in expressive description logics with transitive roles
T Gogacz, YA Ibáñez-García, F Murlak
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
132018
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
102020
On regular groups and fields
T Gogacz, K Krupiński
The Journal of Symbolic Logic 79 (3), 826-844, 2014
102014
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
72019
On the BDD/FC conjecture
T Gogacz, J Marcinkowski
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
72013
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
32020
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
32020
All-instances restricted chase termination for linear tgds
T Gogacz, J Marcinkowski, A Pieris
KI-Künstliche Intelligenz 34, 465-473, 2020
22020
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
Fundamentalne wªasno±ci teorii b¦ d¡ cych zbiorami Tuple Generating Dependencies i zwi¡ zki mi¦ dzy tymi wªasno±ciami
T Gogacz
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18