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:
  • ST6_10:

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 Zofia 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:: 60 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.

Information in the final report

  • Publication in academic press/journals (1)
  • Articles in post-conference publications (11)
  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. 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
  2. On the Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract)
    Authors:
    Bartosz Bednarczyk, Daumantas Kojelis and Ian Pratt-Hartmann
    Conference:
    Description Logic (rok: 2024, ), Wydawca: CEUR-WS.org
    Data:
    konferencja June 18-21, 2024
    Status:
    Published
    DOI:
    link to the publication
  3. On Homogenous Models of Fluted Languages
    Authors:
    Daumantas Kojelis
    Conference:
    Computer Science Logic (CSL) (rok: 2025, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja February 10-14, 2025
    Status:
    Published
    DOI:
    link to the publication
  4. Walking on Words
    Authors:
    Ian Pratt-Hartmann
    Conference:
    35th Annual Symposium on Combinatorial Pattern Matching (CPM) (rok: 2024, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja June 25-27, 2024
    Status:
    Published
    DOI:
    link to the publication
  5. 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
  6. 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
  7. Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)
    Authors:
    Bartosz Bednarczyk and Emanuel Kieroński
    Conference:
    Description Logic (rok: 2021, ), Wydawca: CEUR-WS.org
    Data:
    konferencja September 19-22, 2021
    Status:
    Published
    DOI:
    link to the publication
  8. On Two-variable First-order Logic with a Partial Order
    Authors:
    Dariusz Marzec and Lidia Tendera
    Conference:
    39th Italian Conference on Computational Logic (CILC) (rok: 2024, ), Wydawca: CEUR-WS.org
    Data:
    konferencja June 26-28, 2024
    Status:
    Published
    DOI:
    link to the publication
  9. 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
  10. Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
    Authors:
    Tharindu Madusanka and Ian Pratt-Hartmann and Riza Batista-Navarro
    Conference:
    Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) (rok: 2024, ), Wydawca: Association for Computational Linguistics
    Data:
    konferencja 11-16 August 2024
    Status:
    Published
    DOI:
    link to the publication
  11. 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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy