| Yuxiao
(Toby) Hu Ph.D. Student Toronto, Ontario M5S 3G4, Canada
|
 |
Teaching
- Winter 2009:
- CSC258 Computer Organization
- Fall 2009:
Courses
- Fall 2007:
- CSC2515 Introduction to machine learning
- CSC2404 Computability and logic (audit)
- Summer 2007:
- PSY270 Introduction to cognitive psychology (audit)
- ELWS Task based skills
- Spring 2007:
- CSC2405 Automata theory
- CSC2411 Linear programming and combinatorial optimization
- CSC2512 Constraint satisfaction problems.
Downloads
- A generic framework and solver for synthesizing finite-state controllers and slides.
- A video of an plan found by FSAPLANNER for the towers of Hanoi problem and its executing on three disks.
- Generalized planning: synthesizing plans that work for multiple environments and slides.
- High-level introduction to generation and verification of plans with loops.
- A correctness result for reasoning about one-dimensional planning problems and slides. Here is a shorter, 6-page version and the corresponding slides.
- Planning with loops: some new results and slides.
- Depth paper on iterative planning
and slides.
- FSAPLANNER, a variant of Levesque's KPLANNER.
- Temporally-expressive
planning as constraint satisfaction problems,
draft slides, and code for running example.
- A
situation-calculus semantics for an expressive fragment of PDDL
and corresponding slides.
- A declarative semantics for
a subset of PDDL with time and concurrency
and slides.
TAships
- Summer 2008:
- CSC148 Introduction to Computer Science
- Spring 2008:
- CSC258 Computer organization
- Fall 2007:
- CSC258 Computer organization
- Summer 2007:
- CSC236 Introduction to the theory of computation
- Spring 2007:
- CSC258 Computer organization
Readings in Progress
- In search of something
- Books for "fun"
- Gödel, Escher, Bach by Douglas R. Hofstadter
- The emotion machine by Marvin Minsky
- Minds and machines
edited by Alan R. Anderson