About: Logic programs with constrains

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Logic programs with constrains Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/99/D057
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 (en) 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ý
Title	Logic programs with constrains (en) Logické programy s omezujícími podmínkami
skos:notation	GA201/99/D057
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F99%2FD057/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F99%2FD057/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2008-05-19 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	962763
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Matematicko-fyzikální fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	19 (xsd:int)
http://linked.open...enychVysledkuVRIV	19 (xsd:int)
http://linked.open...iciPoslednihoRoku	2003
http://linked.open...atUdajeProjZameru	2003
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...jektu+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á (cs)
http://linked.open...tniCyklusProjektu	ZBBKU
is http://linked.open...vavai/riv/projekt of	Filtering Algorithms for Tabular Constraints Visopt ShopFloor: On the edge of planning and scheduling Mixing Planning and Scheduling to Model Complex Process Environments Mixing Planning and Scheduling to Model Complex Process Environments Constraint Programming - In Pursuit of the Holy Grail Theory and Practice of Constraint Propagation A Theoretical Framework for Constraint Hierarchy Solvers Constraint-Based Scheduling: An Introduction for Newcomers Foundations of Constraint Satisfaction Towards Mixed Planning and Scheduling Proceedings of the 2001 ERCIM Workshop on Constraints Modelling Resource Transitions in Constraint-Based Scheduling Modelling Soft Constraints: A Survey A General Relation Constraint: An Implementation A Slot Representation of the Resource-Centric Models for Scheduling Problems Dynamic Constraint Models for Planning and Scheduling Problems Slot Models for Schedulers Enhanced by Planning Capabilities Dynamic Global Constraints: A First View Dynamic Global Constraints in Constraint Logic Programming
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD057/1999/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD057/2000/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD057/2001/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD057/2002/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD057/2003/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2FD057/2007/orjk%3A11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software