Publikacje

Tomasz Gogacz

Liczba publikacji: 18

2024

• Cristina-Maria Feier, Tomasz Gogacz , Filip Murlak , Evaluating Graph Queries Using Semantic Treewidth, 2024 EDBT/ICDT Joint Conference, Paestum, Italy, 25 marca 2024 - 28 marca 2024, 290 2024, s. 22:1-22:20. Zobacz w 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 maja 2023 - 26 maja 2023. Zobacz w 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 grudnia 2023 - 20 grudnia 2023. Zobacz w 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 czerwca 2020 - 19 czerwca 2020, 52 (3) 2023, s. 641-683. Zobacz w 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 czerwca 2020 - 19 czerwca 2020. Zobacz w 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 września 2020 - 18 września 2020. Zobacz w 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 września 2020 - 18 września 2020. Zobacz w 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 sierpnia 2020 - 8 września 2020. Zobacz w 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 sierpnia 2019 - 16 sierpnia 2019. Zobacz w 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 października 2018 - 2 listopada 2018. Zobacz w PBN

2017

• Tomasz Gogacz , Jerzy Marcinkowski, Converging to the chase : a tool for finite controllability, Journal of Computer and System Sciences, 83 (1) 2017, s. 180-206. Zobacz w PBN
• Tomasz Gogacz , Szymon Toruńczyk , Entropy Bounds for Conjunctive Queries with Functional Dependencies, 20th International Conference on Database Theory, Venice, Italy, 21 marca 2017 - 24 marca 2017. Zobacz w 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 czerwca 2016 - 1 lipca 2016. Zobacz w 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 lipca 2015 - 10 lipca 2015. Zobacz w PBN

2014

• Jerzy Marcinkowski, Tomasz Gogacz , All-instances termination of chase is undecidable, 41st International Colloquium Automata, Languages, and Programming, Copenhagen, Denmark, 8 lipca 2014 - 11 lipca 2014. Zobacz w PBN
• Krzysztof Krupiński, Tomasz Gogacz , On regular groups and fields, Journal of Symbolic Logic, 79 (3) 2014, s. 826-844. Zobacz w 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 czerwca 2013 - 28 czerwca 2013. Zobacz w 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 czerwca 2013 - 27 czerwca 2013. Zobacz w PBN