Tomasz Gogacz
Tomasz Gogacz
Verified email at cs.uni.wroc.pl
TitleCited byYear
All–instances termination of chase is undecidable
T Gogacz, J Marcinkowski
International Colloquium on Automata, Languages, and Programming, 293-304, 2014
252014
Converging to the chase–A tool for finite controllability
T Gogacz, J Marcinkowski
Journal of Computer and System Sciences 83 (1), 180-206, 2017
21*2017
Measure properties of regular sets of trees
T Gogacz, H Michalewski, M Mio, M Skrzypczak
Information and Computation 256, 108-130, 2017
17*2017
On the decidability of MSO+ U on infinite trees
M Bojańczyk, T Gogacz, H Michalewski, M Skrzypczak
International Colloquium on Automata, Languages, and Programming, 50-61, 2014
172014
The hunt for a red spider: Conjunctive query determinacy is undecidable
T Gogacz, J Marcinkowski
arXiv preprint arXiv:1501.01817, 2015
152015
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
112016
On regular groups and fields
T Gogacz, K Krupiński
The Journal of Symbolic Logic 79 (3), 826-844, 2014
92014
On the BDD/FC conjecture
T Gogacz, J Marcinkowski
arXiv preprint arXiv:1408.2081, 2014
62014
Entropy bounds for conjunctive queries with functional dependencies
T Gogacz, S Toruńczyk
arXiv preprint arXiv:1512.01808, 2015
42015
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
32018
All-Instances Restricted Chase Termination: The Guarded Case
T Gogacz, J Marcinkowski, A Pieris
arXiv preprint arXiv:1901.03897, 2019
12019
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
2019
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles⋆
T Gogacz, V Gutiérrez-Basulto, Y Ibánez-Garcıa, JC Jung, F Murlak
Proc. of IJCAI-19, 2019
2019
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
2015
Fundamentalne wªasno±ci teorii b¦ d¡ cych zbiorami Tuple Generating Dependencies i zwi¡ zki mi¦ dzy tymi wªasno±ciami
T Gogacz
The system can't perform the operation now. Try again later.
Articles 1–15