3793 search results - page 124 / 759 » Expressive Description Logics |
118
click to vote
LOGCOM
2010
15 years 2 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
130
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
160
click to vote
APAL
2004
15 years 4 months ago
2004
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...
146
click to vote
FORTE
2010
15 years 5 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
166
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...