Projects funded by the NCN
Decision Problems for Logics with Weak Forms of Recursion
2024/53/N/ST6/01390
Keywords:
logic satisfiability decidability knowledge representation formal verification propositional dynamic logic description logics query entailment (modulo ontology) data complexity,
Descriptors:
- ST6_04:
Panel:
ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution :
Uniwersytet Wrocławski
woj. dolnośląskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 2
Call: PRELUDIUM 23 - announced on 2024-03-21
Amount awarded: 63 600 PLN
Project start date (Y-m-d): 2025-01-02
Project end date (Y-m-d): 2026-01-01
Project duration:: 12 months (the same as in the proposal)
Project status: Project completed
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
Publications will be made available after the final report has been accepted.