All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

981 (0,142s) •

Project

Heidegger's concept of logic and its temporal foundation (GP401/08/P077)

Principle of suggested project is primary research of Heidegger's concept of logic, and its temporal foundations. The project is focused on his philosophical development since 1925 to 1928 with relationship to his previous works - o...

AA - Filosofie a náboženství

  • 2008 - 2010
    • •
  • 524 tis. Kč
    • •
  • 524 tis. Kč
    • •
  • GA ČR
Project

Formal verification algorithms, properties of modelling formalisms and temporal logics (GP201/08/P375)

to focus on the following three areas. Properties of temporal logics and aplication...

IN - Informatika

  • 2008 - 2010
    • •
  • 435 tis. Kč
    • •
  • 435 tis. Kč
    • •
  • GA ČR
Project

Temporal aspects of knowledge and information (GAP401/10/0792)

for hyperintensional, partial typed lambda calculus; analysis of tenses and temporal logic Logic (TIL). Primarily, our research is classified in the area of philosophical logic. Subsidiary works then fall under th...

AA - Filosofie a náboženství

  • 2010 - 2012
    • •
  • 4 889 tis. Kč
    • •
  • 4 889 tis. Kč
    • •
  • GA ČR
Project

Mathematical Fuzzy Logic in Computer Science (GAP202/10/1826)

Mathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished from fuzzy logic in broad sense which and predicate logics have exact notions of formulas, axioms, proo...

IN - Informatika

  • 2010 - 2016
    • •
  • 9 136 tis. Kč
    • •
  • 9 136 tis. Kč
    • •
  • GA ČR
Project

Logic and Artificial Intelligence in the area of Multiagent Systems (1ET101940420)

of AI methods based on a highly expressive logical system, namely transparent intensional logic (TIL). Formal language has to be precisely defined not only from management will handle heterogenous data incl. space and temporal<...

IN - Informatika

  • 2004 - 2008
    • •
  • 13 079 tis. Kč
    • •
  • 13 079 tis. Kč
    • •
  • AV ČR
Project

Metaphysics as the science of the modalities of being (IAA900090602)

of themodalities could be expressed precisely using concepts of mathematical (symbolic) logic and logical semantics. The goal of the research is to study various applications of modalities: logical, ontological, causal,

AA - Filosofie a náboženství

  • 2006 - 2008
    • •
  • 563 tis. Kč
    • •
  • 563 tis. Kč
    • •
  • AV ČR
Project

Translation of Czech sentences to transparent intensional logic constructions (GA201/05/2781)

analyser of natural language sentences and a logical analysis of the sentence by means of transparent intensional logic (TIL) as a system of higher order temporal logic (Czech) text by an automatic system and obta...

JD - Využití počítačů, robotika a její aplikace

  • 2005 - 2007
    • •
  • 1 886 tis. Kč
    • •
  • 1 886 tis. Kč
    • •
  • GA ČR
Project

Ordered structures for non-classical logics (7AMB17AT054)

investigations connected with so-called non-classical logics, in particular in many-valued logics, logics of quantum mechanics and certain logics used in artificial intelligence (temporal logic, ...

BA - Obecná matematika

  • 2017 - 2018
    • •
  • 153 tis. Kč
    • •
  • 153 tis. Kč
    • •
  • MŠMT
Project

Algorithmic verification boundaries for infinite-state systems (GA201/97/0456)

, their temporal logic properties etc. Recently, several interesting results have been obtained and temporal logics, or reasonable fragments. It is also planned to study complexity......

JC - Počítačový hardware a software

  • 1997 - 1999
    • •
  • 1 053 tis. Kč
    • •
  • 833 tis. Kč
    • •
  • GA ČR
Project

Function algebras and ordered structures related to logic and data fusion (8J19AT023)

logics, in particular in many-valued logics, logics of quantum mechanics and certain logics used in artificial intelligence (temporal logic, logic of dynamical processes substructural <...

Pure mathematics

  • 2019 - 2021
    • •
  • 146 tis. Kč
    • •
  • 146 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 981