Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach skończonych

2021/41/B/ST6/00996

Słowa kluczowe:

spełnialność skończona spełnialność zapytania koniunkcyjne logiki descrypcyjne logiki strzeżone logika triguarded klasa Masłowa K

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
  • 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

Jednostka realizująca:

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Emanuel Grzegorz Kieroński 

Liczba wykonawców projektu: 5

Konkurs: OPUS 21 - ogłoszony 2021-03-15

Przyznana kwota: 494 832 PLN

Rozpoczęcie projektu: 2022-02-01

Zakończenie projektu: 2026-02-02

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

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/rocznego

  • Teksty w publikacjach pokonferencyjnych (4)
  1. A Uniform One-Dimensional Fragment with Alternation of Quantifiers
    Autorzy:
    Emanuel Kieroński
    Konferencja:
    Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023 (rok: 2023, tom: Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, strony: 45672), Wydawca: Electronic Proceedings in Theoretical Computer Science
    Data:
    konferencja 18-20 września 2023
    Status:
    Opublikowana
    Doi:
    10.4204/EPTCS.390.1 - link do publikacji
  2. An excursion to the border of decidability: between two- and three-variable logic
    Autorzy:
    Oskar Fiuk, Emanuel Kieroński
    Konferencja:
    LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023 (rok: 2023, tom: 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), strony: 205-223), Wydawca: EasyChair
    Data:
    konferencja 4-9 June 2023
    Status:
    Opublikowana
    Doi:
    10.29007/1xns - link do publikacji
  3. Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
    Autorzy:
    Bartosz Bednarczyk, Oskar Fiuk
    Konferencja:
    Logic, Language, Information, and Computation. WoLLIC 2022. Lecture Notes in Computer Science, vol 13468 (rok: 2022, tom: WoLLIC 2022: Logic, Language, Information, and Computation, strony: 295-308), Wydawca: Springer
    Data:
    konferencja 20-23 September 2022
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-15298-6_19 - link do publikacji
  4. Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
    Autorzy:
    Bartosz Bednarczyk, Oskar Fiuk
    Konferencja:
    Logic, Language, Information, and Computation. WoLLIC 2022. Lecture Notes in Computer Science, vol 13468 (rok: 2022, tom: WoLLIC 2022: Logic, Language, Information, and Computation, strony: 295-308), Wydawca: Springer
    Data:
    konferencja 20-23 September 2022
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-15298-6_19 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy