Applications of Artificial Intelligence to Scientific Reasoning