"Logic programs with constrains"@en . . "GA201/99/D057" . . "19"^^ . . "19"^^ . . "Ve\u013Emi pekn\u00E9 teoretick\u00E9 v\u00FDsledky, navrhovan\u00E9 algoritmy boli overovan\u00E9 na aplik\u00E1ciach, vynikajuca prezent\u00E1cia v\u00FDsledkov na medzin\u00E1rodnom f\u00F3re, ve\u013Emi kvalitn\u00E1 populariz\u00E1cia v\u00FDsledkov. Pr\u00EDprava pedagogickych materi\u00E1lov. Odborn\u00FD pr\u00EDnos ve\u013Emi dobr\u00FD. Z\u00E1vere\u010Dn\u00E1"@cs . . "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"@en . . "1"^^ . "Programov\u00E1n\u00ED s omezuj\u00EDc\u00EDmi podm\u00EDnkami p\u0159edstavuje jedno z nejaktu\u00E1ln\u011Bj\u0161\u00EDch t\u00E9mat v\u00FDzkumu v oblasti programovac\u00EDch jazyk\u016F. Spojen\u00EDm s logick\u00FDmi programov\u00E1n\u00EDm z\u00EDskalo vhodnou v\u00FDpo\u010Dtovou platformu umoc\u0148uj\u00EDc\u00ED v\u00FDhody obou programovac\u00EDch paradigmat.C\u00EDlem navrhovan\u00E9ho projektu je: 1) vytvo\u0159it nov\u00E9 obecn\u00E9 metody spl\u0148ov\u00E1n\u00ED omezuj\u00EDc\u00EDch podm\u00EDnek. Zvl\u00E1\u0161tn\u00ED d\u016Fraz bude kladen na \u0159e\u0161en\u00ED p\u0159\u00EDli\u0161 omezen\u00FDch probl\u00E9m\u016F a optimaliza\u010Dn\u00EDch probl\u00E9m\u016F s p\u0159ihl\u00E9dnut\u00EDm na zachov\u00E1n\u00ED deklarativn\u00EDho charakteru omezuj\u00EDc\u00EDch podm\u00EDnek (jejich preferenc\u00ED) a specifikace probl\u00E9mu. 2) integrovat navr\u017Een\u00E9 metody s prost\u0159ed\u00EDm logick\u00E9ho programov\u00E1n\u00ED tak, aby bylo z\u00EDsk\u00E1no kompletn\u00ED deklarativn\u00ED prost\u0159ed\u00ED pro \u0159e\u0161en\u00ED probl\u00E9m\u016F p\u0159edev\u0161\u00EDm z oblasti pl\u00E1nov\u00E1n\u00ED a rozvrhov\u00E1n\u00ED. Zvl\u00E1\u0161tn\u00ED d\u016Fraz bude kladen na otev\u0159enost a modularitu navr\u017Een\u00E9ho prost\u0159ed\u00ED. 3) propagovat techniky programov\u00E1n\u00ED s omezuj\u00EDc\u00EDmi podm\u00EDnkami a to jak na akademick\u00FDch pracovi\u0161t\u00EDch tak v pr\u016Fmyslu. Pou\u017E\u00EDv\u00E1ny budou on-line v\u00FDukov\u00E9 materi\u00E1ly p\u0159ipraven\u00E9 v pr\u016Fb\u011Bhu projektu.Navrhovan\u00FD" . . . . "Logick\u00E9 programy s omezuj\u00EDc\u00EDmi podm\u00EDnkami" . "0"^^ . . . . "0"^^ . "2008-05-19+02:00"^^ . . . . "Neuvedeno."@en . "http://www.isvav.cz/projectDetail.do?rowId=GA201/99/D057"^^ .