Sciweavers

14331 search results - page 11 / 2867
» On the modeling and analysis of obligations
Sort
View
104
Voted
RULEML
2010
Springer
14 years 10 months ago
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
 The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  ...
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadi...
JAPLL
2011
108views more  JAPLL 2011»
14 years 6 months ago
A deontic logic framework allowing for factual detachment
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
Christian Straßer
ACOM
2006
Springer
15 years 5 months ago
Using Social Commitments to Control the Agents' Freedom of Speech
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
Guillaume Muller, Laurent Vercouter
ISMIS
2005
Springer
15 years 5 months ago
The Chisholm Paradox and the Situation Calculus
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
Robert Demolombe, Maria del Pilar Pozos Parra
LORI
2009
Springer
15 years 6 months ago
Dynamic Context Logic
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
Guillaume Aucher, Davide Grossi, Andreas Herzig, E...