Zmiana języka

Projects search

A quest for new computer logics

2016/21/B/ST6/01444

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 Wrocławski, Wydział Matematyki i Informatyki

Voivodeship: dolnośląskie

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: 6

Call

OPUS 11 – announced on 2016-03-15

Amount awarded
699 375 PLN
Project start date
2017-01-12
Project end date
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. Cost: 12 000 PLN

Information in the final report

Publication in academic press/journals (3)

  1. One-dimensional fragment over words and trees

    Authors:
    Emanuel Kieroński, Antti Kuusisto
    Academic press:
    Journal of Logic and Computation (year: 2022, volume: online first, pages: online first), Publisher: Oxford Academic
    Status:
    Published
    DOI:
    10.1093/logcom/exac002 – 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 (year: 2021, volume: 21(4), pages: 493-520), Publisher: Cambridge University Pres
    Status:
    Published
    DOI:
    10.1017/S1471068421000065 – link to the publication

  3. Two-variable logics with counting and semantic constraints

    Authors:
    Emanuel Kieroński, Lidia Tendera, Ian Pratt-Hartmann
    Academic press:
    ACM SIGLOG News (year: 2018, volume: 5(3), pages: 22-43), Publisher: ACM
    Status:
    Published
    DOI:
    10.1145/3242953.3242958 – link to the publication

Articles in post-conference publications (16)

  1. 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) (year: 2019, pages: 17:1--17:15), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Date:
    conference 26-30 sierpnia 2019
    Status:
    Published

  2. 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 (year: 2017, pages: 46216), Publisher: ESSLLI
    Date:
    conference 17-28 lipca 2017
    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) (year: 2021, pages: 334--353), Publisher: IEEE
    Date:
    conference 29 czerwca - 2 lipca 2021
    Status:
    Published

  4. 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 (year: 2018, pages: 214-232), Publisher: EasyChair
    Date:
    conference 16-21 listopada 2018
    Status:
    Published

  5. 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) (year: 2017, pages: 11:1--11:20), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Date:
    conference 20-24 sierpnia 2017
    Status:
    Published

  6. A Note on C2 Interpreted over Finite Data-Words

    Authors:
    Bartosz Bednarczyk, Piotr Witkowski
    Conference:
    27th International Symposium on Temporal Representation and Reasoning, TIME (year: 2020, pages: 17:1--17:14), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Date:
    conference 23-25 września 2020
    Status:
    Published

  7. 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 (year: 2020, pages: 334--353), Publisher: EasyChair
    Date:
    conference 12-13 stycznia 2021
    Status:
    Published

  8. Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract)

    Authors:
    Emanuel Kieroński, Sebastian Rudolph
    Conference:
    Description Logics Workshop 2021 (year: 2021, pages: 3 strony), Publisher: Ceur-ws.org
    Date:
    conference 19-22 września 2021
    Status:
    Published

  9. 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) (year: 2019, pages: 4746--4752), Publisher: ijcai.org
    Date:
    conference 10-16 sierpnia 2019
    Status:
    Published

  10. 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 (year: 2019, pages: 642-658), Publisher: Springer
    Date:
    conference 7-11 maja 2019
    Status:
    Published

  11. One-Dimensional Logic over Trees

    Authors:
    Emanuel Kieroński, Antti Kuusisto
    Conference:
    42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (year: 2017, pages: 64:1--64:13), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Date:
    conference 21-25 sierpnia, 2017
    Status:
    Published

  12. 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) (year: 2019, pages: 43.1-43.3), Publisher: CEUR-WS.org
    Date:
    conference 18-21 czerwca 2019
    Status:
    Published

  13. One-Dimensional Guarded Fragments

    Authors:
    Emanuel Kieroński
    Conference:
    44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) (year: 2019, pages: 16:1--16:14), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Date:
    conference 26-30 sierpnia 2019
    Status:
    Published

  14. 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) (year: 2018, pages: 285--294), Publisher: ACM
    Date:
    conference 9-12 lipca 2018
    Status:
    Published

  15. 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 (year: 2018, pages: 46034), Publisher: CEUR-WS.org
    Date:
    conference 27-29 października 2018
    Status:
    Published

  16. 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) (year: 2017, pages: 12:1--12:16), Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Date:
    conference 11-15 grudnia, 2017
    Status:
    Published

« New search

Graphic design and implementation: Jakub Piotrowski