Tag Archives: artificial intelligence

4th January 2010 – Reasoning Machines

Posted on January 4, 2010 by

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 ,