Akademický pracovník na Matematicko-fyzikální fakulta, Pedagogická fakulta
Studijní programy
Předměty
- Programování s omezujícími podmínkami +1NOPT042 | Matematicko-fyzikální fakulta
- 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
- Umělá inteligence 2NAIL070 | 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
Publikace
- MAK(E) - A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises2012 | Matematicko-fyzikální fakulta
- HISTORY-DRIVEN TEMPLATE GENERATION IN INDUCTIVE LOGIC PROGRAMMING2012 | Matematicko-fyzikální fakulta
- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms2012 | Matematicko-fyzikální fakulta
- Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2012 | Matematicko-fyzikální fakulta
- Modelling and Solving Scheduling Problems using Constraint Programming2011 | Matematicko-fyzikální fakulta
- Towards Routing for Autonomous Robots: Using Constraint Programming in an Anytime Path Planner2011 | Matematicko-fyzikální fakulta
- History of Constraint Programming2011 | Matematicko-fyzikální fakulta
- Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement2011 | Matematicko-fyzikální fakulta
- On Generating Templates for Hypothesis in Inductive Logic Programming2011 | Matematicko-fyzikální fakulta
- Plánování efektivního přenos dat mezi počítači pro datově náročné aplikace použitím technik splňování podmínek2010 | Matematicko-fyzikální fakulta
Loading network view...