Hledat
Zobrazují se záznamy 1-9 z 9
Learning for Classical Planning
Learning for Classical Planning
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2009
Datum obhajoby: 25. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is mainly about classical planning for artificial intelligence (AI). In planning, we deal with searching for a sequence of actions that changes the environment from a given initial state to a goal state. Planning ...
Subgraphs of Hypercubes - Embeddings with Restrictions or Prescriptions
Subgraphs of Hypercubes - Embeddings with Restrictions or Prescriptions
Dizertační práce (OBHÁJENO)
Vedoucí práce: Koubek, Václav
Datum publikování: 2006
Datum obhajoby: 04. 10. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
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 ...
Global Constraints in Scheduling
Globalni podminky v rozvrhovani
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2007
Datum obhajoby: 22. 08. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this place, I would like to say my best thanks to everyone who supported me in my work and helped me along my whole Ph.D. study. First of all I owe a major debt to my supervisor Doc. RNDr. Roman Barták, Ph.D. for his ...
Ultrafilters and Small Sets
Ultrafiltry a malé série
Dizertační práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2006
Datum obhajoby: 28. 04. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Interval Representations of Boolean Functions
Intervalové reprezentace booleovských funkcí
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2007
Datum obhajoby: 22. 08. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is dedicated to a research concerning representations of Boolean functions. We present the concept of a representation using intervals of integers. Boolean function f is represented by set I of intervals, if ...
Verefication of Mathematical Proofs
Verefication of Mathematical Proofs
Dizertační práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2007
Datum obhajoby: 07. 03. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjectures using computer programs (usually called automated theorem provers). We address several issues that are important for a ...
Structure of Submodels.Diagonal Indiscernibility in Models of Arithmetics.
Structure of Submodels.Diagonal Indiscernibility in Models of Arithmetics.
Dizertační práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2007
Datum obhajoby: 06. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
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 ...