Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

2013/09/B/ST6/01535

Słowa kluczowe:

logika w informatyce złożoność obliczeniowa rozstrzygalność spełnialność logika deskrypcyjna logika z dwiema zmiennymi

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 Opolski

woj. opolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Lidia Zofia Tendera 

Liczba wykonawców projektu: 4

Konkurs: OPUS 5 - ogłoszony 2013-03-15

Przyznana kwota: 672 512 PLN

Rozpoczęcie projektu: 2014-03-01

Zakończenie projektu: 2018-03-10

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

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Notebook lub laptop (4 szt.). Za kwotę 30 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (11)
  • Teksty w publikacjach pokonferencyjnych (13)
  1. Complexity of Two-Variable Logic on Finite Trees
    Autorzy:
    Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieroński, Rastislav Lenhardt, Filip Mazowiecki, and James Worrell.
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2016, tom: 17, strony: 32:1--32:38), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/2996796 - link do publikacji
  2. Complexity of Two-Variable Logic on Finite Trees
    Autorzy:
    Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieroński, Rastislav Lenhardt, Filip Mazowiecki, and James Worrell.
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2016, tom: 17, strony: 32:1--32:38), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/2996796 - link do publikacji
  3. Converging to the chase– A tool for finite controllability
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski
    Czasopismo:
    Journal of Computer and System Sciences (rok: 2017, tom: 83, strony: 180-206), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.jcss.2016.08.001 - link do publikacji
  4. Equivalence closure in the two-variable guarded fragment
    Autorzy:
    Emanuel Kieroński, Ian Pratt-Hartmann, Lidia Tendera
    Czasopismo:
    Journal of Logic and Computation (rok: 2017, tom: nie dotyczy, strony: 999-1021), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exv075 - link do publikacji
  5. Equivalence closure in the two-variable guarded fragment
    Autorzy:
    Emanuel Kieroński, Ian Pratt-Hartmann, Lidia Tendera
    Czasopismo:
    Journal of Logic and Computation (rok: 2017, tom: nie dotyczy, strony: 999-1021), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exv075 - link do publikacji
  6. Two-variable first-order logic with equivalence closure
    Autorzy:
    Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera
    Czasopismo:
    SIAM Journal on Computing (rok: 2014, tom: 43, strony: 1012-1063), Wydawca: SIAM
    Status:
    Opublikowana
    Doi:
    10.1137/120900095 - link do publikacji
  7. On the satisfiability problem for fragments of the two-variable logic with one transitive relation
    Autorzy:
    Wiesław Szwast, Lidia Tendera
    Czasopismo:
    Journal of Logic and Computation (rok: 2019, tom: online, strony: brak), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exz012 - link do publikacji
  8. On the Decidability of Elementary Modal Logics
    Autorzy:
    Jakub Michaliszyn, Jan Otop, Emanuel Kieroński
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2015, tom: 17, Issue 1, strony: 2:1--2:47), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/2817825 - link do publikacji
  9. Quine's Fluted Fragment Revisited
    Autorzy:
    Ian Pratt-Hartmann, Wiesław Szwast, Lidia Tendera
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2019, tom: 84 (3), strony: 1020-1048), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2019.33 - link do publikacji
  10. Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
    Autorzy:
    Emanuel Kieroński, Lidia Tendera
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2018, tom: 19 (2), strony: No. 8), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3174805 - link do publikacji
  11. Quine's Fluted Fragment Revisited
    Autorzy:
    Ian Pratt-Hartmann, Wiesław Szwast, Lidia Tendera
    Czasopismo:
    The Journal of Symbolic Logic (rok: 2019, tom: 84 (3), strony: 1020-1048), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/jsl.2019.33 - link do publikacji
  1. Quine's Fluted Fragment is Non-Elementary
    Autorzy:
    Ian Pratt-Hartmann, Wiesław Szwast, Lidia Tendera
    Konferencja:
    Computer Science Logic (rok: 2016, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja August 29 - September 1
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Finite Model Reasoning in Expressive Fragments of First-Order Logic
    Autorzy:
    Lidia Tendera
    Konferencja:
    the Ninth Workshop on Methods for Modalities (M4M9 2017) (rok: 2017, ), Wydawca: Open Publishing Association, EPTCS
    Data:
    konferencja 8-10 Jan 2017
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Decidability of weak logics with deterministic transitive closure
    Autorzy:
    Witold Charatonik, Emanuel Kieroński, Filip Mazowiecki
    Konferencja:
    CSL-LICS '14: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2014, ), Wydawca: ACM
    Data:
    konferencja July 14 - 18, 2014
    Status:
    Opublikowana
  4. One-Dimensional Logic over Words
    Autorzy:
    Emanuel Kieroński
    Konferencja:
    Computer Science Logic (rok: 2016, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja August 29 - September 1
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. All-instances termination of chase is undecidable
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski
    Konferencja:
    Automata, Languages, and Programming: 41st International Colloquium, ICALP (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja July 8-11, 2014
    Status:
    Opublikowana
  6. Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy is Undecidable
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski
    Konferencja:
    35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja June 26 - July 01
    Status:
    Opublikowana
    Doi:
    link do publikacji
  7. Complexity and expressivity of uniform one-dimensional fragment with equality
    Autorzy:
    Emanuel Kieroński, Antti Kuusisto
    Konferencja:
    Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja August 26-29, 2014
    Status:
    Opublikowana
  8. Uniform One-Dimensional Fragments with one Equivalence Relation
    Autorzy:
    Emanuel Kieroński, Antti Kuusisto
    Konferencja:
    Computer Science Logic (rok: 2015, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja 7-10 September
    Status:
    Opublikowana
    Doi:
    link do publikacji
  9. Quine's Fluted Fragment is Non-Elementary
    Autorzy:
    Ian Pratt-Hartmann, Wiesław Szwast, Lidia Tendera
    Konferencja:
    Computer Science Logic (rok: 2016, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja August 29 - September 1
    Status:
    Opublikowana
    Doi:
    link do publikacji
  10. Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy is Undecidable
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski
    Konferencja:
    35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja June 26 - July 01
    Status:
    Opublikowana
    Doi:
    link do publikacji
  11. The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
    Autorzy:
    Tomasz Gogacz, Jerzy Marcinkowski
    Konferencja:
    30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2015, ), Wydawca: IEEE Computer Society Press
    Data:
    konferencja July 6-10 2015
    Status:
    Opublikowana
  12. Characterizing XML Twig Queries with Examples
    Autorzy:
    Sławomir Staworko, Piotr Wieczorek
    Konferencja:
    18th International Conference on Database Theory (ICDT) (rok: 2015, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja March 23-27, 2015
    Status:
    Opublikowana
    Doi:
    link do publikacji
  13. Decidability of weak logics with deterministic transitive closure
    Autorzy:
    Witold Charatonik, Emanuel Kieroński, Filip Mazowiecki
    Konferencja:
    CSL-LICS '14: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2014, ), Wydawca: ACM
    Data:
    konferencja July 14 - 18, 2014
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy