[PDF][PDF] Interval temporal logic
A Cau, B Moszkowski, H Zedan - URL: http://www. cms. dmu. ac …, 2006 - antonio-cau.co.uk
Abstract Interval Temporal Logic (ITL) is a flexible notation for both propositional and first-
order reasoning about periods of time found in descriptions of hardware and software …
order reasoning about periods of time found in descriptions of hardware and software …
A hybrid approach based on fuzzy topsis-ahp for ranking and classifying mooc key acceptance factors
This investigation is done during COVID-19 to identify, rank, and classify MOOC (massive
open online course) key acceptance factors (KAFs) from an Indian perspective. A systematic …
open online course) key acceptance factors (KAFs) from an Indian perspective. A systematic …
[引用][C] Policy-based Runtime Tracking for E-learning Environments
TMK Alghamdi - 2013 - De Montfort University