Search Results - "temporal extension of descriptive logic"
Suggested Topics within your search.
Suggested Topics within your search.
- Time ontology 1
- UDC 004.94 1
- process model 1
- tabular interpretation of temporal operators; time domain; checking model; defining the dynamics of the web service; linear temporal logic 1
- temporal extension of descriptive logic 1
- УДК 004.94 1
- лінійна темпоральна логіка 1
- онтології часу 1
- опис динаміки веб-сервісу 1
- перевірка моделі сервісу 1
- процесна модель веб-сервісу 1
- таблична інтерпретація темпоральних операторів 1
- темпоральне розширення дескриптивної логіки 1
- темпоральні оператори 1
- часовий домен 1
-
1