Projects search

• Keywords: fragments of first-order logic ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. 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

2. 2. 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

3. 3. A quest for new computer logics

   Principal investigator: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 11, Panel: ST6