Logic programs with constrains
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Logické programy s omezujícími podmínkami
Annotation in Czech
Programování s omezujícími podmínkami představuje jedno z nejaktuálnějších témat výzkumu v oblasti programovacích jazyků. Spojením s logickými programováním získalo vhodnou výpočtovou platformu umocňující výhody obou programovacích paradigmat.Cílem navrhovaného projektu je: 1) vytvořit nové obecné metody splňování omezujících podmínek. Zvláštní důraz bude kladen na řešení příliš omezených problémů a optimalizačních problémů s přihlédnutím na zachování deklarativního charakteru omezujících podmínek (jejich preferencí) a specifikace problému. 2) integrovat navržené metody s prostředím logického programování tak, aby bylo získáno kompletní deklarativní prostředí pro řešení problémů především z oblasti plánování a rozvrhování. Zvláštní důraz bude kladen naotevřenost a modularitu navrženého prostředí. 3) propagovat techniky programování s omezujícími podmínkami a to jak na akademických pracovištích tak v průmyslu. Používány budou on-line výukové materiály připravené v průběhu projektu.Navrhovaný
Scientific branches
R&D category
—
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
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á
Solution timeline
Realization period - beginning
Jan 1, 1999
Realization period - end
Jan 1, 2002
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2003/GA0/GA03GA/U/N/9:7
Data delivery date
May 19, 2008
Finance
Total approved costs
665 thou. CZK
Public financial support
540 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
220 thou. CZK