Logics for data analysis and verification
2014/15/D/ST6/00719
Keywords
Descriptors
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
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
Principal investigator (from the host institution)
Number of co-investigators in the project: 4
Call
SONATA 8 – announced on 2014-09-15
- Amount awarded
- 419 250 PLN
- Project start date
- 2015-09-22
- Project end date
- 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 (1)
-
Satisfiability versus Finite Satisfiability in Elementary Modal Logics
- Authors:
- Jakub Michaliszyn, Jan Otop, Piotr Witkowski
- Academic press:
- Fundamenta Informaticae (year: 2018, volume: 163, pages: 165–188), Publisher: IOS Press
- Status:
- Published
- DOI:
- 10.3233/FI-2018-1736 – link to the publication
Articles in post-conference publications (5)
-
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 (year: 2016, pages: 1088-1094), Publisher: AAAI Press
- Date:
- conference 9-15 lipca 2016
- Status:
- Published
- DOI:
- link to the publication
-
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 (year: 2017, pages: 43:1-43:15), Publisher: LIPIcs–Leibniz International Proceedings in Informatics
- Date:
- conference 11–15.12.2017
- Status:
- Published
- DOI:
- link to the publication
-
Containment of Shape Expression Schemas for RDF
- Authors:
- Sławek Staworko and Piotr Wieczorek
- Conference:
- PODS 2019: 38th Symposium on PRINCIPLES OF DATABASE SYSTEMS (year: 2019, pages: 303-319), Publisher: ACM
- Date:
- conference 30 czerwca-5 lipca 2019
- Status:
- Published
- DOI:
- link to the publication
-
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 (year: 2019, pages: 4746-4752), Publisher: ijcai.org
- Date:
- conference 10-16 sierpnia 2019
- Status:
- Published
- DOI:
- link to the publication
-
Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions
- Authors:
- Alessio Lomuscio, Jakub Michaliszyn,
- Conference:
- Knowledge representation and reasoning 2016 (year: 2016, pages: 298-308), Publisher: AAAI Press.
- Date:
- conference 25-29 kwietnia 2016
- Status:
- Published
- DOI:
- link to the publication