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: 2025-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

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (7)
  1. 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
  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. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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