Tomasz Gogacz

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