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
382014
Measure properties of regular sets of trees
T Gogacz, H Michalewski, M Mio, M Skrzypczak
Information and Computation 256, 108-130, 2017
24*2017
Converging to the chase–A tool for finite controllability
T Gogacz, J Marcinkowski
Journal of Computer and System Sciences 83 (1), 180-206, 2017
23*2017
The hunt for a red spider: Conjunctive query determinacy is undecidable
T Gogacz, J Marcinkowski
arXiv preprint arXiv:1501.01817, 2015
192015
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
182014
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
172016
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
102018
All-Instances restricted chase termination
T Gogacz, J Marcinkowski, A Pieris
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2020
92020
On regular groups and fields
T Gogacz, K Krupiński
The Journal of Symbolic Logic 79 (3), 826-844, 2014
92014
Entropy bounds for conjunctive queries with functional dependencies
T Gogacz, S Toruńczyk
arXiv preprint arXiv:1512.01808, 2015
82015
On the BDD/FC conjecture
T Gogacz, J Marcinkowski
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
72013
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
62020
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
62019
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
22020
All-instances restricted chase termination for linear tgds
T Gogacz, J Marcinkowski, A Pieris
KI-Künstliche Intelligenz 34 (4), 465-473, 2020
12020
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
12020
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
The system can't perform the operation now. Try again later.
Articles 1–18