Logické programy s omezujícími podmínkami

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

Univerzita Karlova / Matematicko-fyzikální fakulta

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Logic programs with constrains

Anotace anglicky

Constraint Programming is one of the hottest topics in the area of Programming Languages. Integration with Logic Programming makes the appropriate underlying platform for constraints that raises the potential of both programming paradigms. The aim of theproposed project is to: 1) develop new general and efficient methods of constraint satisfaction. Special emphasis will be put on solving over-constraints problems and optimisation problems with respect to preserving declarative character of constraints (their preferences) and problem specification. 2) integrate the developed methods with logic programming environment (Prolog) to get a complete declarative environment for solving problems, particularly from the area of planning and scheduling. Special empasis will be put on modularity of the proposed environment. 3) promote the constraint programming methodology in academy as well as in industry by means of on-line educational materials that will be prepared during the project duration. The proposed

Kategorie VaV

—

CEP - hlavní obor

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

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

20206 - Computer hardware and architecture

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Veľmi pekné teoretické výsledky, navrhované algoritmy boli overované na aplikáciach, vynikajuca prezentácia výsledkov na medzinárodnom fóre, veľmi kvalitná popularizácia výsledkov. Príprava pedagogickych materiálov. Odborný prínos veľmi dobrý. Záverečná

Zahájení řešení

1. 1. 1999

Ukončení řešení

1. 1. 2002

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP/2003/GA0/GA03GA/U/N/9:7

Datum dodání záznamu

19. 5. 2008

Celkové uznané náklady

665 tis. Kč

Výše podpory ze státního rozpočtu

540 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

220 tis. Kč