Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

2021/41/B/ST6/00996

Keywords:

satisfiability finite satisfiability conjunctive query answering description logics guarded logics triguarded logic Maslov's class K

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.

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Emanuel Grzegorz Kieroński 

Number of co-investigators in the project: 5

Call: OPUS 21 - announced on 2021-03-15

Amount awarded: 494 832 PLN

Project start date (Y-m-d): 2022-02-03

Project end date (Y-m-d): 2026-02-02

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

Project status: Pending project

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.

Information in the final report

  • Articles in post-conference publications (4)
  1. A Uniform One-Dimensional Fragment with Alternation of Quantifiers
    Authors:
    Emanuel Kieroński
    Conference:
    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:
    Published
    DOI:
    10.4204/EPTCS.390.1 - link to the publication
  2. An excursion to the border of decidability: between two- and three-variable logic
    Authors:
    Oskar Fiuk, Emanuel Kieroński
    Conference:
    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:
    Published
    DOI:
    10.29007/1xns - link to the publication
  3. Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
    Authors:
    Bartosz Bednarczyk, Oskar Fiuk
    Conference:
    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:
    Published
    DOI:
    10.1007/978-3-031-15298-6_19 - link to the publication
  4. Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
    Authors:
    Bartosz Bednarczyk, Oskar Fiuk
    Conference:
    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:
    Published
    DOI:
    10.1007/978-3-031-15298-6_19 - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy