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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n13http://localhost/temp/predkladatel/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n7http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n12http://bibframe.org/vocab/
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F14%3A10283632%21RIV15-GA0-11320___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F14%3A10283632%21RIV15-GA0-11320___
rdf:type
n10:Vysledek skos:Concept
rdfs:seeAlso
http://dx.doi.org/10.1017/S1471068414000295
dcterms:description
Tabling has been used for some time to improve efficiency of Prolog programs by memorizing answered queries. The same idea can be naturally used to memorize visited states during search for planning. In this paper we present a planner developed in the Picat language to solve the Petrobras planning problem. Picat is a novel Prolog-like language that provides pattern matching, deterministic and non-deterministic rules, and tabling as its core modelling and solving features. We demonstrate these capabilities using the Petrobras problem, where the goal is to plan transport of cargo items from ports to platforms using vessels with limited capacity. Monte Carlo Tree Search has been so far the best technique to tackle this problem and we will show that by using tabling we can achieve much better runtime efficiency and better plan quality. Tabling has been used for some time to improve efficiency of Prolog programs by memorizing answered queries. The same idea can be naturally used to memorize visited states during search for planning. In this paper we present a planner developed in the Picat language to solve the Petrobras planning problem. Picat is a novel Prolog-like language that provides pattern matching, deterministic and non-deterministic rules, and tabling as its core modelling and solving features. We demonstrate these capabilities using the Petrobras problem, where the goal is to plan transport of cargo items from ports to platforms using vessels with limited capacity. Monte Carlo Tree Search has been so far the best technique to tackle this problem and we will show that by using tabling we can achieve much better runtime efficiency and better plan quality.
dcterms:title
Using Tabled Logic Programming to Solve the Petrobras Planning Problem Using Tabled Logic Programming to Solve the Petrobras Planning Problem
skos:prefLabel
Using Tabled Logic Programming to Solve the Petrobras Planning Problem Using Tabled Logic Programming to Solve the Petrobras Planning Problem
skos:notation
RIV/00216208:11320/14:10283632!RIV15-GA0-11320___
n4:aktivita
n8:P
n4:aktivity
P(GAP103/10/1287)
n4:cisloPeriodika
4-5
n4:dodaniDat
n5:2015
n4:domaciTvurceVysledku
n9:8318573
n4:druhVysledku
n14:J
n4:duvernostUdaju
n18:S
n4:entitaPredkladatele
n19:predkladatel
n4:idSjednocenehoVysledku
52485
n4:idVysledku
RIV/00216208:11320/14:10283632
n4:jazykVysledku
n20:eng
n4:klicovaSlova
logistics; planning; symmetry breaking; resource-bounded search; tabling
n4:klicoveSlovo
n11:symmetry%20breaking n11:resource-bounded%20search n11:planning n11:tabling n11:logistics
n4:kodStatuVydavatele
US - Spojené státy americké
n4:kontrolniKodProRIV
[9D6D80054B95]
n4:nazevZdroje
Theory and Practice of Logic Programming
n4:obor
n16:IN
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
2
n4:projekt
n7:GAP103%2F10%2F1287
n4:rokUplatneniVysledku
n5:2014
n4:svazekPeriodika
14
n4:tvurceVysledku
Zhou, Neng-Fa Barták, Roman
n4:wos
000343203200020
s:issn
1471-0684
s:numberOfPages
14
n12:doi
10.1017/S1471068414000295
n13:organizacniJednotka
11320