{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:36Z","timestamp":1725663936309},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540090"},{"type":"electronic","value":"9783540473480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54009-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:23:28Z","timestamp":1330208608000},"page":"89-103","source":"Crossref","is-referenced-by-count":3,"title":["Actor-oriented specification of deontic integrity constraints"],"prefix":"10.1007","author":[{"given":"R. J.","family":"Wieringa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. -J. Ch","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","volume":"5","author":"S. Abiteboul","year":"1990","unstructured":"Abiteboul, S., \u201cTowards a Deductive Object-Oriented Database Language,\u201d Data and Knowledge Engineering 5, pp. 263\u2013287 (1990).","journal-title":"Data and Knowledge Engineering"},{"key":"7_CR2","unstructured":"al-Hibri, A., Deontic Logic, University Press of America (1978)."},{"key":"7_CR3","unstructured":"Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D., and Zdonik, S., \u201cThe Object-Oriented Database System Manifesto,\u201d pp. 40\u201357 in Proceedings, The First International Conference on Deductive and Object-Oriented Databases, ed. W. Kim J.-M. Nicolas S. Nisho, Kyoto (december 4\u20136, 1989)."},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"Beeri, C., \u201cA Formal Approach to Object-Oriented Databases,\u201d Data and Knowledge Engineering 5, pp. 353\u2013382 (1990).","journal-title":"Data and Knowledge Engineering"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Casta\u00f1eda, H.-N., \u201cThe Paradoxes of Deontic Logic,\u201d in New Studies in Deontic Logic, ed. R. Hilpinen, Reidel (1981).","DOI":"10.1007\/978-94-009-8484-4"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Dignum, F.P.M. and Meyer, J.-J.Ch., \u201cNegations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints,\u201d pp. 61\u201380 in Semantics for Concurrency, ed. M.Z. Kwiatkowska, M.W. Shields, and R.M. Thomas, Springer (1990).","DOI":"10.1007\/978-1-4471-3860-0_5"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Ehrich, H.-D., Sernadas, A., and Sernadas, C., \u201cObjects, Object Types, and Object Identification,\u201d pp. 142\u2013156 in Categorical Methods in Computer Science, ed. H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preu\u00df, Springer (1987). Lecture Notes in Computer Science 393.","DOI":"10.1007\/3-540-51722-7_9"},{"key":"7_CR8","unstructured":"Ehrig, H. and Mahr, B., Fundamentals of Algebraic Specification 1. Equations and Initial Semantics, Springer (1985). EATCS Monographs on Theoretical Computer Science, Vol. 6."},{"key":"7_CR9","unstructured":"Fiadeiro, J. and Maibaum, T., \u201cTemporal Reasoning over Deontic Specifications,\u201d Technical Report, Department of Computing, Imperial College (1989)."},{"key":"7_CR10","unstructured":"F\u00f8llesdal, D. and Hilpinen, R., \u201cDeontic Logic: An Introduction,\u201d pp. 1\u201335 in Deontic Logic: Introductory and Systematic Readings, ed. R. Hilpinen, Reidel (1981)."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Jouannaud, J.-P., and Meseguer, J., \u201cOperational Semantics for Order-Sorted Algebra,\u201d pp. 221\u2013231 in 12th International Coloquium on Automata, Languages and Programming, ed. W. Brauer, Springer Lecture Notes in Computer Science 194 (1985).","DOI":"10.1007\/BFb0015747"},{"key":"7_CR12","unstructured":"Goguen, J.A. and Meseguer, J., Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations, Programming Research Group, Oxford, and SRI International, Menlo Park (June 19, 1989)."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Harel, D., \u201cDynamic Logic,\u201d pp. 497\u2013604 in Handbook of Philosophical Logic II, ed. D.M. Gabbay and F. Guenthner, Reidel (1984).","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Hilpinen, R., \u201cConditionals in Possible Worlds,\u201d pp. 299\u2013335 in Contemporary Philosophy, a New Survey, ed. G. Fl\u00f8stad, Reidel.","DOI":"10.1007\/978-94-009-8356-4_12"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"7_CR16","series-title":"Technical Report","volume-title":"Explicating Some Issues in Implicit Knowledge","author":"W. Hoek van der","year":"1990","unstructured":"Hoek, W. van der and Meyer, J.J.Ch., \u201cExplicating Some Issues in Implicit Knowledge,\u201d Technical Report IR-222, Department of Mathematics and Computer science, Vrije Universiteit, Amsterdam (September 1990)."},{"key":"7_CR17","unstructured":"Jackson, M., System Development, Prentice-Hall (1983)."},{"key":"7_CR18","unstructured":"Kalinowski, G., Einf\u00fchrung in die Normenlogik, Athen\u00e4um Press (1972)."},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1093\/aristotelian\/74.1.57","volume":"74","author":"H. Kamp","year":"1973","unstructured":"Kamp, H., \u201cFree Choice Permission,\u201d Aristotelian Society Proceedings N.S. 74, pp. 57\u201374 (1973\u20131974).","journal-title":"Aristotelian Society Proceedings N.S."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Khosla, S. and Maibaum, T.S.E., \u201cThe Prescription and Description of State Based Systems,\u201d pp. 243\u2013294 in Temporal Logic in Specification, ed. B. Banieqbal, H. Barringer, A. Pnueli, Springer (1987). Lecture Notes in Computer Science 398.","DOI":"10.1007\/3-540-51803-7_30"},{"key":"7_CR21","volume-title":"System Specification: A Deontic Approach","author":"S. Khosla","year":"1988","unstructured":"Khosla, S., \u201cSystem Specification: A Deontic Approach,\u201d PhD Thesis, Department of Computing, Imperial College, London (1988)."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Lausen, G., \u201cF-Logic: A Higher-Order Language for reasoning About Objects, Inheritance, and Scheme,\u201d Proceedings of the ACM\/SIGMOD International Symposium on Management of Data, Portland, pp. 134\u2013146, SIGMOD RECORD vol. 18, nr. 2 (june 1989).","DOI":"10.1145\/66926.66939"},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/45941.45944","volume":"6","author":"R.M. Lee","year":"1988","unstructured":"Lee, R.M., \u201cBureaucracies as Deontic Systems,\u201d ACM Transactions on Office Information Systems 6, pp. 87\u2013108 (1988).","journal-title":"ACM Transactions on Office Information Systems"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Meyden, R. van der, \u201cThe Dynamic Logic of Permission,\u201d pp. 72\u201378 in Proceedings, 5th IEEE Conference on Logic in Computer Science, Philadelphia (1990).","DOI":"10.1109\/LICS.1990.113735"},{"key":"7_CR25","volume-title":"\u201cFree Choice Permissions and Ross's Paradox: Internal vs External Nondeterminism,\u201d Report IR-130","author":"J. Meyer","year":"1987","unstructured":"Meyer, J.-J.Ch., \u201cFree Choice Permissions and Ross's Paradox: Internal vs External Nondeterminism,\u201d Report IR-130, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam (august 1987)."},{"key":"7_CR26","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J. Meyer","year":"1988","unstructured":"Meyer, J.-J.Ch., \u201cA Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic,\u201d Notre Dame Journal of Formal Logic 29, pp. 109\u2013136 (winter 1988).","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1515\/9783110877335-006","volume-title":"Semantics and Contextual Expression","author":"J. Meyer","year":"1989","unstructured":"Meyer, J.-J.Ch., \u201cUsing Programming Concepts in Deontic Reasoning,\u201d pp. 117\u2013145 in Semantics and Contextual Expression, ed. R. Bartsch, J.F.A.K. van Benthem, and P. van Emde Boas, FORIS publications, Dordrecht\/Riverton (1989)."},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-51251-9_23","volume-title":"2nd Symposium on Mathematical Fundamentals of Database Systems","author":"J. C. Meyer","year":"1989","unstructured":"Meyer, J.-J. Ch., Weigand, H., and Wieringa, R.J., \u201cA Specification Language for Static, Dynamic and Deontic Integrity Constraints,\u201d pp. 347\u2013366 in 2nd Symposium on Mathematical Fundamentals of Database Systems, ed. J. Demetrovics, B. Thalheim, Springer, Visegr\u00e1d, Hungary (june 1989). Lecture Notes in Computer Science 364."},{"key":"7_CR29","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1145\/322123.322134","volume":"26","author":"J. Meyer","year":"1979","unstructured":"Meyer, J.-J.Ch. and Wieringa, R.J., Milne, G., and Milner, R., \u201cConcurrent Processes and Their Syntax,\u201d Journal of the Association of Computing Machinery 26, pp. 302\u2013321, Submitted to TAPSOFT'91 (1979).","journal-title":"Journal of the Association of Computing Machinery"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"\u00c5qvist, L., \u201cDeontic Logic,\u201d pp. 605\u2013714 in Handbook of Philosophical Logic II, ed. D.M. Gabbay and F. Guenthner, Reidel (1984).","DOI":"10.1007\/978-94-009-6259-0_11"},{"key":"7_CR31","unstructured":"Smolka, G., Nutt, W., Goguen, J.A., and Meseguer, J., \u201cOrder-Sorted Equational Computation,\u201d SEKI Report SR-87-14, Universit\u00e4t Kaiserslautern (December 1987)."},{"key":"7_CR32","unstructured":"Wieringa, R.J., Weigand, H., Meyer, J.-J. Ch., and Dignum, F., \u201cThe Inheritance of Dynamic and Deontic Integrity Constraints,\u201d Annals of Mathematics and Artificial Intelligence, To be published."},{"key":"7_CR33","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(89)90038-4","volume":"4","author":"R.J. Wieringa","year":"1989","unstructured":"Wieringa, R.J., Meyer, J.-J. Ch., and Weigand, H., \u201cSpecifying Dynamic and Deontic Integrity Constraints,\u201d Data and Knowledge Engineering 4, pp. 157\u2013189 (1989).","journal-title":"Data and Knowledge Engineering"},{"key":"7_CR34","unstructured":"Wieringa, R.J. and Meyer, J.-J.Ch., \u201cActor-Oriented Specification of Dynamic and Deontic Integrity Constraints,\u201d Technical Report, Department of Mathematics and Computer Science, Vrije Universiteit (October 1989). submitted to the Third Int. Symp. on Mathematical Foundations of Database and Knowledge Base Systems"},{"key":"7_CR35","unstructured":"Wieringa, R.J., Equational Specification of Dynamic Objects, To be published, IFIP TC2 Working Conference on Database Semantics, 2\u20136 july 1990."},{"key":"7_CR36","unstructured":"Wright, G.H. von, An Essay in Deontic Logic and the General Theory of Action, North-Holland (1968)."}],"container-title":["Lecture Notes in Computer Science","MFDBS 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54009-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:36:00Z","timestamp":1640921760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}