Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
Validating plans with durative actions via integrating Boolean and numerical constraints
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
A constraint-based approach for validating plans with durative actions via integrating Boolean and numerical constraints
A constraint-based approach for validating plans with durative actions via integrating Boolean and numerical constraints
(en)
Nový přistup pro validaci plánů s aktivitami s nenulovou délkou založený na splňování Boolean a numerických omezujících podmínek
(cs)
Title
Validating plans with durative actions via integrating Boolean and numerical constraints
Validating plans with durative actions via integrating Boolean and numerical constraints
(en)
Validace plánů s aktivitami s nenulovou délkou prostřednictvím integrace Boolean a numerických podmínek
(cs)
skos:prefLabel
Validating plans with durative actions via integrating Boolean and numerical constraints
Validating plans with durative actions via integrating Boolean and numerical constraints
(en)
Validace plánů s aktivitami s nenulovou délkou prostřednictvím integrace Boolean a numerických podmínek
(cs)
skos:notation
RIV/00216208:11320/04:00002868!RIV/2005/GA0/113205/N
http://linked.open...avai/riv/aktivita
P
Z
http://linked.open...avai/riv/aktivity
P(GA201/04/1102), P(LN00A056), Z(MSM 113200005)
http://linked.open...vai/riv/dodaniDat
2005
http://linked.open...aciTvurceVysledku
Barták, Roman
http://linked.open.../riv/druhVysledku
V - Výzkumná zpráva
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku
592066
http://linked.open...ai/riv/idVysledku
RIV/00216208:11320/04:00002868
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
Validating;plans;durative;actions;integrating;Boolean;numerical;constraints
(en)
http://linked.open.../riv/klicoveSlovo
Boolean
integrating
actions
constraints
plans
Validating
numerical
durative
http://linked.open...ontrolniKodProRIV
[6FB9DE0556A6]
http://linked.open...i/riv/mistoVydani
Praha
http://linked.open...telVyzkumneZpravy
ITI
http://linked.open...in/vavai/riv/obor
JC
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...vavai/riv/projekt
Institute of Theoretical Computer Science (Center of Young Science)
Constraint-based planning and scheduling
http://linked.open...UplatneniVysledku
2004
http://linked.open...iv/tvurceVysledku
Barták, Roman
http://linked.open...rzeVyzkumneZpravy
1.
http://linked.open...n/vavai/riv/zamer
http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20113200005
number of pages
8
(
xsd:int
)
http://localhost/t...ganizacniJednotka
11320
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software