Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections time2020 invitedtalk 67 views You may also like 48:30 Applied Ontology and Conceptual Modeling – Giancarlo Guizzardi 147 views bosk2021,esao2021 invitedtalk 57:05 Automating Commonsense Reasoning – Where Do We Stand? – Ernie Davis 12 views bosk2021,cbi2021 invitedtalk 35:53 The Design and Implementation of Data Distribution Systems – Cesar A. Hildago 8 views bosk2021,cbi2021 invitedtalk 38:36 Events as qualitative changes – Nicola Guarino 9 views bosk2021,fois2021 invitedtalk 01:13:40 Mapping Patterns for Virtual Knowledge Graphs – Diego Calvanese 27 views bosk2021,iccs2021 invitedtalk 01:03:07 Reconciling knowledge-based and data-driven AI for human-in-the-loop machine learning – Ute Schmid 14 views bosk2021,iccs2021 invitedtalk 48:02 All Together Now: Piecing Together the Knowledge Graph of Life – Chris Mungall 15 views bosk2021,icbo2021 invitedtalk 22:53 The Human Behaviour-Change Project and the Behaviour Change Intervention Ontology – Susan Michie 6 views bosk2021,icbo2021,ontobess2021 invitedtalk 40:00 SNOMED CT x BFO: can the gap between legacy terminology and foundational ontology be bridged? – Stefan Schulz 15 views bosk2021,fois2021,icbo2021 invitedtalk 54:08 Stefan Schulz. SNOMED CT x BFO: can the gap between legacy terminology and foundational ontology be bridged? [uncut] 3 views bosk2021 invitedtalk 123…7»Page 1 of 7
![Stefan Schulz. SNOMED CT x BFO: can the gap between legacy terminology and foundational ontology be bridged? [uncut]](https://summerofknowledge.inf.unibz.it/wp-content/uploads/2021/09/ICBO-FOIS-2021-20210916-keynote-Stefan-Schulz_uncut-300x188.png)