The Logic and AI Blog

on how logic and modern AI may fruitfully interact