Projects funded by the NCN
Infinity in reasoning about data and knowledge
2018/30/E/ST6/00042
Keywords:
database theory knowledge representation logic FPGA circuit complexity static analysis query containment ontology-mediated query answering
Descriptors:
- ST6_4:
- ST6_7:
- ST6_10:
Panel:
ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution :
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Principal investigator (from the host institution):
Number of co-investigators in the project: 5
Call: SONATA BIS 8 - announced on 2018-06-15
Amount awarded: 1 967 100 PLN
Project start date (Y-m-d): 2019-04-12
Project end date (Y-m-d): 2026-04-11
Project duration:: 60 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.