Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

313 (0,136s) •

Projekt

Matematická fuzzy logika v informatice (GAP202/10/1826)

Matematická fuzzy logika je symbolická (matematická) logika se stupňovitým pojmem pravdy, kterou je třeba rozlišovat od fuzzy logiky v širokém smyslu a predikátová logika má přesné pojmy formulí, axiomů a důkazů, s...

IN - Informatika

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

Logické aspekty adaptabilních ontologických schémat (7AMB12SK020)

deskripční logiky. Výsledky projektu bude 1) formální rámec umožňující charakterizovat jako kontextové parametry, a prozkoumána kontextová logika pracující s takovými parametry......

IN - Informatika

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

Fokusovaná kategorizační síla webových ontologií (GA18-23964S)

, rozlišující různé typy konceptových výrazů deskripční logiky a vzory v ontologii...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018 - 2023
    • •
  • 2 615 tis. Kč
    • •
  • 2 615 tis. Kč
    • •
  • GA ČR
Projekt

Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu (1ET100300419)

Předkládaný projekt je projektem integrujícím progresivní teoretické informatické disciplíny s jejich praktickými aplikacemi. Jeho cílem je zkoumat a rozvíjet teoretické základy sémantického webu zejména z pohledu moderních metod umělé inteligence a ...

IN - Informatika

  • 2004 - 2008
    • •
  • 35 191 tis. Kč
    • •
  • 35 140 tis. Kč
    • •
  • AV ČR
Projekt

LOGICA série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009001)

Projekt LOGICA tvoří komplex badatelských, konferenčních a publikačních aktivit v oblasti filosofické logiky a příbuzných hraničních oborů. Cíle: a) zabezpečení 14.-16. ročníku unikátní mezinárodní konference LOGICA (pořáda...

AA - Filosofie a náboženství

  • 2000 - 2002
    • •
  • 1 743 tis. Kč
    • •
  • 1 203 tis. Kč
    • •
  • AV ČR
Projekt

Neklasická interpretace aristotelské logiky a teorie predikace (GA19-06839S)

Obecně se předpokládá, že Aristotelés je zakladatelem logiky jako samostatné logiky. Aristotelská logika tak často chápána jako klasická a jako pouhý fragment kanonické moderní extenzionální logiky, jmenovitě predi...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2022
    • •
  • 2 017 tis. Kč
    • •
  • 2 017 tis. Kč
    • •
  • GA ČR
Projekt

Reprezentace algebraických sémantik pro substrukturální logiky (GF24-14386L)

. Tyto struktury zachycují sémantickou podstatu substrukturálních logik, jinak známých jako "logiky citlivé na zdroje", tj. logik, které berou vážně skutečnost, že naše rezonanční možnosti jsou konečné. Název "substrukturál...

Statistics and probability

  • 2024 - 2026
    • •
  • 3 696 tis. Kč
    • •
  • 3 696 tis. Kč
    • •
  • GA ČR
Projekt

Složitost t-normových logik - algebraický a důkazově teoretický přístup (KJB100300701)

Složitost jistě patří mezi nejdůležitější části matematické logiky. Náš návrhovaný projekt je zaměřen na složitost vícehodnotových logik, jejichž sémantika je založena na zleva spojitých t-normách. Základní logika nad ktero...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 741 tis. Kč
    • •
  • 741 tis. Kč
    • •
  • AV ČR
Projekt

LOGICA 2000 - série mezinárodních interdisciplinárních konferencí a vědeckých publikací (IAA0009704)

Komplexní projekt LOGICA 2000 zahrnuje: a) uspořádání 11.-13. ročníku unikátní mezinár. konference LOGICA (pořádané každoročně od r.1987) věnované moderní logice výsledků logického výzkumu prezentovaných na konferencích o <...

AA - Filosofie a náboženství

  • 1997 - 1999
    • •
  • 1 344 tis. Kč
    • •
  • 790 tis. Kč
    • •
  • AV ČR
Projekt

Rekonstrukce filozofické logiky (GA401/97/0157)

Soudobá situace ve filozofické logice, kdy se zdá, jako by neexistovala jedna logika, nýbrž množství "logik" , znamená výzvu pro ty, kdo soudí, že mezi faktory charakteristických pro tzv. "klasickou" logiku. Možnou...

AA - Filosofie a náboženství

  • 1997 - 1999
    • •
  • 1 863 tis. Kč
    • •
  • 376 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 313