Akademický pracovník na Matematicko-fyzikální fakulta, Pedagogická fakulta
Studijní programy
Předměty
- Seminář z umělé inteligence 1NAIL004 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence 2NAIL052 | Matematicko-fyzikální fakulta
- Umělá inteligence 1NAIL069 | Matematicko-fyzikální fakulta
- Plánování a rozvrhováníNAIL071 | Matematicko-fyzikální fakulta
- Úvod do umělé inteligence +1NAIL113 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence INAIX004 | Matematicko-fyzikální fakulta
- Seminář z umělé inteligence IINAIX052 | Matematicko-fyzikální fakulta
- Umělá inteligence INAIX069 | Matematicko-fyzikální fakulta
- Programování s omezujícími podmínkami +1NOPT042 | Matematicko-fyzikální fakulta
- Umělá inteligence 2NAIL070 | Matematicko-fyzikální fakulta
Publikace
- HISTORY-DRIVEN TEMPLATE GENERATION IN INDUCTIVE LOGIC PROGRAMMING2012 | Matematicko-fyzikální fakulta
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | Matematicko-fyzikální fakulta
- FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners +12012 | Matematicko-fyzikální fakulta
- Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2012 | Matematicko-fyzikální fakulta
- Constraint satisfaction for planning and scheduling problems2011 | Matematicko-fyzikální fakulta
- Paralelní plánování jako problém splňování podmínek2011 | Matematicko-fyzikální fakulta
- Encoding HTN Planning as a Dynamic CSP2005 | Matematicko-fyzikální fakulta
- Limited Assignments: A New Cutoff Strategy for Incomplete Depth First Search2005 | Matematicko-fyzikální fakulta
- Constraint Satisfaction for Planning and Scheduling +12005 | Matematicko-fyzikální fakulta
- COPLAS 2011: Constraint Satisfaction Techniques for Planning and Scheduling ProblemsPublikace bez příslušnosti k fakultě
Loading network view...