Topics in Cognitive Science, Volume 14, Issue 1, Page 4-5, January 2022.

Topics in Cognitive Science, Volume 14, Issue 3, Page 430-431, July 2022.

Since the early days of artificial intelligence (AI), many logics have been explored as tools for knowledge representation and reasoning. In the spirit of the Crossley Festscrift and recognizing John Crossley’s diverse interests and his legacy in both mathematical logic and computer science, I discuss examples from my own research that sit in the overlap of logic and AI, with a focus on supporting human–AI interactions.