12 search results - page 1 / 3 » jurix 2008 |
JURIX
2008
13 years 6 months ago
2008
We present a model of past interaction trust model based on compliance of expected behaviours.
JURIX
2008
13 years 6 months ago
2008
Abstract. This paper provides a novel mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relatio...
JURIX
2008
13 years 6 months ago
2008
The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
JURIX
2008
13 years 6 months ago
2008
Abstract. In the AVERs sense-making tool for crime analysis different types of information are represented in different ways. More precisely, narrative knowledge is represented in ...
JURIX
2008
13 years 6 months ago
2008
This paper extends our previous logical analysis of presumptions and burden of proof by studying the force of a presumption once counterevidence has been offered. In the jurisprude...