Wyszukiwarka projektów

• Słowa kluczowe: query answering ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 5 projektów spełniających kryteria wyszukiwania:

1. 1. Regułowa metoda realizacji zapytań do relacyjnych baz danych z wykorzystaniem ontologicznej bazy wiedzy

   Kierownik: dr Jarosław Ksawery Bąk

   Politechnika Poznańska, Wydział Elektryczny

   Konkurs: PRELUDIUM 2, panel: ST6

2. 2. Nieskończoność we wnioskowaniu o danych i wiedzy

   Kierownik: dr hab. Filip Marek Murlak

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: SONATA BIS 8, panel: ST6

3. 3. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

   Kierownik: prof. Jerzy Marcinkowski

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 23, panel: ST6

4. 4. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk…

   Kierownik: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 21, panel: ST6

5. 5. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

   Kierownik: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

   Konkurs: OPUS 16, panel: ST6