564 search results - page 39 / 113 » Some Results on the Expressive Power and Complexity of LSCs |
197
click to vote
SEBD
2001
15 years 7 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 ...
152
click to vote
MFCS
2005
Springer
15 years 11 months ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
166
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...
171
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
147
click to vote
ICDT
2007
ACM
16 years 8 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...