Affiliation:
1. The University of Melbourne, Australia For the 85th birthday of John N. Crossley
Abstract
AbstractSince 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.
Publisher
Oxford University Press (OUP)