Projects search

• Keywords: logical ontology ×

Change search criteria ↓

Search results

11 projects found matching your search criteria:

1. 1. Extensional Ontology and Philosophical Logic

   Principal investigator: dr hab. Andrzej Paweł Biłat

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

   Call: OPUS 2, Panel: HS1

2. 2. The categories of qualitativeness and individuality in logic, ontology and physics

   Principal investigator: prof. Tomasz Franciszek Bigaj

   Uniwersytet Warszawski, Wydział Filozofii

   Call: OPUS 22, Panel: HS1

3. 3. Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Check…

   Principal investigator: dr hab. Anh Linh Nguyen

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: OPUS 1, Panel: ST6

4. 4. Decision Problems for Logics with Weak Forms of Recursion

   Principal investigator: Bartosz Jan Bednarczyk

   Uniwersytet Wrocławski

   Call: PRELUDIUM 23, Panel: ST6

5. 5. The Paraphrase Method and Ontological Disputes. The Analysis of Carnap's, Ajdukiewicz's and Quine's Views

   Principal investigator: Artur Gerard Kosecki

   Uniwersytet Szczeciński, Wydział Humanistyczny

   Call: PRELUDIUM 11, Panel: HS1

6. 6. Goedel's ontological argument: history, modifications. extensions, and controversies

   Principal investigator: dr hab. Kordula Świętorzecka

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

   Call: HARMONIA 4, Panel: HS1

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

   Principal investigator: dr hab. Barbara Joanna Morawska

   Uniwersytet Opolski, Instytut Informatyki

   Call: POLONEZ BIS 3, Panel: ST6

8. 8. Existence of God. Research concerning ontological proofs.

   Principal investigator: dr hab. Mirosław Szatkowski

   Instytut Filozofii i Socjologii Polskiej Akademii Nauk

   Call: OPUS 4, Panel: HS1

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

10. 10. Ontology of metaphysics

    Principal investigator: dr hab. Paweł Rafał Garbacz

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

    Call: OPUS 4, Panel: HS1

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