258 search results - page 15 / 52 » Hybrid Logics on Linear Structures: Expressivity and Complex... |
116
click to vote
LFCS
2007
Springer
15 years 5 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
CONCUR
1998
Springer
15 years 3 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
163
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
106
click to vote
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
125
click to vote
SEBD
2001
15 years 1 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...