Infinity in reasoning about data and knowledge
2018/30/E/ST6/00042
Keywords
Descriptors
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
- 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 Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Voivodeship: 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
- 2019-04-12
- Project end date
- 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.