Hybrydyzacja fragmentów logiki Halperna-Shohama
2016/23/N/HS1/02168
Słowa kluczowe
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
Kierownik projektu (z jednostki realizującej)
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
- 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)
-
Hybrid fragments of Halpern–Shoham logic and their expressive power
- 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
Teksty w publikacjach pokonferencyjnych (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, strony: 12), Wydawca: CEUR Workshop Proceedings
- Data:
- konferencja 27-29.10.2018
- Status:
- Opublikowana
Publikacje książkowe (8)
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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