Tag Archives: artificial intelligence

4th January 2010 – Reasoning Machines

Dr Louise Dennis‘s background is in artificial intelligence and, more specifically, in automated reasoning. Over the years she has worked primarily on the development of automated reasoning and theorem-proving tools. Wouldn’t it be better if a bunch of satellites could … Continue reading

Posted in 2010, monthly_meeting | Tagged ,