Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

2018/31/B/ST6/03662

Keywords:

query answering satisfiability decidability complexity trees transitivity counting

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 Opolski, Wydział Matematyki, Fizyki i Informatyki

woj. opolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Lidia Tendera 

Number of co-investigators in the project: 3

Call: OPUS 16 - announced on 2018-09-14

Amount awarded: 548 900 PLN

Project start date (Y-m-d): 2019-07-17

Project end date (Y-m-d): 2024-07-16

Project duration:: 36 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

  • Publication in academic press/journals (1)
  • Articles in post-conference publications (5)
  1. The Fluted Fragment with Transitive Relations
    Authors:
    Ian Pratt-Hartmann, Lidia Tendera
    Academic press:
    Annals of Pure and Applied Logic (rok: 2022, tom: 173, strony: 103042), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2021.103042 - link to the publication
  1. Fluted Logic with Counting
    Authors:
    Ian Pratt-Hartmann
    Conference:
    48th International Colloquium on Automata, Languages, and Programming (rok: 2021, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja July 12-16
    Status:
    Published
    DOI:
    link to the publication
  2. Adding Transitivity and Counting to the Fluted Fragment
    Authors:
    Ian Pratt-Hartmann, Lidia Tendera
    Conference:
    Computer Science Logic (rok: 2023, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 13-16 February
    Status:
    Published
  3. The Fluted Fragment with Transitivity
    Authors:
    Ian Pratt-Hartmann, Lidia Tendera
    Conference:
    44th International Symposium on Mathematical Foundations of Computer Science, MFCS (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja August 26-30, 2019
    Status:
    Published
    DOI:
    link to the publication
  4. Finite Entailment of Local Queries in the Z family of Description Logics
    Authors:
    Bartosz Bednarczyk, Emanuel Kieroński
    Conference:
    36th AAAI Conference on Artificial Intelligence (rok: 2022, ), Wydawca: AAAI Press
    Data:
    konferencja February 22 - March 1, 2022
    Status:
    Published
  5. On the Limits of Decision: the Adjacent Fragment of First-Order Logic
    Authors:
    Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
    Conference:
    ICALP (rok: 2023, ), Wydawca: LIPIcs
    Data:
    konferencja July 10-14, 2023
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy