AI Seminars 2005

• Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning - 25/11/2005


• Assisting Scientific Discovery with an Adaptive Problem Solver - 28/10/2005


• Fast Planning with Macro-Operators - 7/10/2005


• Planning under Uncertainty: Going Forward - 7/10/2005


• Conditional Planning with Partial Observability - 23/9/2005


• The WITAS UAV Project - 23/9/2005


• Image Categorization Using Local Probabilistic Descriptors - 16/9/2005


• Towards using Grammatical Evolution to evolve complex behaviours Towards using Grammatical Evolution to evolve complex behaviours - 12/9/2005


• Statistical Learning in Application to the Recognition of the Lung Tissue Texture Patterns in HRCT Images - 12/8/2005


• A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems - 1/7/2005


• Building topological map with vision-based SLAM - 15/4/2005


• Spatial Cognition - An AI Perspective - 23/2/2005


• Planning with Loops - 22/2/2005


• The Global Cardinality Constraint - 11/2/2005