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

2 182 (0,114s) •

Project

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

and arithmetical complexity; fuzzy logic in the semantic web (description logic) and severalMathematical fuzzy logic is a symbolic (mathematical) logic with a graded notion of truth, to be distinguished f...

IN - Informatika

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

Logical Aspects of Adaptable Ontological Schemas (7AMB12SK020)

of impacts of the transformation in terms of description logics. The result patterns in terms of preserving logical properties of the source ontology, and, 2 will be verified, andcontext logics operating over such...

IN - Informatika

  • 2012 - 2013
    • •
  • 90 tis. Kč
    • •
  • 90 tis. Kč
    • •
  • MŠMT
Project

Learning methods in fuzzy expert system for control and decision-making (GA201/96/0985)

Fuzzy logic is a theory, which aims at modeling of natural human reasoning oriented Fuzzy LOGIC Controller (LFLC). Its goal is : 1. Study of more complex systems of linguistic descriptions /knowledge basis. 2.Research of le...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 697 tis. Kč
    • •
  • 647 tis. Kč
    • •
  • GA ČR
Project

Fuzzy Partial Logic (GA16-19170S)

Formal fuzzy logic constitutes a theoretical foundation for reasoning logic. Known formal systems of fuzzy logic, however, do not admit combining degrees of fuzzy partial logic capable of handling both gradual trut...

IN - Informatika

  • 2016 - 2020
    • •
  • 5 076 tis. Kč
    • •
  • 3 435 tis. Kč
    • •
  • GA ČR
Project

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

(Czech) text by an automatic system and obtain a machine readable form of the logical representation of the original sentence. The acquired logical description will provide analyser of natural language sentences and a ...

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

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

A logico-philosophical analysis of the notion of identity (GJ17-18344Y)

Modern predicate logic teaches us that identity is a reflexive, symmetric, and transitive binary relation satisfying Leibniz' Law. This simple description gives and unproblematic''. That identity and its logic is much more ...

AA - Filosofie a náboženství

  • 2017 - 2021
    • •
  • 2 874 tis. Kč
    • •
  • 2 874 tis. Kč
    • •
  • GA ČR
Project

Unified Environmental information systen development (UEIS) (SM/10/131/05)

To create and certify a set of services provided by UEIS, use case description, architecture design, logical model design, concept of UEIS......

IN - Informatika

  • 2005 - 2007
    • •
  • 6 583 tis. Kč
    • •
  • 5 935 tis. Kč
    • •
  • MŽP
Project

Algebraic, many-valued and quantum structures for uncertainty modelling (GA15-15286S)

The project is focused on the research in pure mathematics (ordered structures, algebra, measure theory, model theory) with interface to quantum mechanics, logic logic, algebra, probability theory, Hilbert space operators, and funct...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 5 849 tis. Kč
    • •
  • 5 849 tis. Kč
    • •
  • GA ČR
Project

Algorithmic and structural problems of equational logic (GP201/08/P056)

. By structural properties we mean, e.g., a description of free algebras and of the lattice of subvarieties, a description of simple and subdirectly irreducible algebras and also algorithms for automated deduction in equational ...

BA - Obecná matematika

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

Semantisation of Pragmatics (GA401/07/0451)

develop a procedural theory of meaning based on the Transparent Intensional Logic, indefinite descriptions) which are currently supposed to be solvable only by involving pragmatics. Our aim is solving these problems by purely l...

AA - Filosofie a náboženství

  • 2007 - 2009
    • •
  • 666 tis. Kč
    • •
  • 666 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 2 182