Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Hybrydyzacja fragmentów logiki Halperna-Shohama

2016/23/N/HS1/02168

Słowa kluczowe:

logiki interwałowe logiki temporalne logiki modalne logiki hybrydowe złożoność obliczeniowa

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST1_1: Logika i podstawy matematyki

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Przemysław Wałęga 

Liczba wykonawców projektu: 2

Konkurs: PRELUDIUM 12 - ogłoszony 2016-09-15

Przyznana kwota: 76 800 PLN

Rozpoczęcie projektu: 2017-09-04

Zakończenie projektu: 2019-12-03

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

Status projektu: Projekt rozliczony

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 (1)
  • Publikacje książkowe (8)
  1. Hybrid fragments of Halpern–Shoham logic and their expressive power IF: 0,718
    Autorzy:
    Przemysław Andrzej Wałęga
    Czasopismo:
    Theoretical Computer Science (rok: 2019, tom: 797, strony: 102-128), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.tcs.2019.01.014 - link do publikacji
  1. On the data complexity of ontology-mediated queries with MTL operators over timed words
    Autorzy:
    Stanislav Kikot, Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael Zakharyaschev
    Konferencja:
    31st International Workshop on Description Logics (rok: 2018, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 27-29.10.2018
    Status:
    Opublikowana
  1. Data complexity and rewritability of ontology-mediated queries in metric temporal logic under the event-based semantics
    Autorzy:
    Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael Zakharyaschev
    Książka:
    Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (rok: 2019, tom: 1, strony: 1851-1857), Wydawca: IJCAI Proceedings
    Status:
    Opublikowana
  2. Visual explanation by high-level abduction: on Answer-Set Programming driven reasoning about moving objects
    Autorzy:
    Jakob Suchan, Mehul Bhatt, Przemysław Andrzej Wałęga, Carl Schultz
    Książka:
    Thirty-Second AAAI Conference on Artificial Intelligence (rok: 2018, tom: -, strony: 1965-1972), Wydawca: AAAI Press
    Status:
    Opublikowana
  3. Answer Set Programming modulo 'space-time'
    Autorzy:
    Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemysław Andrzej Wałęga
    Książka:
    Rules and Reasoning (rok: 2018, tom: LNCS 11092, strony: 318-326), Wydawca: Springer
    Status:
    Opublikowana
  4. Computational complexity of a core fragment of Halpern-Shoham logic
    Autorzy:
    Przemysław Andrzej Wałęga
    Książka:
    25th International Symposium on Temporal Representation and Reasoning (TIME 2018) (rok: 2018, tom: 120, strony: 23:1-23:18), Wydawca: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
    Status:
    Opublikowana
  5. On disallowing punctual intervals in reflexive semantics of Halpern-Shoham logic
    Autorzy:
    Przemysław Andrzej Wałęga
    Książka:
    LPAR-22 Workshop and Short Paper Proceedings (rok: 2018, tom: 9, strony: 91-106), Wydawca: EasyChair
    Status:
    Opublikowana
  6. Computational complexity of core fragments of modal logics T, K4, and S4
    Autorzy:
    Przemysław Andrzej Wałęga
    Książka:
    JELIA 2019. Lecture Notes in Computer Science (rok: 2019, tom: 11468, strony: 744-759), Wydawca: Springer
    Status:
    Opublikowana
  7. DatalogMTL: computational complexity and expressive power
    Autorzy:
    Przemysław Andrzej Wałęga, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
    Książka:
    Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (rok: 2019, tom: 1, strony: 1886-1892), Wydawca: IJCAI Proceedings
    Status:
    Opublikowana
  8. Reasoning over streaming data in metric temporal Datalog
    Autorzy:
    Przemysław Andrzej Wałęga, Mark Kaminski, Bernardo Cuenca Grau
    Książka:
    Thirty-Third AAAI Conference on Artificial Intelligence (rok: 2019, tom: 33, strony: 3093-3099), Wydawca: AAAI Press
    Status:
    Opublikowana