The logical way to be artificially intelligent (2006)

by R Kowalski
Venue:in Computational Logic in Multi-Agent Systems