All
All

What are you looking for?

All
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

-
19002100

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show less

      • Show less

      • Show less

      • Show less

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

438 projects (0,133s) •

Project

Game-theoretical approach to many-valued logics (7AMB13AT014)

game semantics for fuzzy logic (dialogical/evaluation games) and their relationship to other game-theoretical many-valued semantics (probabilistic semantics for independent-friendly logic) b) con...

IN - Informatika

  • 2013 - 2014
    • •
  • 200 tis. Kč
    • •
  • 200 tis. Kč
    • •
  • MŠMT
Project

Modeling vague quantifiers in mathematical fuzzy logic (GF15-34650L)

, including modal logics with two-level syntax, game-theoretic semantics, and automated...

IN - Informatika

  • 2015 - 2019
    • •
  • 6 071 tis. Kč
    • •
  • 6 071 tis. Kč
    • •
  • GA ČR
Project

Qualitative Research on the Semantics of Aesthetic Judgements (GA18-18532S)

The aim of the project is to describe and analyse the semantics of aesthetic judgements. It starts from the inevitability of the collaboration of philosophical and sociological aesthetics in empirical research on aesthetic evaluation but als...

Other Humanities and the Arts

  • 2018 - 2020
    • •
  • 1 340 tis. Kč
    • •
  • 1 211 tis. Kč
    • •
  • GA ČR
Project

SUMO  Sustainable design empowered by materials modelling, semantic interoperability and multi-criteria optimization (GF22-35755K)

The ambition of this joint research between LIST- Luxembourg and Czech Technical University of Prague promises to be a game-changing effort to maximize the benefits of computational and data-driven technologies in the materials field. The pr...

Civil engineering

  • 2022 - 2024
    • •
  • 8 307 tis. Kč
    • •
  • 8 307 tis. Kč
    • •
  • GA ČR
Project

Domain service of large AI language models using GPT upskilling. (FW10010200)

and semantic search, all of which are based on the use of AI and machine learning algorithms. The initial domain focus will be banking and insurance, gaming, law firms and legal practice support systems, including document manageme...

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

  • 2024 - 2025
    • •
  • 16 008 tis. Kč
    • •
  • 11 205 tis. Kč
    • •
  • TA ČR
Project

Large-Scale Information Extraction and Gamification for Crowdsourced Language Learning (LTC18006)

crawling and semantic enrichment of the collected material as well as modern human of languages in the form of a game....

Computer hardware and architecture

  • 2018 - 2021
    • •
  • 3 888 tis. Kč
    • •
  • 3 888 tis. Kč
    • •
  • MŠMT
Project

Dynamic Formal Systems (IAA900090703)

tools regarding: a) dynamic non-classical logics, b) game-theoretical semantics...

BA - Obecná matematika

  • 2007 - 2010
    • •
  • 4 479 tis. Kč
    • •
  • 4 479 tis. Kč
    • •
  • AV ČR
Project

Abstractions and Extensive-Form Games with Imperfect Recall (GA15-23235S)

Non-cooperative game theory provides mathematical models of behavior strictly competitive extensive-form games with imperfect information, for which current for solving large extensive-form games is to transform the gam...

IN - Informatika

  • 2015 - 2017
    • •
  • 4 235 tis. Kč
    • •
  • 4 235 tis. Kč
    • •
  • GA ČR
Project

A Multivalued Approach to Optima and Equilibria in Economics (GAP402/12/1309)

A multivalued approach offers efficient tools for dealing with game-theoretic of several selected challenging problems that arise in game theory. This will include both cooperative and non-cooperative games. We will analyse...

AH - Ekonomie

  • 2012 - 2016
    • •
  • 5 961 tis. Kč
    • •
  • 5 961 tis. Kč
    • •
  • GA ČR
Project

Algorithms for Infinite-State Discrete Systems and Games (GA18-11193S)

Algorithmic game theory provides convenient tools for modeling and analysis of the proposed project, special attention is devoted to games with infinitely many states and to games of multi-agent planning. Although these

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

  • 2018 - 2020
    • •
  • 9 463 tis. Kč
    • •
  • 5 660 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 438