Sciweavers

Share
12 search results - page 1 / 3
» jurix 2008
Sort
View
JURIX
2008
8 years 4 months ago
A Compliance Model of Trust
We present a model of past interaction trust model based on compliance of expected behaviours.
Guido Governatori, Subhasis Thakur, Duy Hoang Pham
JURIX
2008
8 years 4 months ago
An Algorithm for Business Process Compliance
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...
Guido Governatori, Antonino Rotolo
JURIX
2008
8 years 4 months ago
Formal Aspects of Legislative Meta-Drafting
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...
Carlo Biagioli, Davide Grossi
JURIX
2008
8 years 4 months ago
Representing narrative and testimonial knowledge in sense-making software for crime analysis
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 ...
Susan W. van den Braak, Herre van Oostendorp, Henr...
JURIX
2008
8 years 4 months ago
More on Presumptions and Burdens of Proof
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...
Henry Prakken, Giovanni Sartor
books