Filters
Show more
Show more
Show more
Show more
Show more
More filters
Projects
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
Ř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
Probabilistic reasoning in late scholastic logic (GA17-12408S)
in scholastic logic and late scholastic analysis of inductive reasoning. HistoricallyThe subject matter of the project is late scholastic analysis of probabilistic reasoning, i.e., the type of arguments which are ...
AA - Filosofie a náboženství
- 2017 - 2021 •
- 896 tis. Kč •
- 896 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2021
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 to the analysis of real arguments. Within this project we want to examine the 'extrnal and reasoning and their logical analyses and mod...
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
Reasoning with graded properties (GA18-00113S)
Graded properties are ubiquitous in human discourse and reasoning. “acute angle” or “guilty”). Seen as a science of correct reasoning, Logic should. We aim at developing a logical framework for reasoning with graded proper...
Philosophy, History and Philosophy of science and technology
- 2018 - 2023 •
- 5 549 tis. Kč •
- 4 381 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (79%)
Poskytovatel: Grantová agentura České republiky
Automata for Decision Procedures and Verification (GA19-24397S)
in a wide range of applications in automated reasoning, verification, language in automated reasoning and verification, such as lazy evaluation, symbolic representation with applications of automata, especially in string analys...
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
Řešení projektu: 1. 1. 2019 - 31. 12. 2023
Uznané náklady
Podpora ze státního rozpočtu (77%)
Poskytovatel: Grantová agentura České republiky
Temporal aspects of knowledge and information (GAP401/10/0792)
for computer-aided natural-language analysis, knowledge management and reasoning analysis and reasoning based on the procedural semantics of Transparent Intensional representation and reasoning. The main ...
AA - Filosofie a náboženství
- 2010 - 2012 •
- 4 889 tis. Kč •
- 4 889 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Traditional and computer-based methods in testing of spatial reasoning (GAP407/11/2397)
Spatial reasoning is being divided into five basic types of mental operations reasoning. We will start with building sufficiently large, content balanced item bank reasoning test, which we will put through standard procedur...
AN - Psychologie
- 2011 - 2013 •
- 1 379 tis. Kč •
- 1 379 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Spatial cognition for mobile robots (GP13-30155P)
. The reasoning mechanism will be designed to derive novel knowledge from given knowledge-base, generate and verify hypotheses. It will support reasoning with uncertain and incomplete maximization will be designed. The theoretical <...
JD - Využití počítačů, robotika a její aplikace
- 2013 - 2015 •
- 2 289 tis. Kč •
- 2 289 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Hyperintensional logic for natural language analysis (GA15-13277S)
analysis of natural language, in particular English and Czech. The proposed project) and apply TIL to natural-language processing, communication and reasoning. TIL is one are convinced, logical analysis of natural language...
AI - Jazykověda
- 2015 - 2017 •
- 4 679 tis. Kč •
- 4 679 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
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. Existing approaches for their verification, analysis, and simulation are limited for automated reasoning over quantum programs that will, tog...
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
- 1 - 10 out of 10 622