Sciweavers

70 search results - page 11 / 14
» Utilitarian Deontic Logic
Sort
View
IAT
2008
IEEE
14 years 2 months ago
Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...
Guillaume Piolle, Yves Demazeau
ECAI
2008
Springer
13 years 9 months ago
Addressing Temporal Aspects of Privacy-Related Norms
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
Guillaume Piolle, Yves Demazeau
WOLLIC
2009
Springer
14 years 2 months ago
: An Action-Based Logic for Reasoning about Contracts
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
Cristian Prisacariu, Gerardo Schneider
SYNTHESE
2008
79views more  SYNTHESE 2008»
13 years 7 months ago
Logical dynamics of some speech acts that affect obligations and preferences
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
Tomoyuki Yamada
ISMIS
2005
Springer
14 years 1 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