Sciweavers

14331 search results - page 5 / 2867
» On the modeling and analysis of obligations
Sort
View
80
Voted
AAAI
1998
15 years 1 months ago
The Temporal Analysis of Chisholm's Paradox
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
Leendert W. N. van der Torre, Yao-Hua Tan
ER
1998
Springer
147views Database» more  ER 1998»
15 years 3 months ago
An Active Conceptual Model for Fixed Income Securities Analysis for Multiple Financial Institutions
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
Allen Moulton, Stéphane Bressan, Stuart E. ...
ATAL
2009
Springer
15 years 23 days ago
Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies
Obligations can apply to individuals, either severally or collectively. When applied severally, each individual or member of a team is independently responsible to fulfill the obli...
Jurriaan van Diggelen, Jeffrey M. Bradshaw, Matthe...
75
Voted
DEON
2004
Springer
15 years 5 months ago
On Obligations and Abilities
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
Wojciech Jamroga, Wiebe van der Hoek, Michael Wool...
KBSE
2007
IEEE
15 years 6 months ago
Extracting rights and obligations from regulations: toward a tool-supported process
Security, privacy and governance are increasingly the focus of government regulations in the U.S., Europe and elsewhere. This trend has created a “regulation compliance” probl...
Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breau...