Laurence Cholvy, Frederic Cuppens  Home/Search
Context Related
| cert.fr/francais/deri/cholv...deon98.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cert.fr/francais/deri/chol...page (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It often happens that several different regulations apply to a given organization. And sometimes, these regulations are conflicting, that is, for instance, one regulation says that it is forbidden to do some action while another says it is permitted to do the same action. In this paper, we present a logic, called FUSION, to reason when several regulations are merged together. Our approach is to solve the conflicts by giving an order of priority between the regulations to be merged. We... (Update)
Context of citations to this paper: More
...raisonner avec des r eglementations incoh erentes. Ces deux probl emes viennent apr es celui de la d etection de l incoh erence. [10, 20, 15, 8, 6, 18, 5]. 2 Expression des r eglementa tions Notons L un langage du premier ordre qui a, entre autres, un symbole de pr edicat...
...legal rules. These two problems come after it has been proved that a regulation is not consistent [7] 18] 12] 4] 16] [2]. 2 Expressing regulations Let us note L, a first order language in which there is an unary function symbol denoted not, an unary predicate...
Cited by: More
Multiplex Semantics For Deontic Logic - Lou Goble This (Correct)
Merging Security Policies: Analysis of a Practical.. - Cuppens, Cholvy.. (1998) (Correct)
A Conservative Approach to Distributed Belief Fusion - Liau (2000) (Correct)
Similar documents (at the sentence level):
75.2%: Reasoning about Norms Provided by Conflicting Regulations - Cholvy, Cuppens (1998) (Correct)
8.2%: A General Framework for Reasoning About Contradictory Information .. - Cholvy (1998) (Correct)
Active bibliography (related documents): More All
0.5: Une application de la SOL-résolution : vérifier la.. - Cholvy (1997) (Correct)
0.5: An application of SOL-resolution: checking regulation consistency - Cholvy (1997) (Correct)
0.3: Information Fusion in Logic: A Brief Overview - Cholvy, Hunter (1997) (Correct)
Similar documents based on text: More All
0.6: Analyzing Consistency of Security Policies - Cholvy, Cuppens (1997) (Correct)
0.5: Solving Normative Conflicts by Merging Roles - Laurence Cholvy Fr'ed'eric (1995) (Correct)
0.5: Providing Consistent Views in a Polyinstantiated Database - Cholvy, Cuppens (1994) (Correct)
Related documents from co-citation: More All
4: Cambridge University Press (context) - Chellas, An - 1980
2: Deontic logic: A concise overview (context) - Ch, Wieringa
2: Checking an expert system knowledge base for consistency and completeness (context) - Nguyen, Pekins et al. - 1985
BibTeX entry: (Update)
L. Cholvy and F. Cuppens. Reasoning about norms provided by conflicting regulations. In Proceedings of DEON, Bologna, january 1998. http://citeseer.ist.psu.edu/cholvy98reasoning.html More
@incollection{ cholvy98reasoning,
author = "Laurence Cholvy and F. Cuppens",
title = "Reasoning about Norms Provided by Conflicting Regulations",
booktitle = "Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science",
publisher = "IOS Press",
address = "Amsterdam",
editor = "Henry Prakken and Paul McNamara",
pages = "247--264",
year = "1998",
url = "citeseer.ist.psu.edu/cholvy98reasoning.html" }
Citations (may not include all citations):203 An introduction to modal logic (context) - Hughes, Cresswell - 1972
156 Propositional knowledge base revision and minimal change (context) - Katsuno, Mendelzon - 1991
113 Cambridge University Press (context) - Chellas, an - 1980
22 Defeasible deontic reasoning (context) - McCarty - 1992
15 Proving theorems in a multi-sources environment (context) - Cholvy - 1993
14 Defeasible deontic reasoning : a logic programming model (context) - Ryu, Lee - 1991
14 defeasibility and violability (context) - Prakken, Sergot - 1994
12 Specifying a security policy: A case study - Cuppens, Saurel - 1996
11 Consequence-finding based on ordered linear resolution (context) - Inoue - 1991
8 Solving normative conflicts by merging roles - Cholvy, Cuppens - 1995
8 Violated obligations in a defeasible deontic logic - Van der Torre - 1994
5 A logical approach to multi-sources reasoning (context) - Cholvy - 1992
4 Moral dilemnas and nonmotonic logic (context) - Horty - 1991
3 An application of sol-deduction : checking regulation consis.. (context) - Cholvy - 1997
3 Analysing consistency of security policies (context) - Cholvy, Cuppens - 1997
2 Two appraches to defeasible reasoning (context) - Prakken - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cert.fr/francais/deri/cholvy/page.html): More
A General Framework for Reasoning About Contradictory Information .. - Cholvy (1998) (Correct)
Applying Theory of Evidence in multisensor data fusion: a logical .. - Cholvy (2000) (Correct)
Collective Obligations, Commitments and Individual.. - Cholvy, Garion (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC