3970 search results - page 665 / 794 » A Logic For Causal Reasoning |
119
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
149
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
136
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
119
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
125
click to vote
DSOM
2004
Springer
15 years 9 months ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...