Works by José Carmo

( view other items matching `José Carmo`, view all matches )
Order:
Disambiguations
José Carmo [3]Jose' Carmo [1]
  1. Deontic Logic, Agency and Normative Systems.Mark Brown & Jose' Carmo (eds.) - 1996 - Berlin: Springer-Verlag.
     
    Export citation  
     
    Bookmark   7 citations  
  2.  41
    Deontic database constraints, violation and recovery.José Carmo & Andrew J. I. Jones - 1996 - Studia Logica 57 (1):139 - 165.
    The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations