{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:33:14Z","timestamp":1725564794630},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202561"},{"type":"electronic","value":"9783540395928"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39592-8_10","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T20:29:11Z","timestamp":1283977751000},"page":"65-74","source":"Crossref","is-referenced-by-count":4,"title":["PDL with Maximum Consistency Monitors"],"prefix":"10.1007","author":[{"given":"Elisa","family":"Bertino","sequence":"first","affiliation":[]},{"given":"Alessandra","family":"Mileo","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Provetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","first-page":"121","volume-title":"Proc. of KR 2000, 7th Int\u2019l Conference on Principles of Knowledge Representation and Reasoning","author":"J. Chomicki","year":"2000","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.: A logic programming approach to conflict resolution in policy management. In: Proc. of KR 2000, 7th Int\u2019l Conference on Principles of Knowledge Representation and Reasoning, pp. 121\u2013132. Morgan Kaufmann, San Francisco (2000)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-44569-2_4","volume-title":"Policies for Distributed Systems and Networks","author":"J. Chomicki","year":"2001","unstructured":"Chomicki, J., Lobo, J.: Monitors for history-based policies. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol.\u00a01995, pp. 57\u201372. Springer, Heidelberg (2001)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.: Conflict Resolution using Logic Programming. To appear on IEEE Transactions on Knowledge and Data Engineering (TKDE)\u00a015(1), 244\u2013249 (2003), Available from http:\/\/www.cs.buffalo.edu\/~chomicki\/","DOI":"10.1109\/TKDE.2003.1161596"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365\u2013387 (1991)","DOI":"10.1007\/BF03037169"},{"key":"10_CR5","unstructured":"Liberatore, P.: Algorithms and Experiments on Finding Minimal Models. Tech. Report 09\u201399, DIS, University of Rome \u201cLa Sapienza.\u201d (1999)"},{"key":"10_CR6","unstructured":"Lobo, J., Bhatia, R., Naqvi, S.: A Policy Description Language. In: AAAI\/IAAI, pp. 291\u2013298 (1999)"},{"key":"10_CR7","volume-title":"Computational Complexity","author":"C. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.: Computational Complexity. Addison Wesley, Reading (1994)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1006\/jcss.1995.1053","volume":"51","author":"J. Schlipf","year":"1995","unstructured":"Schlipf, J.: The expressive powers of the logic programming semantics. Journal of Computer and Systems Sciences\u00a051, 64\u201386 (1995)","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10_CR9","unstructured":"Web location of the most known ASP solvers, aspps: http:\/\/www.cs.uky.edu\/ai\/aspps\/ , CCalc: http:\/\/www.cs.utexas.edu\/users\/tag\/cc\/ , Cmodels: http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels.html , DLV: http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/ , NoMoRe: http:\/\/www.cs.uni-potsdam.de\/linke\/nomore\/ , SMODELS: http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Virmani, J., Lobo, L., Kohli, M.: NETMON: Network Management for the SARAS Softswitch. In: Proc. of IEEE\/IFIP Network Operations and Management Symp. (2000)","DOI":"10.1109\/NOMS.2000.830430"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39592-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T06:00:06Z","timestamp":1559628006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39592-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202561","9783540395928"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39592-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}