This theme has been coming for a while, and some famous pioneers are chapter authors, but we can now see a broader systematic area emerging in the sum of topics and results. As a logician, I nd this intriguing, since I see AI as ‘logic continued by other means’, reminding us of broader views of what my discipline is about.