Hlavní stránka > Výsledky hledání: Kažimír, Marián
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 
Using Constrained Horn Clauses for Hierarchical Planning
 Kažimír, Marián ; Blicha, Martin (vedoucí práce) ; Pantůčková, Kristýna (oponent)
Název práce: Užití omezených Hornových klauzulí pro hierarchické plánování Autor: Marián Kažimír Katedra / Ústav: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Mgr. Martin Blicha, Katedra distribuovaných a spo- lehlivých systémů Abstrakt: HTN plánování je populární způsob jak modelovat plánovací problémy. Cílem této práce je naimplementovat HTN řešič založený na překladu plánovacího problému do problému dosažitelnosti v tranzitním systému a ten následně vyřešit pomocí běžného řešiče dosažitelnosti. Klíčová slova: HTN Plánovací problém řešič Tranzitní systém Omezené Hornove klauzule
Úplný záznam

Viz též: podobná jména autorů
4 Kažimír, Miroslav
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English