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 153 (0,123s) •

Project

Efficient Finite Automata for Automated Reasoning (LL1908)

This project aims at delivering a strong push towards unleashing the theoretical potential of finite automata in practical applications in automated reasoning such as software and hardware analysis and verification or pattern matchi...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Project

NextReason Next Generation Computer Assisted Reasoning (GX25-17929X)

. Automation of mathematical reasoning is one of the greatest AI challenges. Compared to humans, today’s main reasoning systems largely lack the capability to combine and neuro-symbolic methods for a range of reasoning<...

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

  • 2025 - 2029
    • •
  • 49 505 tis. Kč
    • •
  • 49 505 tis. Kč
    • •
  • GA ČR
Project

Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems. (OC10048)

Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......

IN - Informatika

  • 2010 - 2012
    • •
  • 1 641 tis. Kč
    • •
  • 1 318 tis. Kč
    • •
  • MŠMT
Project

Powering Automatic Theorem Provers by Machine Learning (GJ20-06390Y)

on a wide range of tasks, measured on standard automated reasoning benchmarks machine learning methods with state-of-the-art saturation-style Automated Theorem of the ATP systems will in turn immediately benefit practition...

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

  • 2020 - 2022
    • •
  • 6 467 tis. Kč
    • •
  • 6 467 tis. Kč
    • •
  • GA ČR
Project

Automata for Decision Procedures and Verification (GA19-24397S)

Research in finite automata is constantly delivering results potentially useful in a wide range of applications in automated reasoning, verification, language processing, databases, web technologies, etc. The practical impact of th...

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

  • 2019 - 2023
    • •
  • 8 460 tis. Kč
    • •
  • 6 551 tis. Kč
    • •
  • GA ČR
Project

Balancing Deliberative and Reactive Behaviour of Intelligent Agents (GJ17-17125Y)

Intelligent agents are entities that reason about how to act to achieve desired goals, collect and exploit information about the environment and react to unexpected, based on the type of reasoning the agent uses. Deliberative re...

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

  • 2017 - 2020
    • •
  • 2 966 tis. Kč
    • •
  • 2 966 tis. Kč
    • •
  • GA ČR
Project

PatOMat - Automation of Ontology Pattern Detection and Exploitation (GAP202/10/1825)

automated reasoning by specific algorithms. The project will build upon existingThe project will investigate automated detection and exploitation of design patterns in ontologies as formal conceptual models of problem doma...

IN - Informatika

  • 2010 - 2012
    • •
  • 1 148 tis. Kč
    • •
  • 1 148 tis. Kč
    • •
  • GA ČR
Project

Development, Application and Automation of Genetic Analysis Technologies and Procedures Aimed at Predicting and Identifying Perpetrators and Victims of Terrorist Attacks, Crimes nad Natural Disasters. (VG20122015071)

Development, application and automation of procedures in order to gain further information sources comprised in biological material not only at crime scenes, but also in cases of terrorist attacks and natural disasters. The reason f...

EB - Genetika a molekulární biologie

  • 2012 - 2015
    • •
  • 22 687 tis. Kč
    • •
  • 22 687 tis. Kč
    • •
  • MV
Project

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

adequateness, automated deduction, and embeddability in logical frameworks, including modal logics with two-level syntax, game-theoretic semantics, and automated reasoning techniques.......

IN - Informatika

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

CAQtuS Computer-Aided Quantitative Synthesis (GJ20-02328Y)

have arisen from applications requiring quantitative reasoning, which include, e.g quantitative reasoning. The aim of this project is to develop theoretical foundations methods and advance engineering processes towards automat...

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

  • 2020 - 2022
    • •
  • 6 075 tis. Kč
    • •
  • 6 075 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 2 153