Publications

Tomasz Gogacz

Number of publications: 18

2024

• Cristina-Maria Feier, Tomasz Gogacz , Filip Murlak , Evaluating Graph Queries Using Semantic Treewidth, 2024 EDBT/ICDT Joint Conference, Paestum, Italy, 25 March 2024 - 28 March 2024, 290 2024, p. 22:1-22:20. See in PBN

2023

• Cristina-Maria Feier, Tomasz Gogacz , Filip Murlak , Exploiting Semantic Treewidth for Graph Queries Evaluation, 15th Alberto Mendelzon International Workshop on Foundations of Data Management,, Santiago de Chile, Chile, 22 May 2023 - 26 May 2023. See in PBN
• Wojciech Czerwiński , Maciej Dębski, Tomasz Gogacz , Gordon Ho, Sanjay Jain, Michał Skrzypczak , Frank Stephan, Christopher Tan, Languages Given by Finite Automata over the Unary Alphabet, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 December 2023 - 20 December 2023. See in PBN
• Tomasz Gogacz , Jerzy Marcinkowski, Andreas Pieris, Uniform restricted chase termination, SIAM Journal on Computing, 39th ACM SIGMOD-SIGACT-SIGART Conference on Principles of Database Systems, Portland, the United States of America, 14 June 2020 - 19 June 2020, 52 (3) 2023, p. 641-683. See in PBN

2020

• Tomasz Gogacz , Jerzy Marcinkowski, Andreas Pieris, All-instances restricted chase termination, 39th ACM SIGMOD-SIGACT-SIGART Conference on Principles of Database Systems, Portland, the United States of America, 14 June 2020 - 19 June 2020. See in PBN
• Tomasz Gogacz , Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus, Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates, 17th International Conference on Principles of Knowledge Representation and Reasoning, Rende, Italy, 12 September 2020 - 18 September 2020. See in PBN
• Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak , Albert Gutowski , Tomasz Gogacz , On Finite Entailment of Non-Local Queries in Description Logics, 17th International Conference on Principles of Knowledge Representation and Reasoning, Rende, Italy, 12 September 2020 - 18 September 2020. See in PBN
• Tomasz Gogacz , Victor Didier Gutierrrez Basulto, Yazmin Angelica Ibanez Garcia, Filip Murlak , Magdalena Ortiz, Mantas Simkus, Ontology Focusing: Knowledge-Enriched Databases on Demand, 24th European Conference on Artificial Intelligence, Santiago de Compostela, Spain, 29 August 2020 - 8 September 2020. See in PBN

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, 28th International Joint Conference on Artificial Intelligence, Macao, China, 10 August 2019 - 16 August 2019. See in PBN

2018

• Tomasz Gogacz , Yazmin Angélica Ibáñez-García, Filip Murlak , Finite Query Answering in Expressive Description Logics with Transitive Roles, 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, AZ, the United States of America, 27 October 2018 - 2 November 2018. See in PBN

2017

• Tomasz Gogacz , Jerzy Marcinkowski, Converging to the chase : a tool for finite controllability, Journal of Computer and System Sciences, 83 (1) 2017, p. 180-206. See in PBN
• Tomasz Gogacz , Szymon Toruńczyk , Entropy Bounds for Conjunctive Queries with Functional Dependencies, 20th International Conference on Database Theory, Venice, Italy, 21 March 2017 - 24 March 2017. See in PBN

2016

• Jerzy Marcinkowski, Tomasz Gogacz , Red spider meets a rainworm : conjunctive query finite determinacy is undecidable, SIGMOD/PODS'16 International Conference on Management of Data, San Francisco, the United States of America, 26 June 2016 - 1 July 2016. See in PBN

2015

• Jerzy Marcinkowski, Tomasz Gogacz , The hunt for a red spider : conjunctive query determinacy is undecidable, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN

2014

• Jerzy Marcinkowski, Tomasz Gogacz , All-instances termination of chase is undecidable, 41st International Colloquium Automata, Languages, and Programming, Copenhagen, Denmark, 8 July 2014 - 11 July 2014. See in PBN
• Krzysztof Krupiński, Tomasz Gogacz , On regular groups and fields, Journal of Symbolic Logic, 79 (3) 2014, p. 826-844. See in PBN

2013

• Jerzy Marcinkowski, Tomasz Gogacz , Converging to the chase - a tool for finite controllability, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, New Orleans, the United States of America, 25 June 2013 - 28 June 2013. See in PBN
• Jerzy Marcinkowski, Tomasz Gogacz , On the BDD/FC conjecture, 32nd Symposium on Principles of Database Systems, New York, the United States of America, 22 June 2013 - 27 June 2013. See in PBN