Filtry
NextReason Next Generation Computer Assisted Reasoning (GX25-17929X)
for reasoning and their transformative effect on mathematics and formal proof.. Automation of mathematical reasoning is one of the greatest AI challenges. Compared to humans, today’s main reasoning systems largely...
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
Řešení projektu: 1. 1. 2025 - 31. 12. 2029
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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 matching. Inves...
Automation and control systems
- 2020 - 2024 •
- 35 585 tis. Kč •
- 35 585 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2020 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
KATRA Knowledge, Action and Time – A Relevant Approach (GC25-17958J)
Reasoning about knowledge, time, and action is fundamental to human cognition. However, current formal models used in analytic philosophy often struggle to capture the nuances of how we reason about these concepts. Based on...
Philosophy, History and Philosophy of science and technology
- 2025 - 2027 •
- 3 953 tis. Kč •
- 3 953 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2027
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Logical models of reasoning and argumentation in natural language (GA17-15645S)
scholarly journals offer an abundance of systems which are supposed to model reasoning of different kinds. The systems are usually interesting from the purely formal' criteria of evaluation of the relevance of systems of formal...
AA - Filosofie a náboženství
- 2017 - 2019 •
- 4 381 tis. Kč •
- 4 381 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
GRADLACT Graded Logics of Action (GA22-16111S)
at formalizing various philosophically relevant kinds of discourse; in particular, we will develop graded dynamic logics suitable for formalizing reasoning about collective adequate formalization of discourse invo...
Philosophy, History and Philosophy of science and technology
- 2022 - 2024 •
- 3 172 tis. Kč •
- 2 878 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Grantová agentura České republiky
Approximate reasoning and generalized quantifiers (GA201/04/1033)
of approximate reasoning and to extend it by generalized quantifiers. The grant is focused classes ofthem, which are specific for fuzzy logic. 3. Study of approximate reasoning) AR asa formal deduction under indeterminacy ...
BA - Obecná matematika
- 2004 - 2006 •
- 1 180 tis. Kč •
- 1 180 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2004 - 1. 1. 2006
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
QUAK Quantum Program Analysis using Automata Toolkit (GA25-18318S)
due to the complexity of understanding quantum programs and reasoning over them, we will address these limitations by a) developing new formal models capable for their translation into the formal models; and c) proposing n...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2025 - 2027 •
- 10 644 tis. Kč •
- 9 417 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2025 - 31. 12. 2027
Uznané náklady
Podpora ze státního rozpočtu (88%)
Poskytovatel: Grantová agentura České republiky
Foundations of logic in the light of new results of philosophy and science (GA13-21076S)
with language and reasoning. We will build on our previous research focused on the analysis of the fundamental concepts of logic and the nature of logical formalization; especially on our and cognitive science, between model theory...
AA - Filosofie a náboženství
- 2013 - 2016 •
- 4 342 tis. Kč •
- 4 342 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Combinatorics on words formalization (GA20-20621S)
for a computer verifiable formalization, which however has not been seriously attempted so far. Our intention is to formalize basic theory of combinatorics on words......
Acoustics
- 2020 - 2023 •
- 3 777 tis. Kč •
- 3 741 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 30. 6. 2023
Uznané náklady
Podpora ze státního rozpočtu (99%)
Poskytovatel: Grantová agentura České republiky
Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)
toolbox. Though, its use makes formal proof analysis difficult. In essence, induction information essential for computational proof transformation and automated reasoning be finitely represented and used to analyze proofs and to pr...
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
Řešení projektu: 1. 7. 2022 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 1 432