Projekty finansowane przez NCN
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
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: 27 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/rocznego
- Publikacje w czasopismach (1)
- Teksty w publikacjach pokonferencyjnych (1)
- Publikacje książkowe (8)
- Hybrid fragments of Halpern–Shoham logic and their expressive powerAutorzy:Przemysław Andrzej WałęgaCzasopismo:Theoretical Computer Science (rok: 2019, tom: 797, strony: 102-128), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.tcs.2019.01.014 - link do publikacji
- On the data complexity of ontology-mediated queries with MTL operators over timed wordsAutorzy:Stanislav Kikot, Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael ZakharyaschevKonferencja:31st International Workshop on Description Logics (rok: 2018, ), Wydawca: CEUR Workshop ProceedingsData:konferencja 27-29.10.2018Status:Opublikowana
- Data complexity and rewritability of ontology-mediated queries in metric temporal logic under the event-based semanticsAutorzy:Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael ZakharyaschevKsiążka:Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (rok: 2019, tom: 1, strony: 1851-1857), Wydawca: IJCAI ProceedingsStatus:Opublikowana
- Visual explanation by high-level abduction: on Answer-Set Programming driven reasoning about moving objectsAutorzy:Jakob Suchan, Mehul Bhatt, Przemysław Andrzej Wałęga, Carl SchultzKsiążka:Thirty-Second AAAI Conference on Artificial Intelligence (rok: 2018, tom: -, strony: 1965-1972), Wydawca: AAAI PressStatus:Opublikowana
- Reasoning over streaming data in metric temporal DatalogAutorzy:Przemysław Andrzej Wałęga, Mark Kaminski, Bernardo Cuenca GrauKsiążka:Thirty-Third AAAI Conference on Artificial Intelligence (rok: 2019, tom: 33, strony: 3093-3099), Wydawca: AAAI PressStatus:Opublikowana
- Computational complexity of a core fragment of Halpern-Shoham logicAutorzy:Przemysław Andrzej WałęgaKsiąż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 InformatikStatus:Opublikowana
- On disallowing punctual intervals in reflexive semantics of Halpern-Shoham logicAutorzy:Przemysław Andrzej WałęgaKsiążka:LPAR-22 Workshop and Short Paper Proceedings (rok: 2018, tom: 9, strony: 91-106), Wydawca: EasyChairStatus:Opublikowana
- Answer Set Programming modulo 'space-time'Autorzy:Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemysław Andrzej WałęgaKsiążka:Rules and Reasoning (rok: 2018, tom: LNCS 11092, strony: 318-326), Wydawca: SpringerStatus:Opublikowana
- DatalogMTL: computational complexity and expressive powerAutorzy:Przemysław Andrzej Wałęga, Bernardo Cuenca Grau, Mark Kaminski, Egor V. KostylevKsiążka:Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (rok: 2019, tom: 1, strony: 1886-1892), Wydawca: IJCAI ProceedingsStatus:Opublikowana
- Computational complexity of core fragments of modal logics T, K4, and S4Autorzy:Przemysław Andrzej WałęgaKsiążka:JELIA 2019. Lecture Notes in Computer Science (rok: 2019, tom: 11468, strony: 744-759), Wydawca: SpringerStatus:Opublikowana