Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

W poszukiwaniu nowych logik komputerowych

2016/21/B/ST6/01444

Słowa kluczowe:

logika w informatyce złożoność obliczeniowa rozstrzygalność spełnialność fragmenty logiki pierwszego rzędu

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • 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. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Emanuel Grzegorz Kieroński 

Liczba wykonawców projektu: 6

Konkurs: OPUS 11 - ogłoszony 2016-03-15

Przyznana kwota: 699 375 PLN

Rozpoczęcie projektu: 2017-01-01

Zakończenie projektu: 2021-10-11

Planowany czas trwania projektu: 57 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.

Zakupiona aparatura

  1. Notebook lub laptop. Za kwotę 12 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (19)
  1. Completing the Picture: Complexity of graded modal logics with converse
    Autorzy:
    Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
    Czasopismo:
    Theory and Practice of Logic Programming (rok: 2021, tom: 21(4), strony: 493-520), Wydawca: Cambridge University Pres
    Status:
    Opublikowana
    Doi:
    10.1017/S1471068421000065 - link do publikacji
  2. Two-variable logics with counting and semantic constraints
    Autorzy:
    Emanuel Kieroński, Lidia Tendera, Ian Pratt-Hartmann
    Czasopismo:
    ACM SIGLOG News (rok: 2018, tom: 5(3), strony: 22-43), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3242953.3242958 - link do publikacji
  3. One-dimensional fragment over words and trees
    Autorzy:
    Emanuel Kieroński, Antti Kuusisto
    Czasopismo:
    Journal of Logic and Computation (rok: 2022, tom: online first, strony: online first), Wydawca: Oxford Academic
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exac002 - link do publikacji
  1. Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications
    Autorzy:
    Jakub Michaliszyn, 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
  2. Unary negation fragment with equivalence relations has the finite model property
    Autorzy:
    Daniel Danielski, Emanuel Kieroński
    Konferencja:
    33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 9-12 lipca 2018
    Status:
    Opublikowana
  3. The Triguarded Fragment with Transitivity
    Autorzy:
    Emanuel Kieroński, Adam Malinowski
    Konferencja:
    LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (rok: 2020, ), Wydawca: EasyChair
    Data:
    konferencja 12-13 stycznia 2021
    Status:
    Opublikowana
  4. Decidability Frontier for Fragments of First-Order Logic with Transitivity
    Autorzy:
    Lidia Tendera
    Konferencja:
    31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (rok: 2018, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 27-29 października 2018
    Status:
    Opublikowana
  5. A Note on C2 Interpreted over Finite Data-Words
    Autorzy:
    Bartosz Bednarczyk, Piotr Witkowski
    Konferencja:
    27th International Symposium on Temporal Representation and Reasoning, TIME (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 23-25 września 2020
    Status:
    Opublikowana
  6. Modulo Counting on Words and Trees
    Autorzy:
    Bartosz Bednarczyk, Witold Charatonik
    Konferencja:
    37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 11-15 grudnia, 2017
    Status:
    Opublikowana
  7. Finite Satisfiability of Unary Negation Fragment with Transitivity
    Autorzy:
    Daniel Danielski, Emanuel Kieroński
    Konferencja:
    44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 26-30 sierpnia 2019
    Status:
    Opublikowana
  8. Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract)
    Autorzy:
    Emanuel Kieroński, Sebastian Rudolph
    Konferencja:
    Description Logics Workshop 2021 (rok: 2021, ), Wydawca: Ceur-ws.org
    Data:
    konferencja 19-22 września 2021
    Status:
    Opublikowana
  9. Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract)
    Autorzy:
    Emanuel Kieroński, Sebastian Rudolph
    Konferencja:
    Description Logics Workshop 2021 (rok: 2021, ), Wydawca: Ceur-ws.org
    Data:
    konferencja 19-22 września 2021
    Status:
    Opublikowana
  10. One-Dimensional Logic over Trees
    Autorzy:
    Emanuel Kieroński, Antti Kuusisto
    Konferencja:
    42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 21-25 sierpnia, 2017
    Status:
    Opublikowana
  11. Two-variable First-Order Logic with Counting in Forests
    Autorzy:
    Witold Charatonik and Yegor Guskov and Ian Pratt-Hartmann and Piotr Witkowski
    Konferencja:
    LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (rok: 2018, ), Wydawca: EasyChair
    Data:
    konferencja 16-21 listopada 2018
    Status:
    Opublikowana
  12. A Note on C2 Interpreted over Finite Data-Words
    Autorzy:
    Bartosz Bednarczyk, Piotr Witkowski
    Konferencja:
    27th International Symposium on Temporal Representation and Reasoning, TIME (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 23-25 września 2020
    Status:
    Opublikowana
  13. Extending Two-Variable Logic on Trees
    Autorzy:
    Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieroński
    Konferencja:
    26th EACSL Annual Conference on Computer Science Logic (CSL 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 20-24 sierpnia 2017
    Status:
    Opublikowana
  14. One-Dimensional Guarded Fragments
    Autorzy:
    Emanuel Kieroński
    Konferencja:
    44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 26-30 sierpnia 2019
    Status:
    Opublikowana
  15. Finite Satisfiability of Unary Negation Fragment with Transitivity
    Autorzy:
    Daniel Danielski, Emanuel Kieroński
    Konferencja:
    44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 26-30 sierpnia 2019
    Status:
    Opublikowana
  16. Finite Model Theory of the Triguarded Fragment and Related Logics
    Autorzy:
    Emanuel Kieroński, Sebastian Rudolph
    Konferencja:
    336th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2021, ), Wydawca: IEEE
    Data:
    konferencja 29 czerwca - 2 lipca 2021
    Status:
    Opublikowana
  17. On One Variable Fragment of First Order Logic with Modulo Counting Quantifiers
    Autorzy:
    Bartosz Bednarczyk
    Konferencja:
    29th European Summer School in Logic, Language, and Information - Student Session (rok: 2017, ), Wydawca: ESSLLI
    Data:
    konferencja 17-28 lipca 2017
    Status:
    Opublikowana
  18. On the Complexity of Graded Modal Logics with Converse
    Autorzy:
    Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
    Konferencja:
    16th Edition of European Conference on Logics in Artificial Intelligence, JELIA 2019 (rok: 2019, ), Wydawca: Springer
    Data:
    konferencja 7-11 maja 2019
    Status:
    Opublikowana
  19. Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract)
    Autorzy:
    Daniel Danielski, Emanuel Kieroński
    Konferencja:
    32nd International Workshop on Description Logics (DL 2019) (rok: 2019, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 18-21 czerwca 2019
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy