http://www.cs.uml.edu/Faculty/GiamPecelli.html
Artificial intelligence, uncertainty, symbolic computation