Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Automation of the Problem of Unification in Description Logics

2022/47/P/ST6/03196

Keywords:

unification algorithms description logics decidability complexity implementation of algorithms medical ontologies

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 Opolski, Wydział Matematyki, Fizyki i Informatyki

woj. opolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Barbara Morawska 

Number of co-investigators in the project: 4

Call: POLONEZ BIS 3 - announced on 2022-07-15

Amount awarded: 1 065 587 PLN

Project start date (Y-m-d): 2023-10-16

Project end date (Y-m-d): 2025-09-30

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

Project status: Pending project

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.