Postdoc

• Introductory talk
• Final activity report

Software tools

Robot simulators

• Player-stage simulator
• Rossum project
• USARSim

POMDP solvers

• SPUDD
• Symbolic Perseus
• Markov Decision Processes (MDP) Toolbox

Tools for artificial intelligence

• AISpace: Tools for Learning Artificial Intelligence
• Weka 3: Data Mining Software in Java
• ARB-1.0: Tool for Learning Bayesian Nets (propietary)
  
• CLIPS: A Tool for Building Expert Systems
• OpenMarkov
• SWI Prolog

Auxiliary tools

• Freemind: freemind mapping software
• The SeaMonkey^® Project
• SSH Secure Shell Client