Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Logiki do przetwarzania danych i weryfikacji

2014/15/D/ST6/00719

Słowa kluczowe:

logika

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

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

Jednostka realizująca:

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Jakub Michaliszyn 

Liczba wykonawców projektu: 4

Konkurs: SONATA 8 - ogłoszony 2014-09-15

Przyznana kwota: 419 250 PLN

Rozpoczęcie projektu: 2015-09-22

Zakończenie projektu: 2018-09-21

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

Status projektu: Projekt rozliczony

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (5)
  1. Satisfiability versus Finite Satisfiability in Elementary Modal Logics
    Autorzy:
    Jakub Michaliszyn, Jan Otop, Piotr Witkowski
    Czasopismo:
    Fundamenta Informaticae (rok: 2018, tom: 163, strony: 165–188), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2018-1736 - link do publikacji
  2. Modular Path Queries with Arithmetic
    Autorzy:
    Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    Czasopismo:
    Logical Methods in Computer Science (rok: 2020, tom: brak, strony: brak), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  1. Containment of Shape Expression Schemas for RDF
    Autorzy:
    Sławek Staworko and Piotr Wieczorek
    Konferencja:
    PODS 2019: 38th Symposium on PRINCIPLES OF DATABASE SYSTEMS (rok: 2019, ), Wydawca: ACM
    Data:
    konferencja 30 czerwca-5 lipca 2019
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions
    Autorzy:
    Alessio Lomuscio, Jakub Michaliszyn,
    Konferencja:
    Knowledge representation and reasoning 2016 (rok: 2016, ), Wydawca: AAAI Press.
    Data:
    konferencja 25-29 kwietnia 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Querying Data Graphs with Arithmetical Regular Expressions
    Autorzy:
    Maciej Graboń, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    Konferencja:
    Twenty-Fifth International Joint Conference on Artificial Intelligence (rok: 2016, ), Wydawca: AAAI Press
    Data:
    konferencja 9-15 lipca 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  4. Decidability of Model Checking Multi-Agent Systems with Regular against Epistemic HS Specifications
    Autorzy:
    Jakub Michaliszyn i Piotr Witkowski
    Konferencja:
    Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019 (rok: 2019, ), Wydawca: ijcai.org
    Data:
    konferencja 10-16 sierpnia 2019
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. Querying Best Paths in Graph Databases
    Autorzy:
    Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    Konferencja:
    37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (rok: 2017, ), Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
    Data:
    konferencja 11–15.12.2017
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy