Sciweavers

DAGSTUHL
2007
14 years 29 days ago
Convergence of iterative aggregation/disaggregation methods based on splittings with cyclic iteration matrices
Iterative aggregation/disaggregation methods (IAD) belong to competitive tools for computation the characteristics of Markov chains as shown in some publications devoted to testing...
Ivo Marek, Ivana Pultarová, Petr Mayer
DAGSTUHL
2007
14 years 29 days ago
Three results on the PageRank vector: eigenstructure, sensitivity, and the derivative
The three results on the PageRank vector are preliminary but shed light on the eigenstructure of a PageRank modified Markov chain and what happens when changing the teleportation ...
David Gleich, Peter W. Glynn, Gene H. Golub, Chen ...
DAGSTUHL
2007
14 years 29 days ago
Choosing Your Beliefs
Abstract This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronte...
Guido Boella, Célia da Costa Pereira, Gabri...
DAGSTUHL
2007
14 years 29 days ago
Normtypologies
In this extended abstract I describe some norm typolgies developed within sociololgy and social philosophy. Using these typologies we can determine the bounderies of the different...
Harko Verhagen
DAGSTUHL
2007
14 years 29 days ago
Towards a General Framework for Modelling Roles
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
Valerio Genovese
DAGSTUHL
2007
14 years 29 days ago
Control Patterns in a Health Care Network
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...
Vera Kartseva, Joris Hulstijn, Jaap Gordijn, Yao-H...
DAGSTUHL
2007
14 years 29 days ago
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible
Guido Governatori, Antonino Rotolo
DAGSTUHL
2007
14 years 29 days ago
Designing Organizations: Towards a Model
The purpose of this paper is to draw a preliminary model of an ontology of organizations. The emphasis is on the structural aspects of organizations and the relations that these ha...
Emanuele Bottazzi, Roberta Ferrario, Claudio Masol...
DAGSTUHL
2007
14 years 29 days ago
Expressing and Verifying Business Contracts with Abductive Logic Programming
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
DAGSTUHL
2007
14 years 29 days ago
Graph matching with type constraints on nodes and edges
Abstract. In this paper, we consider two particular problems of directed graph matching. The first problem concerns graphs with nodes that have been subdivided into classes of di...
Catherine Fraikin, Paul Van Dooren