Baader

The invited talks presented at the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning included Ontology-Based Monitoring of Dynamic Systems by Franz Baader, Knowledge Representation Meets Computer Vision: From Pixels to Symbolic Activity Descriptions by Tony Cohn, Datalog /–: Questions and Answers by Georg Gottlob, and Situation Calculus: The Last 15 Years by Sheila McIlraith.