{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:26:38Z","timestamp":1725575198631},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232025"},{"type":"electronic","value":"9783540302094"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30209-4_8","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T00:29:23Z","timestamp":1294964963000},"page":"102-115","source":"Crossref","is-referenced-by-count":3,"title":["Specification and Execution of Declarative Policies for Grid Service Selection"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Marchi","sequence":"first","affiliation":[]},{"given":"Alessandra","family":"Mileo","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Provetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Bertino, E., Mileo, A., Provetti, A.: User Preferences VS Minimality in PPDL. In: Buccafurri, F. (ed.) Proc. of AGP 2003, APPIA-GULP-PRODE (2003), Available from \n                    \n                      http:\/\/mag.dsi.unimi.it\/PPDL\/"},{"key":"8_CR2","unstructured":"Bertino, E., Mileo, A., Provetti, A. (2003), Policy Monitoring with User-Preferences in PDL. In: Proc. of NRAC 2003 IJCAI 2003 Workshop on Reasoning about Actions and Change (2003), Available from \n                    \n                      http:\/\/mag.dsi.unimi.it\/PPDL\/"},{"key":"8_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-39592-8_10","volume-title":"Foundations of Intelligent Systems","author":"E. Bertino","year":"2003","unstructured":"Bertino, E., Mileo, A., Provetti, A.: PDL with Maximum Consistency Monitors. In: Zhong, N., Ra\u015b, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol.\u00a02871, pp. 65\u201374. Springer, Heidelberg (2003), Available from \n                    \n                      http:\/\/mag.dsi.unimi.it\/PPDL\/"},{"key":"#cr-split#-8_CR4.1","unstructured":"Brewka, G.: Logic Programming with Ordered Disjunction. In: Proc. of AAAI 2002 (2002);"},{"key":"#cr-split#-8_CR4.2","unstructured":"Extended version presented at NMR 2002 (2002)"},{"key":"8_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/3-540-45757-7_37","volume-title":"Logics in Artificial Intelligence","author":"G. Brewka","year":"2002","unstructured":"Brewka, G., Niemel\u00e4, I., Syrj\u00e4nen, T.: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 444. Springer, Heidelberg (2002)"},{"key":"8_CR6","first-page":"418","volume-title":"Proc. of KR 1998","author":"F. Buccafurri","year":"1998","unstructured":"Buccafurri, F., Leone, L., Rullo, P.: Disjunctive Ordered Logic: Semantics and Expressiveness. In: Proc. of KR 1998, pp. 418\u2013431. MIT Press, Cambridge (1998)"},{"key":"8_CR7","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":"8_CR8","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":"8_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/TKDE.2003.1161578","volume":"15","author":"J. Chomicki","year":"2003","unstructured":"Chomicki, J., Lobo, J., Naqvi, S.: Conflict Resolution using Logic Programming. IEEE Transactions on Knowledge and Data Engineering\u00a015, 2 (2003)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"8_CR10","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":"8_CR11","unstructured":"Web location related to Web Services technologies. Globus Toolkit Framework, \n                    \n                      http:\/\/www.globus.org\/\n                    \n                    \n                  , World Wide Web Consortium, \n                    \n                      http:\/\/www.w3c.org\/"},{"key":"8_CR12","unstructured":"Lobo, J., Bhatia, R., Naqvi, S.: A Policy Description Language. In: AAAI\/IAAI, pp. 291\u2013298 (1999)"},{"key":"8_CR13","volume-title":"Posters at ICWS 2004 conference","author":"M. Marchi","year":"2004","unstructured":"Marchi, M., Mileo, A., Provetti, A.: Specification and execution of policies for Grid Service Selection. In: Posters at ICWS 2004 conference, IEEE press, Los Alamitos (2004), Available from \n                    \n                      http:\/\/mag.dsi.unimi.it\/PPDL\/"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-540-27775-0_40","volume-title":"Logic Programming","author":"M. Marchi","year":"2004","unstructured":"Marchi, M., Mileo, A., Provetti, A.: Specification and execution of policies for Grid Service Selection. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 464\u2013466. Springer, Heidelberg (2004), Available from \n                    \n                      http:\/\/mag.dsi.unimi.it\/PPDL\/"},{"key":"8_CR15","unstructured":"Schaub, T., Wang, K.: 2001. A comparative study of logic programs with preference. In: Proc. of Int\u2019l. Joint Conference on AI, IJCAI 2001 (2001)"},{"key":"8_CR16","unstructured":"Web location of the most known ASP solvers. Aspps, \n                    \n                      http:\/\/cs.engr.uky.edu\/ai\/aspps\/\n                    \n                    \n                   CMODELS, \n                    \n                      http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels.html\n                    \n                    \n                   DLV, \n                    \n                      http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/\n                    \n                    \n                   NoMoRe, \n                    \n                      http:\/\/www.cs.uni-potsdam.de\/~linke\/nomore\/\n                    \n                    \n                   Smodels, \n                    \n                      http:\/\/www.tcs.hut.fi\/Software\/smodels\/\n                    \n                    \n                   PSmodels, \n                    \n                      http:\/\/www.tcs.hut.fi\/Software\/smodels\/priority\/"}],"container-title":["Lecture Notes in Computer Science","Web Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30209-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:55:56Z","timestamp":1619999756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30209-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232025","9783540302094"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30209-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}