Academic staff at Faculty of Mathematics and Physics, Faculty of Education
Study programmes
Classes
- Seminar on Artificial Intelligence 1NAIL004 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence 2NAIL052 | Faculty of Mathematics and Physics
- Artificial Intelligence 1NAIL069 | Faculty of Mathematics and Physics
- Planning and SchedulingNAIL071 | Faculty of Mathematics and Physics
- Introduction to Artificial Intelligence +1NAIL113 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence INAIX004 | Faculty of Mathematics and Physics
- Seminar on Artificial Intelligence IINAIX052 | Faculty of Mathematics and Physics
- Artificial Intelligence INAIX069 | Faculty of Mathematics and Physics
- Constraint Programming +1NOPT042 | Faculty of Mathematics and Physics
- Artificial Intelligence 2NAIL070 | Faculty of Mathematics and Physics
Publications
- HISTORY-DRIVEN TEMPLATE GENERATION IN INDUCTIVE LOGIC PROGRAMMING2012 | Faculty of Mathematics and Physics
- Automated Verification of Constraints in Nested Workflows2012 | Faculty of Mathematics and Physics
- FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners +12012 | Faculty of Mathematics and Physics
- Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming2012 | Faculty of Mathematics and Physics
- Constraint satisfaction for planning and scheduling problems2011 | Faculty of Mathematics and Physics
- Parallel Planning as a Constraint Satisfaction Problem2011 | Faculty of Mathematics and Physics
- Encoding HTN Planning as a Dynamic CSP +12005 | Faculty of Mathematics and Physics
- Limited Assignments: A New Cutoff Strategy for Incomplete Depth First Search +12005 | Faculty of Mathematics and Physics
- Constraint Satisfaction for Planning and Scheduling +22005 | Faculty of Mathematics and Physics
- COPLAS 2011: Constraint Satisfaction Techniques for Planning and Scheduling ProblemsPublication without faculty affiliation
Loading network view...