{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:07:11Z","timestamp":1751688431265,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Network and Systems Management"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1023\/a:1025715306518","type":"journal-article","created":{"date-parts":[[2003,10,24]],"date-time":"2003-10-24T18:33:40Z","timestamp":1067020420000},"page":"305-327","source":"Crossref","is-referenced-by-count":9,"title":["Realizing Network Control Policies Using Distributed Action Plans"],"prefix":"10.1007","volume":"11","author":[{"given":"Madhur","family":"Kohli","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"470899_CR1","first-page":"63","volume":"2","author":"R. Wies","year":"1994","unstructured":"R. Wies, Policies in network and system management\u2014formal definition and architecture, Journal of Network and System Management, 2(1):63\u201383, 1994.","journal-title":"Journal of Network and System Management"},{"doi-asserted-by":"crossref","unstructured":"M. Z. Hasan, An active temporal model for network management databases, IFIP\/IEEE fourth International Symposium on Integrated Network Management, pp. 524\u2013535, Santa Barbara, California, May 1995.","key":"470899_CR2","DOI":"10.1007\/978-0-387-34890-2_45"},{"unstructured":"A. Leinwand and K. F. Conroy, Network Management: A Practical Perspective, Addison Wesley, Second Edition, 1996.","key":"470899_CR3"},{"unstructured":"J. Lobo, R. Bhatia, and S. Naqvi, A policy description language, Proc. of AAAI\/IAAI, pp. 291\u2013298, Orlando, Florida, July 1999.","key":"470899_CR4"},{"unstructured":"The Workflow Management Coalition, Terminology and Glossary, Technical Report WFMC-TC-1011, The Workflow Management Coalition, June 1996.","key":"470899_CR5"},{"doi-asserted-by":"crossref","unstructured":"S. Abiteboul, V. Vianu, B. Frodham, and Y. Yesha, Relational transducers for electronic commerce, Proc. 17th ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, Seattle, Washington, June 1998, pp. 179\u2013187.","key":"470899_CR6","DOI":"10.1145\/275487.275507"},{"unstructured":"J. D. Ullman, Principles of Database and Knowledge-Base Systems, Vol.I, Computer Science Press, 1988.","key":"470899_CR7"},{"doi-asserted-by":"crossref","unstructured":"M. Kamath and K. Ramamritham, Failure handling and coordinated execution of concurrent workflows, International Conference on Data Engineering, Orlando, Florida, pp. 334\u2013341, February 1998.","key":"470899_CR8","DOI":"10.1109\/ICDE.1998.655796"},{"unstructured":"M. Kohli and J. Lobo, Workflow in Network Management, Technical Report, Bell Labs, 1999.","key":"470899_CR9"},{"key":"470899_CR10","volume-title":"Policy evaluation for network management","author":"R. Bhatia","year":"2000","unstructured":"R. Bhatia, J. Lobo, and M. Kohli, Policy evaluation for network management, Proc. INFOCOM 2000, Tel Aviv, Israel, pp. 1107\u20131116, March 2000."},{"issue":"1","key":"470899_CR11","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1109\/TKDE.2003.1161596","volume":"15","author":"J. Chomicki","year":"2003","unstructured":"J. Chomicki, J. Lobo, and S. Naqvi, Conflict resolution using logic programming, IEEE Transactions on Knowledge and Data Engineering, Vol.15, No.(1), pp. 244\u2013249, 2003.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"doi-asserted-by":"crossref","unstructured":"A. Virmani, J. Lobo, and M. Kohli, Netmon: Network management for the SARAS softswitch, Proc. IEEE\/IFIP Network Operations and Management Symposium, Honolulu, Hawaii, pp 803\u2013816, April 2000.","key":"470899_CR12","DOI":"10.1109\/NOMS.2000.830430"},{"unstructured":"T. C. Son and J. Lobo, Reasoning about policies, Proceedings of the AAAI Spring Symposium on Anser Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pp. 210\u2013216, March 2001.","key":"470899_CR13"},{"unstructured":"M. P. Singh, Formal Aspects of Workflow Management, Part 1: Semantics, Technical Report TR\u201396\u201308, North Carolina State University, 1997.","key":"470899_CR14"},{"doi-asserted-by":"crossref","unstructured":"H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan, Logic based modeling and analysis of workflows, Proc. 17th ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, Seattle, Washington, pp. 25\u201333, June 1998.","key":"470899_CR15","DOI":"10.1145\/275487.275491"},{"doi-asserted-by":"crossref","unstructured":"A. Bonner, Workflow, transactions and datalog, Proc. 18th ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, Philadelphia, Pennsylvania, pp. 294\u2013305, May-June 1999.","key":"470899_CR16","DOI":"10.1145\/303976.304005"},{"key":"470899_CR17","first-page":"142","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"A. Bonner","year":"1996","unstructured":"A. Bonner and M. Kifer, Concurrency and communication in transaction logic, Joint International Conference and Symposium on Logic Programming, MIT Press, Bonn, Germany, pp. 142\u2013156, September 1996."},{"key":"470899_CR18","first-page":"720","volume-title":"Proc. of the National Conference on Artificial Intelligence","author":"C. Boutilier","year":"1997","unstructured":"C. Boutilier and R. I. Brafman, Planning with concurrent interacting actions, Proc. of the National Conference on Artificial Intelligence, AAAI Press, Providence, Rhadhe Island, pp. 720\u2013726, July 1997."},{"issue":"4","key":"470899_CR19","first-page":"27","volume":"15","author":"D. S. Weld","year":"1994","unstructured":"D. S. Weld, An introduction to least commitment planning, AI Magazine, Vol.15, No.4, pp. 27\u201361, 1994.","journal-title":"AI Magazine"}],"container-title":["Journal of Network and Systems Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025715306518.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025715306518\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025715306518.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T09:45:49Z","timestamp":1751622349000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025715306518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["470899"],"URL":"https:\/\/doi.org\/10.1023\/a:1025715306518","relation":{},"ISSN":["1064-7570","1573-7705"],"issn-type":[{"type":"print","value":"1064-7570"},{"type":"electronic","value":"1573-7705"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}