Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

A quest for new computer logics

2016/21/B/ST6/01444

Keywords:

computational logic computational complexity decidability satisfiability fragments of first-order logic

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST6_10: Web and information systems, database systems, internet technologies, including information retrieval and digital libraries

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Emanuel Kieroński 

Number of co-investigators in the project: 6

Call: OPUS 11 - announced on 2016-03-15

Amount awarded: 699 375 PLN

Project start date (Y-m-d): 2017-01-12

Project end date (Y-m-d): 2021-10-11

Project duration:: 57 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Equipment purchased [PL]

  1. Notebook lub laptop (12 000 PLN)

Information in the final report

  • Publication in academic press/journals (3)
  • Articles in post-conference publications (16)
  1. Two-variable logics with counting and semantic constraints
    Authors:
    Emanuel Kieroński, Lidia Tendera, Ian Pratt-Hartmann
    Academic press:
    ACM SIGLOG News (rok: 2018, tom: 5(3), strony: 22-43), Wydawca: ACM
    Status:
    Published
    DOI:
    10.1145/3242953.3242958 - link to the publication
  2. Completing the Picture: Complexity of graded modal logics with converse
    Authors:
    Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
    Academic press:
    Theory and Practice of Logic Programming (rok: 2021, tom: 21(4), strony: 493-520), Wydawca: Cambridge University Pres
    Status:
    Published
    DOI:
    10.1017/S1471068421000065 - link to the publication
  3. One-dimensional fragment over words and trees
    Authors:
    Emanuel Kieroński, Antti Kuusisto
    Academic press:
    Journal of Logic and Computation (rok: 2022, tom: online first, strony: online first), Wydawca: Oxford Academic
    Status:
    Published
    DOI:
    10.1093/logcom/exac002 - link to the publication
  1. A Note on C2 Interpreted over Finite Data-Words
    Authors:
    Bartosz Bednarczyk, Piotr Witkowski
    Conference:
    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:
    Published
  2. Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications
    Authors:
    Jakub Michaliszyn, Piotr Witkowski
    Conference:
    Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019) (rok: 2019, ), Wydawca: ijcai.org
    Data:
    konferencja 10-16 sierpnia 2019
    Status:
    Published
  3. Finite Model Theory of the Triguarded Fragment and Related Logics
    Authors:
    Emanuel Kieroński, Sebastian Rudolph
    Conference:
    336th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2021, ), Wydawca: IEEE
    Data:
    konferencja 29 czerwca - 2 lipca 2021
    Status:
    Published
  4. Modulo Counting on Words and Trees
    Authors:
    Bartosz Bednarczyk, Witold Charatonik
    Conference:
    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:
    Published
  5. On One Variable Fragment of First Order Logic with Modulo Counting Quantifiers
    Authors:
    Bartosz Bednarczyk
    Conference:
    29th European Summer School in Logic, Language, and Information - Student Session (rok: 2017, ), Wydawca: ESSLLI
    Data:
    konferencja 17-28 lipca 2017
    Status:
    Published
  6. On the Complexity of Graded Modal Logics with Converse
    Authors:
    Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
    Conference:
    16th Edition of European Conference on Logics in Artificial Intelligence, JELIA 2019 (rok: 2019, ), Wydawca: Springer
    Data:
    konferencja 7-11 maja 2019
    Status:
    Published
  7. One-Dimensional Logic over Trees
    Authors:
    Emanuel Kieroński, Antti Kuusisto
    Conference:
    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:
    Published
  8. Decidability Frontier for Fragments of First-Order Logic with Transitivity
    Authors:
    Lidia Tendera
    Conference:
    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:
    Published
  9. Extending Two-Variable Logic on Trees
    Authors:
    Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieroński
    Conference:
    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:
    Published
  10. Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract)
    Authors:
    Emanuel Kieroński, Sebastian Rudolph
    Conference:
    Description Logics Workshop 2021 (rok: 2021, ), Wydawca: Ceur-ws.org
    Data:
    konferencja 19-22 września 2021
    Status:
    Published
  11. Finite Satisfiability of Unary Negation Fragment with Transitivity
    Authors:
    Daniel Danielski, Emanuel Kieroński
    Conference:
    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:
    Published
  12. Two-variable First-Order Logic with Counting in Forests
    Authors:
    Witold Charatonik and Yegor Guskov and Ian Pratt-Hartmann and Piotr Witkowski
    Conference:
    LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (rok: 2018, ), Wydawca: EasyChair
    Data:
    konferencja 16-21 listopada 2018
    Status:
    Published
  13. Unary negation fragment with equivalence relations has the finite model property
    Authors:
    Daniel Danielski, Emanuel Kieroński
    Conference:
    33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 9-12 lipca 2018
    Status:
    Published
  14. The Triguarded Fragment with Transitivity
    Authors:
    Emanuel Kieroński, Adam Malinowski
    Conference:
    LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (rok: 2020, ), Wydawca: EasyChair
    Data:
    konferencja 12-13 stycznia 2021
    Status:
    Published
  15. Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract)
    Authors:
    Daniel Danielski, Emanuel Kieroński
    Conference:
    32nd International Workshop on Description Logics (DL 2019) (rok: 2019, ), Wydawca: CEUR-WS.org
    Data:
    konferencja 18-21 czerwca 2019
    Status:
    Published
  16. One-Dimensional Guarded Fragments
    Authors:
    Emanuel Kieroński
    Conference:
    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:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy