3032 search results - page 194 / 607 » Description Logic Rules |
VAMOS
2010
Springer
15 years 2 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
119
Voted
FUIN
2010
14 years 10 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
149
click to vote
ICLA
2011
Springer
14 years 4 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
109
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...