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, m.in.:

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

Czas trwania projektu: 60 miesięcy

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

  • Teksty w publikacjach pokonferencyjnych (2)
  1. On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
    Autorzy:
    Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak
    Konferencja:
    Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019) (rok: 2019, ), Wydawca: ijcai.org
    Data:
    konferencja 43687
    Status:
    Opublikowane
  2. On the semantics of Cypher's implicit group-by
    Autorzy:
    Filip Murlak, Jan Posiadala, Pawel Susicki
    Konferencja:
    17th ACM SIGPLAN International Symposium on Database Programming Languages (DBPL 2019) (rok: 2019, ), Wydawca: ACM
    Data:
    konferencja 43639
    Status:
    Opublikowane