Projects search

• Keywords: query answering ×

Change search criteria ↓

Search results

5 projects found matching your search criteria:

1. 1. Rule-based query answering method for a relational database with the use of an ontology-based knowledge

   Principal investigator: dr Jarosław Ksawery Bąk

   Politechnika Poznańska, Wydział Elektryczny

   Call: PRELUDIUM 2, Panel: ST6

2. 2. Infinity in reasoning about data and knowledge

   Principal investigator: dr hab. Filip Marek Murlak

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: SONATA BIS 8, Panel: ST6

3. 3. First Order Logic and Beyond. Some Puzzles in Database Theory.

   Principal investigator: prof. Jerzy Marcinkowski

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 23, Panel: ST6

4. 4. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

   Principal investigator: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 21, Panel: ST6

5. 5. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

   Principal investigator: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

   Call: OPUS 16, Panel: ST6