Hledat
Zobrazují se záznamy 1-2 z 2
Transformation of Logic Programs
Transformace logických programů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2008
Datum obhajoby: 30. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This paper is a contribution to improving computational e fficiency of de nite Prolog programs using Unfold/Fold (U/F) strategy with homeomorphic embedding as a control heuristic. Unfold/Fold strategy is an alternative to ...
Constraint Programming in Planning
Omezující podmínky v plánování
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2008
Datum obhajoby: 30. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...