Sciweavers

5 search results - page 1 / 1
» Roles, Counts-as and Deontic and Action Logics
Sort
View
DEON
2004
Springer
14 years 26 days ago
Delegation in a Role-Based Organization
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...
Olga Pacheco, Filipe Santos
EMISA
2004
Springer
14 years 26 days ago
A Deontic Logic for Group-Oriented Web Information Systems
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
Klaus-Dieter Schewe, Bernhard Thalheim, Roland Kas...
ICAIL
2003
ACM
14 years 22 days ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
GLOBECOM
2008
IEEE
13 years 7 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...