[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 …
[引用][C] An Agent-based Architecture to Support Adaptivity in Virtual Learning Environments Based on Learners' Learning Styles
M Al-Omari - 2017 - De Montfort University