713 search results - page 54 / 143 » Viewcharts: Syntax and Semantics |
141
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
132
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
120
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
116
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics as an extension o...
121
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...