Home > Search Results: Kažimír, Marián
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 1 records found  Search took 0.00 seconds. 
Using Constrained Horn Clauses for Hierarchical Planning
 Kažimír, Marián ; Blicha, Martin (advisor) ; Pantůčková, Kristýna (referee)
Title: Using Constrained Horn Clauses for Hierarchical Planning Author: Marián Kažimír Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Martin Blicha, Department of Distributed and Dependable System Abstract: HTN planning is a popular approach to modelling planning problems. The goal of this project is to implement a HTN solver based on translating the planning problem to a reachability problem in a transition system and using off-the-shelf reachability solver for the actual solving. Keywords: Hierarchical Task Networks Planning problem Solver Transition sys- tem Constrained Horn Clauses
Detailed record

See also: similar author names
4 Kažimír, Miroslav
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English