• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 35 matches

• 2024
• 
  Cristina Feier, Tomasz Gogacz, Filip Murlak:
  Evaluating Graph Queries Using Semantic Treewidth. ICDT 2024: 22:1-22:20
• 2023
• 
  Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
  Uniform Restricted Chase Termination. SIAM J. Comput. 52(3): 641-683 (2023)
• 
  Cristina Feier, Tomasz Gogacz, Filip Murlak:
  Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper). AMW 2023
• 2020
• 
  Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
  All-Instances Restricted Chase Termination for Linear TGDs. Künstliche Intell. 34(4): 465-473 (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: 745-752
• 
  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: 424-433
• 
  Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus:
  Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR 2020: 434-444
• 
  Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
  All-Instances Restricted Chase Termination. PODS 2020: 245-258
• 
  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 abs/2006.16869 (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 abs/2010.11503 (2020)
• 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: 1719-1725
• 
  Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
  All-Instances Restricted Chase Termination: The Guarded Case. CoRR abs/1901.03897 (2019)
• 
  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 abs/1904.00195 (2019)
• 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: 369-378
• 
  Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak:
  Finite Query Answering in Expressive Description Logics with Transitive Roles. CoRR abs/1808.03130 (2018)
• 2017
• 
  Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak:
  Measure properties of regular sets of trees. Inf. Comput. 256: 108-130 (2017)
• 
  Tomasz Gogacz, Jerzy Marcinkowski:
  Converging to the chase - A tool for finite controllability. J. Comput. Syst. Sci. 83(1): 180-206 (2017)
• 
  Tomasz Gogacz, Szymon Torunczyk:
  Entropy Bounds for Conjunctive Queries with Functional Dependencies. ICDT 2017: 15:1-15:17
• 2016
• 
  Tomasz Gogacz, Jerzy Marcinkowski:
  Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. PODS 2016: 121-134
• 2015
• 
  Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski:
  Non-dominating Sequences of Vectors Using only Resets and Increments. Fundam. Informaticae 140(2): 123-127 (2015)
• 
  Tomasz Gogacz, Jerzy Marcinkowski:
  The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. LICS 2015: 281-292
• 
  Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski:
  Non-dominating sequences of vectors using only resets and increments. CoRR abs/1506.05279 (2015)
• 
  Tomasz Gogacz, Jerzy Marcinkowski:
  The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. CoRR abs/1501.01817 (2015)
• 
  Tomasz Gogacz, Jerzy Marcinkowski:
  Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. CoRR abs/1512.01681 (2015)
• 
  Tomasz Gogacz, Szymon Torunczyk:
  Entropy bounds for conjunctive queries with functional dependencies. CoRR abs/1512.01808 (2015)
• 2014
• 
  Tomasz Gogacz, Krzysztof Krupinski:
  On Regular Groups and Fields. J. Symb. Log. 79(3): 826-844 (2014)
• 
  Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak:
  On the Decidability of MSO+U on Infinite Trees. ICALP (2) 2014: 50-61
• 
  Tomasz Gogacz, Jerzy Marcinkowski:
  All-Instances Termination of Chase is Undecidable. ICALP (2) 2014: 293-304
• 
  Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak:
  Measure Properties of Game Tree Languages. MFCS (1) 2014: 303-314

skipping 5 more matches