Robert Demolombe ONERA Toulouse Andrew J.I. Jones Department of Philosophy...  Home/Search
Context
Related
| math.uma.pt/jcc/publi...Robertdeon00.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: math.uma.pt/jcc/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the field of information systems the notion of constraint may be used for quite different kinds of statements. Here we apply deontic logic and doxastic logic to propose formal definitions for the different interpretations of these statements. In our analysis we distinguish practical constraints and deontic constraints; the latter are either obligations about the world or obligations about the correctness of the representation of the world. We also show that to check whether... (Update)
Active bibliography (related documents): More All
0.9: Database Validity and Completeness: Another Approach and Its.. - Demolombe (1999) (Correct)
0.2: Using Role-based Abstractions for Security Policy Specification.. - Ortalo (1997) (Correct)
0.2: A Logic of Graded Trust and Belief Fusion - Demolombe, Liau (Correct)
Similar documents based on text: More All
0.2: The Chisholm Paradox - van der Torre, Tan (Correct)
0.2: Rights, Duties and Commitments between Agents - van der Torre, Tan (1999) (Correct)
0.2: Deontic Modality, Lexical Aspect and the Semantics of Imperatives - Han (Correct)
BibTeX entry: (Update)
@inproceedings{ demolombe00application,
author = "R. Demolombe and A. Jones and J. Carmo",
title = "An Application of Deontic Logic to the Analysis of Information Systems Constraints",
booktitle = "Proc. Fifth International Workshop on Deontic Logic in Computer Science ({DEON}'00)",
publisher = "ONERA-DGA",
editor = "R. Demolombe and R. Hilpinen",
pages = "147--166",
year = "2000",
url = "citeseer.ist.psu.edu/467805.html" }
Citations (may not include all citations):343 Modal Logic: An introduction (context) - Chellas - 1988
28 What Should a Database Know (context) - Reiter - 1992
26 Applications of Deontic Logic in Computer Science: a concise.. - Wieringa, Meyer - 1991
19 Integrity checking in Deductive Databases (context) - Oliv'e - 1991
15 The Events Method for View Updating in Deductive Databases - Teniente, Oliv'e - 1992 ACM DBLP
12 Integrity checking in Deductive Databases (context) - Nicolas, Yazdanian - 1982 ACM DBLP
5 Integrity Constraints Revisited - Demolombe, Jones - 1996
4 Deontic Database Constraints and the Characterisation of Rec.. (context) - Carmo, Jones - 1994
4 the role of Deontic Logic in the characterization of normati.. (context) - Jones, Sergot - 1991
4 To trust information sources: a proposal for a modal logical.. (context) - Demolombe - 1998
2 Toward a uniform logical representation of different kinds o.. (context) - Demolombe, Jones et al. - 1997 ACM DBLP
1 Database validity and completeness: another approach and its.. - Demolombe - 1999
Documents on the same site (http://math.uma.pt/jcc/publications.html):
Action Concepts for Describing Organised Interaction - Filipe Santos Andrew (1997) (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