Keynote talk by John F. Sowa
John F. Sowa spent thirty years working on R&D projects at IBM. He is a fellow of AAAI, a cofounder of VivoMind Research, LLC, and a fellow of Kyndi, Inc. With his colleagues at VivoMind and Kyndi, he has developed novel methods for using logic and ontology for reasoning and language understanding. The language of conceptual graphs, which he designed, has been adopted as one of the three dialects of the ISO standard 24707 for Common Logic.
John F. Sowa's bio and abstract of the talk.