Wyszukiwarka projektów

• Słowa kluczowe: logical ontology ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

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

1. 1. Ontologia ekstensjonalna i logika filozoficzna

   Kierownik: dr hab. Andrzej Paweł Biłat

   Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

   Konkurs: OPUS 2, panel: HS1

2. 2. Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

   Kierownik: prof. Tomasz Franciszek Bigaj

   Uniwersytet Warszawski, Wydział Filozofii

   Konkurs: OPUS 22, panel: HS1

3. 3. Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności …

   Kierownik: dr hab. Anh Linh Nguyen

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 1, panel: ST6

4. 4. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

   Kierownik: Bartosz Jan Bednarczyk

   Uniwersytet Wrocławski

   Konkurs: PRELUDIUM 23, panel: ST6

5. 5. Metody parafrazy w sporach ontologicznych. Analiza poglądów R. Carnapa, K. Ajdukiewicza i W. V Quine'a

   Kierownik: Artur Gerard Kosecki

   Uniwersytet Szczeciński, Wydział Humanistyczny

   Konkurs: PRELUDIUM 11, panel: HS1

6. 6. Ontologiczny argument Goedla: historia, modyfikacje, rozszerzenia i kontrowersje

   Kierownik: dr hab. Kordula Świętorzecka

   Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej

   Konkurs: HARMONIA 4, panel: HS1

7. 7. Automation of the Problem of Unification in Description Logics

   Kierownik: dr hab. Barbara Joanna Morawska

   Uniwersytet Opolski, Instytut Informatyki

   Konkurs: POLONEZ BIS 3, panel: ST6

8. 8. Istnienie Boga. Badania dotyczące ontologicznych dowodów.

   Kierownik: dr hab. Mirosław Szatkowski

   Instytut Filozofii i Socjologii Polskiej Akademii Nauk

   Konkurs: OPUS 4, panel: HS1

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

10. 10. Ontologia metafizyki

    Kierownik: dr hab. Paweł Rafał Garbacz

    TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

    Konkurs: OPUS 4, panel: HS1

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