{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:18:19Z","timestamp":1725459499717},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035653","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:29:25Z","timestamp":1138184965000},"page":"614-620","source":"Crossref","is-referenced-by-count":0,"title":["Toward a uniform logical representation of different kinds of integrity constraints"],"prefix":"10.1007","author":[{"given":"Robert","family":"Demolombe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew J. I.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose","family":"Carmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"46_CR1","unstructured":"J. Carmo and A.J.I. Jones. Deontic Database Constraints and the Characterisation of Recovery. In A.J.I.Jones and M.Sergot, editors, 2nd Int. Workshop on Deontic Logic in Computer Science, pages 56\u201385. Tano A.S., 1994."},{"key":"46_CR2","unstructured":"B. F. Chellas. Modal Logic: An introduction. Cambridge University Press, 1988."},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"R. Demolombe and A.J.I. Jones. Integrity Constraints Revisited. Journal of the Interest Group in Pure and Applied Logics, 4(3), 1996.","DOI":"10.1093\/jigpal\/4.3.369"},{"key":"46_CR4","unstructured":"A.J.I. Jones and M. Sergot. On the role of Deontic Logic in the characterization of normative sytems. In J-J. Meyer and R.J. Wieringa, editors, Proc. First Int. Workshop on Deontic Logic in Computer Science, 1991."},{"key":"46_CR5","unstructured":"J-M. Nicolas and K. Yazdanian. Integrity checking in Deductive Databases. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum, 1982."},{"key":"46_CR6","unstructured":"A. Oliv\u00e9. Integrity checking in Deductive Databases. In 17th Int. Conf. on Very Large Data Bases, 1991."},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"R. Reiter. What Should a Database Know? Journal of Logic Programming, 14(2,3), 1992.","DOI":"10.1016\/0743-1066(92)90049-9"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"E. Teniente and A. Oliv\u00e9. The Events Method for View Updating in Deductive Databases. In Int. Conf. on Extending Data Base Technology, 1992.","DOI":"10.1007\/BFb0032435"},{"key":"46_CR9","unstructured":"R.J. Wieringa and J-J. Meyer. Applications of Deontic Logic in Computer Science: a concise overview. In J-J. Meyer and R.J. Wieringa, editors, Proc. First Int. Workshop on Deontic Logic in Computer Science, 1991."}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:40:12Z","timestamp":1555411212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0035653","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}