Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Nieskończoność we wnioskowaniu o danych i wiedzy

2018/30/E/ST6/00042

Słowa kluczowe:

teoria baz danych reprezentacja wiedzy logika FPGA złożoność obwodowa analiza statyczna zwieranie zapytań ewaluacja zapytań w obecności ontologii

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
  • ST6_10: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Filip Murlak 

Liczba wykonawców projektu: 5

Konkurs: SONATA BIS 8 - ogłoszony 2018-06-15

Przyznana kwota: 1 967 100 PLN

Rozpoczęcie projektu: 2019-04-12

Zakończenie projektu: 2026-04-11

Planowany czas trwania projektu: 60 miesięcy (z wniosku)

Status projektu: Projekt w realizacji

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (14)
  1. Threshold Queries in Theory and in the Wild
    Autorzy:
    Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
    Czasopismo:
    Proceedings of the VLDB Endowment (rok: 2022, tom: 15, strony: 1105-1118), Wydawca: VLDB Endowment
    Status:
    Opublikowana
    Doi:
    10.14778/3510397.3510407 - link do publikacji
  2. All‐Instances Restricted Chase Termination for Linear TGDs
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
    Czasopismo:
    KI - Künstliche Intelligenz (rok: 2020, tom: 34, strony: 465–473), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s13218-020-00690-7 - link do publikacji
  3. Answering regular path queries mediated by unrestricted SQ ontologies
    Autorzy:
    Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
    Czasopismo:
    Artificial Intelligence (rok: 2023, tom: 314, strony: 103808), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.artint.2022.103808 - link do publikacji
  1. Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles
    Autorzy:
    Jakub Kuklis
    Konferencja:
    33rd International Workshop on Description Logics (DL 2020) (rok: 2020, ), Wydawca: CEUR-WS.org
    Data:
    konferencja September 12th to 14th, 2020
    Status:
    Opublikowana
  2. Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
    Autorzy:
    Szymon Toruńczyk, Thomas Zeume
    Konferencja:
    LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja June 8–11, 2020
    Status:
    Opublikowana
  3. Static Analysis of Graph Database Transformations
    Autorzy:
    Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawek Staworko
    Konferencja:
    42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 18-23 czerwca 2023
    Status:
    Opublikowana
  4. Finite Entailment of UCRPQs over ALC Ontologies
    Autorzy:
    Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
    Konferencja:
    19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) (rok: 2022, ), Wydawca: IJCAI Organization
    Data:
    konferencja July 31–August 5, 2022
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. GPC: A Pattern Calculus for Property Graphs
    Autorzy:
    Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
    Konferencja:
    42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 18-23 czerwca 2023
    Status:
    Opublikowana
    Doi:
    link do publikacji
  6. Graph Pattern Matching in GQL and SQL/PGQ
    Autorzy:
    Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
    Konferencja:
    2022 International Conference on Management of Data (SIGMOD '22) (rok: 2022, ), Wydawca: ACM
    Data:
    konferencja June 12 - 17, 2022
    Status:
    Opublikowana
  7. PG-Keys: Keys for Property Graphs
    Autorzy:
    Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W. Hare, Jan Hidders, Victor E. Lee, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak, Josh Perryman, Ognjen Savković, Michael Schmidt, Juan Sequeda, Sławek Staworko, and Dominik Tomaszuk
    Konferencja:
    2021 International Conference on Management of Data (SIGMOD '21) (rok: 2021, ), Wydawca: ACM
    Data:
    konferencja June 20–25, 2021
    Status:
    Opublikowana
  8. PG-Schema: Schemas for Property Graphs
    Autorzy:
    Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic
    Konferencja:
    SIGMOD Conference (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 18-23 czerwca 2023
    Status:
    Opublikowana
  9. All-Instances Restricted Chase Termination
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski, and Andreas Pieris
    Konferencja:
    39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS'20) (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja June 14–19, 2020
    Status:
    Opublikowana
  10. On Finite Entailment of Non-Local Queries in Description Logics
    Autorzy:
    Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
    Konferencja:
    17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) (rok: 2020, ), Wydawca: IJCAI Organization
    Data:
    konferencja September 12-18, 2020
    Status:
    Opublikowana
  11. Stackless Processing of Streamed Trees
    Autorzy:
    Corentin Barloy, Filip Murlak, and Charles Paperman
    Konferencja:
    40th ACM SIGMOD-SIGACTSIGAI Symposium on Principles of Database Systems (PODS '21) (rok: 2021, ), Wydawca: ACM
    Data:
    konferencja June 20– 25, 2021
    Status:
    Opublikowana
  12. Supporting Descendants in SIMD-Accelerated JSONPath
    Autorzy:
    Mateusz Gienieczko, Filip Murlak, Charles Paperman
    Konferencja:
    28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (rok: 2023, ), Wydawca: ACM
    Data:
    konferencja 25-29 marca 2023
    Status:
    Opublikowana
  13. A Researcher's Digest of GQL
    Autorzy:
    Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
    Konferencja:
    26th International Conference on Database Theory (ICDT) (rok: 2023, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 28-31 marca 2023,
    Status:
    Opublikowana
    Doi:
    link do publikacji
  14. Ontology Focusing: Knowledge-Enriched Databases on Demand
    Autorzy:
    Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
    Konferencja:
    24th European Conference on Artificial Intelligence (ECAI 2020) (rok: 2020, ), Wydawca: IOS Press
    Data:
    konferencja August 29 - September 8, 2020
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy