CMU Model Checking home
Formal Methods Library
The Formal Methods Around the World
Intelligent Agents Project IBM
Abductive and Inductive Logic Programming