Abstract
There have been two major efforts at a synthesis of logic and artificial intelligence, one building on the other. I will review these and argue that yet another addition is needed.
Get full access to this article
View all access options for this article.