One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov time2020 contributedtalk 155 views You may also like 15:35 NAct: The Nutrition & Activity Ontology for Healthy Living – Dorothea Tsatsou 5 views bosk2021,fois2021 contributedtalk 15:16 A Commonsense Theory of Secrets – Merna Shafie 7 views bosk2021,fois2021 contributedtalk 14:39 Towards an An Ontology of Representation – Riichiro Mizoguchi 5 views bosk2021,fois2021 contributedtalk 14:10 The Mereological Structure of Informational Entities – Adrien Barton 4 views bosk2021,fois2021 contributedtalk 16:15 Pluralities, Collectives, and Composites – Laure Vieu 7 views bosk2021,fois2021 contributedtalk 1:07:46 IFOW 2021 – Food Monitoring and Production Applications 3 views bosk2021,icbo2021,ifow2021,jowo2021 contributedtalk,session 1:42:01 IFOW 2021 – Diet and Nutrition Ontology 9 views bosk2021,icbo2021,ifow2021,jowo2021 contributedtalk,session 1:37:59 IFOW 2021 – Agricultural Applications 7 views bosk2021,icbo2021,ifow2021,jowo2021 contributedtalk,session 22:51 Quantifying the Conceptual Error in Dimensionality Reduction – Johannes Hirth 3 views bosk2021,iccs2021 contributedtalk 21:09 A Semantic-Based Approach for Assessing the Impact of Cyber-Physical Attacks: a Healthcare Infrastructure Use Case – Fatma-Zohra Hannou 9 views bosk2021,iccs2021 contributedtalk «12345…13»Page 3 of 13
