In this presentation I first review new developments of deontic logic in computer science, then I discuss the use of dynamic epistemic deontic logic to reason about privacy policies, and finally I discuss the use of modal logic for access control. This presentation is based on joint work with Guillaume Aucher, Guido Boella, Jan Broersen, Dov Gabbay and Valerio Genovese
Knowledge based privacy policies are more declarative than traditional action based ones, because th...
There is now an incredible wealth of data about individuals, businesses and organizations. This data...
Deontic logic deals with obligation, permission and related normative concepts. This textbook introd...
peer reviewedIn this presentation I first review new developments of deontic logic in computer scien...
6 pagesInternational audienceThe aim of the Coprelobri project (standing for " Computers and privacy...
This thesis studies the use of dynamic epistemic logics for the sake of information privacy. The cor...
International audienceThe aim of this study is to provide artificial agents with logical tools to re...
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information...
peer reviewedPrivacy policies are often defined in terms of permitted messages. Instead, in this pap...
(See also the separate entry for the volume itself.) This introduction has three parts. The first p...
The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model ...
AbstractThe primary objective of this paper is to present the definition of a new dynamic, linear an...
International audienceKnowledge based privacy policies are more declarative than traditional action ...
peer reviewedDefeasible deontic logic uses techniques from non-monotonic logic to address various ch...
Knowledge based privacy policies are more declarative than traditional action based ones, because th...
There is now an incredible wealth of data about individuals, businesses and organizations. This data...
Deontic logic deals with obligation, permission and related normative concepts. This textbook introd...
peer reviewedIn this presentation I first review new developments of deontic logic in computer scien...
6 pagesInternational audienceThe aim of the Coprelobri project (standing for " Computers and privacy...
This thesis studies the use of dynamic epistemic logics for the sake of information privacy. The cor...
International audienceThe aim of this study is to provide artificial agents with logical tools to re...
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information...
peer reviewedPrivacy policies are often defined in terms of permitted messages. Instead, in this pap...
(See also the separate entry for the volume itself.) This introduction has three parts. The first p...
The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model ...
AbstractThe primary objective of this paper is to present the definition of a new dynamic, linear an...
International audienceKnowledge based privacy policies are more declarative than traditional action ...
peer reviewedDefeasible deontic logic uses techniques from non-monotonic logic to address various ch...
Knowledge based privacy policies are more declarative than traditional action based ones, because th...
There is now an incredible wealth of data about individuals, businesses and organizations. This data...
Deontic logic deals with obligation, permission and related normative concepts. This textbook introd...
DOI
Add to ORKG