Michael M. Richter Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation. 31-33 2000 28 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai28.html#Richter00