Generování magických pravidel z ozdobeného logického programu

Show simple item record
dc.contributor.advisorZíma Martin, Ing. Ph.D.
dc.contributor.authorLáska, Jiří
dc.contributor.refereeKaas Ondřej, Ing.
dc.date.accepted2016-6-9
dc.date.accessioned2017-02-21T08:30:58Z
dc.date.available2015-10-12
dc.date.available2017-02-21T08:30:58Z
dc.date.issued2016
dc.date.submitted2016-5-5
dc.description.abstractTato bakalářská práce se zaobírá konstrukcí magických pravidel. Je to důležitá součást Metody magických množin. Metoda magických množin je poměrně komplexní optimalizace vyhodnocování logických programů. Součástí práce je aplikace v Java jazyce. Aplikace implementuje samotný algoritmus konstrukce magických pravidel, pracující s daným textovým vstupem.cs
dc.description.abstract-translatedThis bachelor's thesis discusses magic rules generating. It is an essential part of the Magic Sets method. The Magic Sets method is a relatively complex optimization for logic programs' evaluation. A part of this thesis is an application written in the Java language. The application implements the very algorithm of a magic rules generator. The application processes a given text input.en
dc.description.resultObhájenocs
dc.format57 s.cs
dc.format.mimetypeapplication/pdf
dc.identifier67744
dc.identifier.urihttp://hdl.handle.net/11025/23827
dc.language.isocscs
dc.publisherZápadočeská univerzita v Plznics
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.rights.accessopenAccessen
dc.subjectmagická pravidlacs
dc.subjectlogické programovánícs
dc.subjectoptimalizace vyhodnocovánícs
dc.subject.translatedmagic rulesen
dc.subject.translatedlogic programmingen
dc.subject.translatedevaluation optimizationen
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta aplikovaných vědcs
dc.thesis.degree-levelBakalářskýcs
dc.thesis.degree-nameBc.cs
dc.thesis.degree-programInženýrská informatikacs
dc.titleGenerování magických pravidel z ozdobeného logického programucs
dc.title.alternativeGeneration of magic rules from adorned logic programen
dc.typebakalářská prácecs
local.relation.IShttps://portal.zcu.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=67744

Files

Original bundle
Showing 1 - 4 out of 4 results
No Thumbnail Available
Name:
bp.pdf
Size:
628.05 KB
Format:
Adobe Portable Document Format
Description:
Plný text práce
Download
No Thumbnail Available
Name:
A13B0370P-hodnoceni.pdf
Size:
212 KB
Format:
Adobe Portable Document Format
Description:
Posudek vedoucího práce
Download
No Thumbnail Available
Name:
A13B0370P-posudek.pdf
Size:
416.32 KB
Format:
Adobe Portable Document Format
Description:
Posudek oponenta práce
Download
No Thumbnail Available
Name:
A13B0370P-obhajoba.pdf
Size:
114.33 KB
Format:
Adobe Portable Document Format
Description:
Průběh obhajoby práce
Download

Collections

Bachelor´s works (KIV)