8 search results - page 1 / 2 » ruleml 2010 |
RULEML
2010
Springer
13 years 3 months ago
2010
Springer
RULEML
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the a...
RULEML
2010
Springer
13 years 3 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
RULEML
2010
Springer
13 years 3 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
RULEML
2010
Springer
13 years 3 months ago
2010
Springer
Semantic Web services achieve effects in the world through Web services, so the mechanism connecting the ontological representations of services with the on-the-wire messages—th...