Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Logics for data analysis and verification

2014/15/D/ST6/00719

Keywords:

logic

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

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. dolnośląskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Jakub Michaliszyn 

Number of co-investigators in the project: 4

Call: SONATA 8 - announced on 2014-09-15

Amount awarded: 419 250 PLN

Project start date (Y-m-d): 2015-09-22

Project end date (Y-m-d): 2018-09-21

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

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (2)
  • Articles in post-conference publications (5)
  1. Satisfiability versus Finite Satisfiability in Elementary Modal Logics
    Authors:
    Jakub Michaliszyn, Jan Otop, Piotr Witkowski
    Academic press:
    Fundamenta Informaticae (rok: 2018, tom: 163, strony: 165–188), Wydawca: IOS Press
    Status:
    Published
    DOI:
    10.3233/FI-2018-1736 - link to the publication
  2. Modular Path Queries with Arithmetic
    Authors:
    Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    Academic press:
    Logical Methods in Computer Science (rok: 2020, tom: brak, strony: brak), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Submitted
    DOI:
    brak - link to the publication
  1. Containment of Shape Expression Schemas for RDF
    Authors:
    Sławek Staworko and Piotr Wieczorek
    Conference:
    PODS 2019: 38th Symposium on PRINCIPLES OF DATABASE SYSTEMS (rok: 2019, ), Wydawca: ACM
    Data:
    konferencja 30 czerwca-5 lipca 2019
    Status:
    Published
    DOI:
    link to the publication
  2. Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions
    Authors:
    Alessio Lomuscio, Jakub Michaliszyn,
    Conference:
    Knowledge representation and reasoning 2016 (rok: 2016, ), Wydawca: AAAI Press.
    Data:
    konferencja 25-29 kwietnia 2016
    Status:
    Published
    DOI:
    link to the publication
  3. Querying Data Graphs with Arithmetical Regular Expressions
    Authors:
    Maciej Graboń, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    Conference:
    Twenty-Fifth International Joint Conference on Artificial Intelligence (rok: 2016, ), Wydawca: AAAI Press
    Data:
    konferencja 9-15 lipca 2016
    Status:
    Published
    DOI:
    link to the publication
  4. Decidability of Model Checking Multi-Agent Systems with Regular against Epistemic HS Specifications
    Authors:
    Jakub Michaliszyn i Piotr Witkowski
    Conference:
    Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019 (rok: 2019, ), Wydawca: ijcai.org
    Data:
    konferencja 10-16 sierpnia 2019
    Status:
    Published
    DOI:
    link to the publication
  5. Querying Best Paths in Graph Databases
    Authors:
    Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
    Conference:
    37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (rok: 2017, ), Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
    Data:
    konferencja 11–15.12.2017
    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