Mutual Exclusion State Invariantsin Classical Planning
| dc.contributor.advisor | Lištiak Komenda, Antonín | |
| dc.contributor.author | Fišer, Daniel | |
| dc.contributor.referee | Hoffmann Jörg | |
| dc.date.accessioned | 2020-09-04T14:00:13Z | |
| dc.date.available | 2020-09-04T14:00:13Z | |
| dc.date.issued | 2020-07-07 | |
| dc.description.abstract | ešením problémů v klasickém plánování je sekvence operátorů vedoucí z iniciálního stavu do jednoho z cílových stavů. roblémy v klasickém plánování jsou popsány doménově-nezávisle, takže utomatická extrakce strukturálních informací může výrazně napomoci hledání řešení. | cs |
| dc.description.abstract | The solution to a classical planning problem is a sequence of operators leading from the initial state to one of the goal states. Classical planning problems are described in a domain-independent manner, so automatic extraction of structural information can provide useful guidance for planners. | en |
| dc.identifier | KOS-778758404205 | |
| dc.identifier.uri | http://hdl.handle.net/10467/90347 | |
| dc.publisher | České vysoké učení technické v Praze | cs |
| dc.publisher | Czech Technical University in Prague | en |
| dc.rights | A university thesis is a work protected by the Copyright Act of the Czech Republic. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one`s own expense. The use of thesis should be in compliance with the Copyright Act. | en |
| dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem v platném znění. | cs |
| dc.subject | klasické plánování | cs |
| dc.subject | invariant | cs |
| dc.subject | mutex | cs |
| dc.subject | mutex grupa | cs |
| dc.subject | classical planning | en |
| dc.subject | invariant | en |
| dc.subject | mutex | en |
| dc.subject | mutex group | en |
| dc.title | Invarianty vzájemného vyloučení v klasickém plánování | cs |
| dc.title | Mutual Exclusion State Invariantsin Classical Planning | en |
| dc.type | doctoral thesis | en |
| dspace.entity.type | Publication | |
| relation.isAdvisorOfPublication | 2c53387f-7aa9-4950-9bf7-c3cdaadcb26e | |
| relation.isAdvisorOfPublication.latestForDiscovery | 2c53387f-7aa9-4950-9bf7-c3cdaadcb26e | |
| relation.isAuthorOfPublication | 7e1138f8-9132-40de-828e-bdfc13c013d9 | |
| relation.isAuthorOfPublication.latestForDiscovery | 7e1138f8-9132-40de-828e-bdfc13c013d9 | |
| theses.degree.discipline | Informatika a výpočetní technika | cs |
| theses.degree.grantor | katedra počítačů | cs |
| theses.degree.programme | Elektrotechnika a informatika | cs |