Omezující podmínky v plánování

This thesis deals with planning problems and Boolean satisfiability problems that represent major challenges for artificial intelligence. Planning problems are stated as finding a sequence of actions that reaches certain goal. One of the most successful techniques for solving planning problems is a...

Full description

Bibliographic Details
Main Author: Surynek, Pavel
Other Authors: Barták, Roman
Format: Doctoral Thesis
Language:English
Published: 2008
Online Access:http://www.nusl.cz/ntk/nusl-354523