One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov time2020 contributedtalk 297 views You may also like 21:15 Conceptual schemas and ontologies for data access: myths and challenges – Enrico Franconi 7 views bosk2021,esao2021 contributedtalk 12:50 Standpoint Logic: Multi-Perspective Knowledge Representation – Lucía Gómez Álvarez 22 views bosk2021,fois2021 contributedtalk 13:30 An Ontology for Formal Models of Kinship – Carmen Chui 9 views bosk2021,fois2021 contributedtalk 14:20 Towards Formalisation of Concept Descriptions and Constraints – Matt Selway 2 views bosk2021,fois2021 contributedtalk 14:29 An Analysis of Commitments in Ontology Language Design – C. Maria Keet 15 views bosk2021,fois2021 contributedtalk 14:29 The Computer Program as a Functional Whole – C. Maria Keet 5 views bosk2021,fois2021 contributedtalk 15:02 Towards a Unified Dispositional Framework for Realizable Entities – Fumiaki Toyoshima 8 views bosk2021,fois2021 contributedtalk 14:44 Foundations for Ontology of Persistence: Beyond Talk of Temporal Parts – Fumiaki Toyoshima 18 views bosk2021,fois2021 contributedtalk 16:42 Ontological Analysis and Modularization of CIDOC-CRM – Emilio Sanfilippo 19 views bosk2021,fois2021 contributedtalk 15:29 Capturing the Basics of the GDPR in a Well-Founded Legal Domain Modular Ontology – Mirna El Ghosh 6 views bosk2021,fois2021 contributedtalk «1234…13»Page 2 of 13