This HTML5 document contains 29 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n16http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n10http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n15http://linked.opendata.cz/resource/domain/vavai/subjekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n12http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n11http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://linked.opendata.cz/ontology/domain/vavai/cep/
n5http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F99%2FD057/
n18http://reference.data.gov.uk/id/gregorian-year/
n7http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item
n2:GA201%2F99%2FD057
rdf:type
n13:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA201/99/D057
dcterms:description
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 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 na otevř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ý
dcterms:title
Logic programs with constrains Logické programy s omezujícími podmínkami
skos:notation
GA201/99/D057
n4:aktivita
n7:GA
n4:celkovaStatniPodpora
n5:celkovaStatniPodpora
n4:celkoveNaklady
n5:celkoveNaklady
n4:datumDodatniDoRIV
2008-05-19+02:00
n4:druhSouteze
n9:VS
n4:duvernostUdaju
n14:S
n4:fazeProjektu
n12:962763
n4:hlavniObor
n11:JC
n4:hodnoceniProjektu
n10:V
n4:klicovaSlova
Neuvedeno.
n4:partnetrHlavni
n15:orjk%3A11320
n4:pocetKoordinujicichPrijemcu
0
n4:pocetPrijemcu
1
n4:pocetSpoluPrijemcu
0
n4:pocetVysledkuRIV
19
n4:pocetZverejnenychVysledkuVRIV
19
n4:sberDatUcastniciPoslednihoRoku
n18:2003
n4:sberDatUdajeProjZameru
n18:2003
n4:statusZobrazovaneFaze
n8:DUU
n4:typPojektu
n16:P
n4:zhodnoceni+vysledku+projektu+dodavatelem
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á
n4:zivotniCyklusProjektu
n17:ZBBKU