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

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

Namespace Prefixes

PrefixIRI
n20http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n13http://purl.org/net/nknouf/ns/bibtex#
n7http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/ontology/domain/vavai/
n6https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
n21http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F06%3APU66962%21RIV08-GA0-26230___/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n15http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F06%3APU66962%21RIV08-GA0-26230___
rdf:type
n8:Vysledek skos:Concept
dcterms:description
Článek se snaží odpovědět na otázku, zda hraní hry Go počítačem může být chápáno jako verifikační případová studie. Nejdříve je uvedena oblast formální verifikace a představena hra Go a dosavadní pokusy o její hraní počítačem. Následně jsou porovnány principy a metody používané pro formalní verifikaci s Go programy. Článek uzavírá zhodnocení možných přínosů vývoje Go programů pro zlepšení metod formální verifikace. This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper. This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper.
dcterms:title
Computer Go as a Verification Case Study Computer Go as a Verification Case Study Hraní Go počítačem jako verifikační případová studie
skos:prefLabel
Hraní Go počítačem jako verifikační případová studie Computer Go as a Verification Case Study Computer Go as a Verification Case Study
skos:notation
RIV/00216305:26230/06:PU66962!RIV08-GA0-26230___
n4:strany
95-100
n4:aktivita
n16:P
n4:aktivity
P(GA102/04/0780), P(GP102/06/P076)
n4:dodaniDat
n15:2008
n4:domaciTvurceVysledku
n14:5054532
n4:druhVysledku
n11:D
n4:duvernostUdaju
n19:S
n4:entitaPredkladatele
n21:predkladatel
n4:idSjednocenehoVysledku
469501
n4:idVysledku
RIV/00216305:26230/06:PU66962
n4:jazykVysledku
n12:eng
n4:klicovaSlova
Formal verification, case study, the game of Go, computer Go.
n4:klicoveSlovo
n10:the%20game%20of%20Go n10:Formal%20verification n10:computer%20Go. n10:case%20study
n4:kontrolniKodProRIV
[0390B4E360FE]
n4:mistoKonaniAkce
Vranov (u Brna)
n4:mistoVydani
Ostrava
n4:nazevZdroje
Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems
n4:obor
n5:JC
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
1
n4:projekt
n18:GA102%2F04%2F0780 n18:GP102%2F06%2FP076
n4:rokUplatneniVysledku
n15:2006
n4:tvurceVysledku
Křena, Bohuslav
n4:typAkce
n20:EUR
n4:zahajeniAkce
2006-09-12+02:00
s:numberOfPages
6
n13:hasPublisher
Neuveden
n6:isbn
80-86840-26-3
n7:organizacniJednotka
26230