Tomasz Gogacz

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 20

Top Topics

Data Complexity

Conjunctive Queries

Guarded Fragment

Query Answering

Top Venues

Publications

Cristina Feier, Tomasz Gogacz, Filip Murlak
Evaluating Graph Queries Using Semantic Treewidth. ICDT (2024)
Cristina Feier, Tomasz Gogacz, Filip Murlak
Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper). AMW (2023)
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
Uniform Restricted Chase Termination. SIAM J. Comput. 52 (3) (2023)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
On Finite Entailment of Non-Local Queries in Description Logics. KR (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
On Finite Entailment of Non-Local Queries in Description Logics. CoRR (2020)
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
All-Instances Restricted Chase Termination. PODS (2020)
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
All-Instances Restricted Chase Termination for Linear TGDs. Künstliche Intell. 34 (4) (2020)
Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus
Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. CoRR (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR (2019)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. Description Logics (2019)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. IJCAI (2019)
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
All-Instances Restricted Chase Termination: The Guarded Case. CoRR (2019)
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
Finite Query Answering in Expressive Description Logics with Transitive Roles. CoRR (2018)
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
Finite Query Answering in Expressive Description Logics with Transitive Roles. KR (2018)
Tomasz Gogacz, Szymon Torunczyk
Entropy Bounds for Conjunctive Queries with Functional Dependencies. ICDT (2017)
Tomasz Gogacz, Jerzy Marcinkowski
Converging to the chase - A tool for finite controllability. J. Comput. Syst. Sci. 83 (1) (2017)
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Measure properties of regular sets of trees. Inf. Comput. 256 (2017)
Tomasz Gogacz, Jerzy Marcinkowski
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. PODS (2016)
Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski
Non-dominating Sequences of Vectors Using only Resets and Increments. Fundam. Informaticae 140 (2) (2015)
Tomasz Gogacz, Jerzy Marcinkowski
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. CoRR (2015)
Tomasz Gogacz, Jerzy Marcinkowski
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. LICS (2015)
Tomasz Gogacz, Jerzy Marcinkowski
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. CoRR (2015)
Tomasz Gogacz, Szymon Torunczyk
Entropy bounds for conjunctive queries with functional dependencies. CoRR (2015)
Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski
Non-dominating sequences of vectors using only resets and increments. CoRR (2015)
Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak
On the Decidability of MSO+U on Infinite Trees. ICALP (2) (2014)
Tomasz Gogacz, Jerzy Marcinkowski
All-Instances Termination of Chase is Undecidable. ICALP (2) (2014)
Tomasz Gogacz, Jerzy Marcinkowski
Termination of oblivious chase is undecidable. CoRR (2014)
Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak
Measure Properties of Game Tree Languages. MFCS (1) (2014)
Tomasz Gogacz, Krzysztof Krupinski
On Regular Groups and Fields. J. Symb. Log. 79 (3) (2014)
Tomasz Gogacz, Jerzy Marcinkowski
On the BDD/FC Conjecture. CoRR (2014)
Tomasz Gogacz, Jerzy Marcinkowski
Converging to the Chase - A Tool for Finite Controllability. LICS (2013)
Tomasz Gogacz, Jerzy Marcinkowski
On the BDD/FC conjecture. PODS (2013)
Tomasz Gogacz, Jerzy Marcinkowski
Converging to the Chase - a Tool for Finite Controllability CoRR (2012)