{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T07:03:09Z","timestamp":1770966189135,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540416104","type":"print"},{"value":"9783540445692","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44569-2_4","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T01:01:53Z","timestamp":1180573313000},"page":"57-72","source":"Crossref","is-referenced-by-count":20,"title":["Monitors for History-Based Policies"],"prefix":"10.1007","author":[{"given":"Jan","family":"Chomicki","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,2,8]]},"reference":[{"key":"4_CR1","unstructured":"R. Agrawal, R. Cochrane, and B. G. Lindsay. On maintaining priorities in a production rule system. In VLDB, pages 479\u2013487, 1991."},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Formal characterizations of active databases: II","author":"C. Baral","year":"1997","unstructured":"C. Baral, J. Lobo, and G. Trajcevski. Formal characterizations of active databases: II. In Proc. of the International Conference on Deductive and Object Oriented Databases, Lecture Notes in Computer Science. Springer, Switzerland, December 1997."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"R. Bhatia, J. Lobo, and M. Kohli: Policy Evaluation for Network Management. In Proc. of the 19th Conference on Computer Communication, INFOCOM 2000. Israel, March 2000.","DOI":"10.1109\/INFCOM.2000.832468"},{"key":"4_CR4","unstructured":"L. Brownston, R. Farell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985."},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0169-023X(89)90012-8","volume":"3","author":"H. K. B\u00fcning","year":"1988","unstructured":"H. Kleine B\u00fcning, U. L\u00f6wen, and S. Schmitgen. Inconsistency of production systems. Journal of Data and Knowledge Engineering, 3:245\u2013260, 1988\/89.","journal-title":"Journal of Data and Knowledge Engineering"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/210197.210200","volume":"20","author":"J. Chomicki","year":"1995","unstructured":"J. Chomicki. Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Transactions on Database Systems, 20(2):149\u2013186, June 1995.","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR7","unstructured":"J. Chomicki, J. Lobo, and S. Naqvi. Axiomatic conflict resolution in policy management. Technical Report ITD-99-36448R, Bell Labs, February 1999."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"J. Chomicki and J. Lobo. Monitors for History-Based Policies. Technical report, Lucent Bell Labs, 2000.","DOI":"10.1007\/3-540-44569-2_4"},{"key":"4_CR9","unstructured":"J. Chomicki, J. Lobo, and S. Naqvi. A Logic Programming Approach to Conflict Resolution in Policy Management. In International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, Colorado, April 2000."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0004-3702(99)00006-5","volume":"108","author":"T. Eiter","year":"1999","unstructured":"T. Eiter and V.S. Subrahmanian. Heterogeneous active agents, II: Algorithms and complexity. Artificial Intelligence, 108:257\u2013307, March 1999.","journal-title":"Artificial Intelligence"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T. Eiter","year":"1999","unstructured":"T. Eiter, V.S. Subrahmanian, and G. Pick. Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108:179\u2013255, March 1999.","journal-title":"Artificial Intelligence"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Y. E. Ioannidis and T. K. Sellis. Supporting inconsistent rules in database systems. Journal of Intelligent Information Systems, 1(3\/4), 1992.","DOI":"10.1007\/BF00962920"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"H. V. Jagadish, A. O. Mendelzon, and I. S. Mumick. Managing conflicts between rules. In Proc. 15th ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, pages 192\u2013201, 1996.","DOI":"10.1145\/237661.237710"},{"key":"4_CR14","unstructured":"J. Lobo, R. Bhatia, and S. Naqvi. A policy description language. In Proc. of AAAI, Orlando, FL, July 1999."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"E. C. Lupu and M. Sloman. Conflict analysis for management policies. In R. Stadler A. Lazar, R. Saraco, editor, Proc. 5th IFIP\/IEEE International Symposium on Integrated Network Management, pages 430\u2013443, 1997.","DOI":"10.1007\/978-0-387-35180-3_32"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"A. Virmani, J. Lobo, and M. Kohli. NETMON: Network management for the SARAS softswitch. In Proc. of the IEEE\/IFIP Network Operations and Management Symposium, April 2000.","DOI":"10.1109\/NOMS.2000.830430"}],"container-title":["Lecture Notes in Computer Science","Policies for Distributed Systems and Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44569-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T13:33:14Z","timestamp":1556458394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44569-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416104","9783540445692"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44569-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}