Zmiana języka

Projects search

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

2018/31/B/ST6/03662

Keywords

Descriptors

  • 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 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Voivodeship: 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
2019-07-17
Project end date
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)

  1. The Fluted Fragment with Transitive Relations

    Authors:
    Ian Pratt-Hartmann, Lidia Tendera
    Academic press:
    Annals of Pure and Applied Logic (year: 2022, volume: 173, pages: 103042), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.apal.2021.103042 – link to the publication

Articles in post-conference publications (11)

  1. On the Limits of Decision: the Adjacent Fragment of First-Order Logic

    Authors:
    Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
    Conference:
    ICALP (year: 2023, pages: 111:1--111:21), Publisher: LIPIcs
    Date:
    conference July 10-14, 2023
    Status:
    Published

  2. Fluted Logic with Counting

    Authors:
    Ian Pratt-Hartmann
    Conference:
    48th International Colloquium on Automata, Languages, and Programming (year: 2021, pages: 141:1--141:17), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Date:
    conference July 12-16
    Status:
    Published
    DOI:
    link to the publication

  3. On Two-variable First-order Logic with a Partial Order

    Authors:
    Dariusz Marzec and Lidia Tendera
    Conference:
    39th Italian Conference on Computational Logic (CILC) (year: 2024, pages: 0,0520833333333333), Publisher: CEUR-WS.org
    Date:
    conference June 26-28, 2024
    Status:
    Published
    DOI:
    link to the publication

  4. Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)

    Authors:
    Bartosz Bednarczyk and Emanuel Kieroński
    Conference:
    Description Logic (year: 2021, pages: 0,0444444444444444), Publisher: CEUR-WS.org
    Date:
    conference September 19-22, 2021
    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 (year: 2022, pages: 5487--5494), Publisher: AAAI Press
    Date:
    conference February 22 - March 1, 2022
    Status:
    Published

  6. Adding Transitivity and Counting to the Fluted Fragment

    Authors:
    Ian Pratt-Hartmann, Lidia Tendera
    Conference:
    Computer Science Logic (year: 2023, pages: 32:1--32:22), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Date:
    conference 13-16 February
    Status:
    Published

  7. On Homogenous Models of Fluted Languages

    Authors:
    Daumantas Kojelis
    Conference:
    Computer Science Logic (CSL) (year: 2025, pages: 46042), Publisher: Leibniz International Proceedings in Informatics (LIPIcs)
    Date:
    conference February 10-14, 2025
    Status:
    Published
    DOI:
    link to the publication

  8. Walking on Words

    Authors:
    Ian Pratt-Hartmann
    Conference:
    35th Annual Symposium on Combinatorial Pattern Matching (CPM) (year: 2024, pages: 25:1-25:17), Publisher: Leibniz International Proceedings in Informatics (LIPIcs)
    Date:
    conference June 25-27, 2024
    Status:
    Published
    DOI:
    link to the publication

  9. 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) (year: 2024, pages: 15278–15294), Publisher: Association for Computational Linguistics
    Date:
    conference 11-16 August 2024
    Status:
    Published
    DOI:
    link to the publication

  10. 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 (year: 2024, pages: 0,0451388888888889), Publisher: CEUR-WS.org
    Date:
    conference June 18-21, 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 (year: 2019, pages: 18:1--18:15), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Date:
    conference August 26-30, 2019
    Status:
    Published
    DOI:
    link to the publication

« New search

Graphic design and implementation: Jakub Piotrowski