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

1 215 (0,205s) •

Project

Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)

information essential for computational proof transformation and automated reasoning for automated theorem proving. While there are interpretations of Herbrand’s theorem......

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

  • 2022 - 2025
    • •
  • 4 377 tis. Kč
    • •
  • 4 377 tis. Kč
    • •
  • GA ČR
Project

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

. Automation of mathematical reasoning is one of the greatest AI challenges. Compared deduction, learning and conjecturing in complex feedback loops. There is solid evidence for learning-guided decomposition of hard problems, (iii) ...

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

Model checking concurrent software using automated deduction of object ownership patterns (GPP202/12/P180)

it in a form amenable to automated reasoning. In this project, we will design a method for automated deduction of object ownership patterns. Further, we will extend current......

IN - Informatika

  • 2012 - 2013
    • •
  • 672 tis. Kč
    • •
  • 672 tis. Kč
    • •
  • GA ČR
Project

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

adequateness, automated deduction, and embeddability in logical frameworks the potential of deductive systems studied by mathematical fuzzy logic. The aim, including modal logics with two-level syntax, game-theoretic seman...

IN - Informatika

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

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

algorithms for automated deduction in equational logic, their recent implementations...

BA - Obecná matematika

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

Hyperintensional Meaning, Type Theory and Logical Deduction (GA19-12420S)

. The project will focus on development of these deduction rules for the adopted type system...

Philosophy, History and Philosophy of science and technology

  • 2019 - 2023
    • •
  • 2 391 tis. Kč
    • •
  • 2 252 tis. Kč
    • •
  • GA ČR
Project

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

In this project, we will systematically investigate the topic of combining machine learning methods with state-of-the-art saturation-style Automated Theorem Provers (ATPs). Our ultimate objective is increasing the performance of these ATPs o...

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

Malleable Theorem Proving Architectures (GA24-12759S)

of the deductive and inductive technologies. The ultimate aim of the project is to improve. A corresponding improvement in application areas such as automation in interactive theorem......

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

  • 2024 - 2026
    • •
  • 7 885 tis. Kč
    • •
  • 7 885 tis. Kč
    • •
  • GA ČR
Project

Framework for the deductive analysis of embedded software (GP201/07/P544)

The proposed project aims at basic research in the area of possible support of formal methods for domain specific modeling languages (DSML) for embedded systems by means of designing a formal verification framework based on a deductive verif...

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

  • 2007 - 2008
    • •
  • 352 tis. Kč
    • •
  • 352 tis. Kč
    • •
  • GA ČR
Project

Diagnostic of malignant diseases according to stages in data of the National cancer registry of the CR - a descriptive epidemiological study (NO6585)

The study is based on data of the National cancer registry and it proposes to desribe situation in extent of diagnosed malignities,its trends,comparison with other countries,deduction of consequences including recommendations for the cancer ...

FQ - Veřejné zdravotnictví, sociální lékařství

  • 2001 - 2002
    • •
  • 551 tis. Kč
    • •
  • 551 tis. Kč
    • •
  • MZ
  • 1 - 10 out of 1 215