{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:04:30Z","timestamp":1725555870229},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642105487"},{"type":"electronic","value":"9783642105494"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10549-4_7","type":"book-chapter","created":{"date-parts":[[2010,5,8]],"date-time":"2010-05-08T11:58:15Z","timestamp":1273319895000},"page":"49-56","source":"Crossref","is-referenced-by-count":0,"title":["Default \u03b1-Logic for Modeling Customizable Failure Semantics in Workflow Systems Using Dynamic Reconfiguration Constraints"],"prefix":"10.1007","author":[{"given":"Hasan","family":"Davulcu","sequence":"first","affiliation":[]},{"given":"Supratik","family":"Mukhopadhyay","sequence":"additional","affiliation":[]},{"given":"Prabhdeep","family":"Singh","sequence":"additional","affiliation":[]},{"given":"Stephen S.","family":"Yau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Beguiling, A., Seligman, E., Stephan, P.: Application level fault tolerance in heterogeneous networks of workstations. Journal of Parallel and Distributed Computing on Workstation Clusters and Networked-based Computing (1997)","DOI":"10.1006\/jpdc.1997.1338"},{"key":"7_CR2","volume-title":"Symbolic Computation","author":"P. Besnard","year":"1989","unstructured":"Besnard, P.: An Introduction to Default Logic. In: Symbolic Computation. Springer, Berlin (1989)"},{"key":"7_CR3","unstructured":"Condor manuals, \n                  \n                    http:\/\/www.cs.wisc.edu\/condor\/manual\/"},{"key":"7_CR4","unstructured":"Elder, M.C.: Fault Tolerance in Critical Information Systems. PhD thesis, University of Virginia (2001)"},{"key":"7_CR5","unstructured":"Etherington, D.W.: Relating default logic and circumstription. In: Proceedings of 11th International Joint Conference on Artificial Intelligence (IJCAI 1989), Milan, Italy, pp. 489\u2013494 (1987)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Gartner, F.C.: Fundamentals of fault-tolerant distributed computing in asynchronous environments. ACM Computing Surveys\u00a031(1) (1999)","DOI":"10.1145\/311531.311532"},{"key":"7_CR7","unstructured":"Hwang, S., Kesselman, C.: GridWorkflow: A Flexible Failure Handling Framework for the Grid. In: Proceedings of the 12th IEEE International Symposium on High Performance Distributed Computing, HPDC 2003 (2003)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Leon, J., Fisher, A.L., Steenkiste, P.: Fail-safe pvm: A portable package for distributed programming with transparent recovery. Technical Report CMU-CS-93-124, Carnegie Mellon University (1993)","DOI":"10.21236\/ADA266594"},{"key":"7_CR9","unstructured":"Plank, J.S., Beck, M., Kingsley, G., Li, K.: Libckpt: Transparent checkpointing under unix. In: Proceedings of the the USENIX Winter Technical Conference, New Orleans, Louisiana (1995)"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"D. Poole","year":"1987","unstructured":"Poole, D., Goebel, R., Aleliunas, R.: Theorist: A logical reasoning system for defaults and diagnosis. In: Cercone, N., McCalla, G. (eds.) The Knowledge Frontier: Essays in the Representation of Knowledge, pp. 331\u2013352. Springer, New York (1987)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning. Artificial Intelligence\u00a036(1), 27\u201347 (1988)","journal-title":"Artificial Intelligence"},{"key":"7_CR12","unstructured":"Poole, D.: Default Logic, Handbook of Logic for AI & Logic Programming (1998)"},{"issue":"1,2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"12","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a012(1,2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1109\/IPPS.1996.508106","volume-title":"10th International Parallel Processing Symposium","author":"G. Stellner","year":"1996","unstructured":"Stellner, G.: Cocheck: Checkpointing and process migration for mpi. In: 10th International Parallel Processing Symposium, pp. 526\u2013531. IEEE Computer Society, Los Alamitos (1996)"},{"issue":"4","key":"7_CR15","doi-asserted-by":"crossref","first-page":"59","DOI":"10.4018\/jwsr.2007100103","volume":"4","author":"S.S. Yau","year":"2007","unstructured":"Yau, S.S., Davulcu, H., Mukhopadhyay, S., Huang, D., Gong, H., Singh, P., Gelgi, F.: Automated Situation-Aware Service Composition in Service-Oriented Computing. International Journal of Web Services Research on Services Engineering (JWSR)\u00a04(4), 59\u201382 (2007)","journal-title":"International Journal of Web Services Research on Services Engineering (JWSR)"},{"key":"7_CR16","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic (Paperback)"},{"key":"7_CR17","unstructured":"S\u00f8rensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Studies in Logic and the Foundations of Mathematics, vol.\u00a0149 (Hardcover)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Goebel, R.G., Goodwin, R.G.: Applying theory formation to the planning problem. In: Proc. of of the Workshop on the Frame Problem in AI, pp. 207\u2013232 (1987)","DOI":"10.1016\/B978-0-934613-32-3.50019-8"}],"container-title":["Communications in Computer and Information Science","Grid and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10549-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T21:45:16Z","timestamp":1558388716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10549-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642105487","9783642105494"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10549-4_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}