{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:28Z","timestamp":1725533848568},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024078"},{"type":"electronic","value":"9783642024085"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","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-02408-5_8","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T11:10:04Z","timestamp":1246014604000},"page":"100-115","source":"Crossref","is-referenced-by-count":8,"title":["Towards Model Round-Trip Engineering: An Abductive Approach"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Hettel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lawley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerry","family":"Raymond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-69927-9_3","volume-title":"Theory and Practice of Model Transformations","author":"T. Hettel","year":"2008","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Model synchronisation: Definitions for round-trip engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"8_CR2","volume-title":"Collected Papers of Charles Sanders Peirce","author":"C.S. Pierce","year":"1958","unstructured":"Pierce, C.S.: Collected Papers of Charles Sanders Peirce, vol.\u00a02. Harvard University Press, Cambridge (1931-1958)"},{"key":"8_CR3","volume-title":"Abductive Reasoning: Logical Investigations Into Discovery and Explanation","author":"A. Aliseda","year":"2005","unstructured":"Aliseda, A.: Abductive Reasoning: Logical Investigations Into Discovery and Explanation. Springer, Heidelberg (2005)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Kakas, A., Denecker, M.: Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond, 402\u2013436 (2002)","DOI":"10.1007\/3-540-45628-7_16"},{"issue":"6","key":"8_CR5","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1993","unstructured":"Kakas, A., Kowalski, R., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR6","unstructured":"Kakas, A., Mancarella, P.: Generalized Stable Models: A Semantics for Abduction. In: Proceedings of the 9th European Conference on Artificial Intelligence, ECAI 1990, Stockholm, Sweden, pp. 385\u2013391 (1990)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11663430_15","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Lawley","year":"2006","unstructured":"Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 139\u2013150. Springer, Heidelberg (2006)"},{"key":"8_CR8","unstructured":"Ray, O., Kakas, A.: ProLogICA: a practical system for Abductive Logic Programming. In: Proceedings of the 11th International Workshop on Non-monotonic Reasoning (2006)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Abdennadher, S., Christiansen, H.: An Experimental CLP Platform for Integrity Constraints and Abduction. In: Proceedings of FQAS 2000, Flexible Query Answering Systems: Advances in Soft Computing series, pp. 141\u2013152 (2000)","DOI":"10.1007\/978-3-7908-1834-5_13"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-27764-4_16","volume-title":"Mathematics of Program Construction","author":"S.C. Mu","year":"2004","unstructured":"Mu, S.C., Hu, Z., Takeichi, M.: An Injective Language for Reversible Computation. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 289\u2013313. Springer, Heidelberg (2004)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-30477-7_2","volume-title":"Programming Languages and Systems","author":"S. Mu","year":"2004","unstructured":"Mu, S., Hu, Z., Takeichi, M.: An Algebraic Approach to Bi-directional Updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 2\u201320. Springer, Heidelberg (2004)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem. ACM Transactions on Programming Languages and Systems (2007)","DOI":"10.1145\/1232420.1232424"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"8_CR14","unstructured":"K\u00f6nigs, A.: Model transformation with triple graph grammars. In: Proceedings of the Model Transformations in Practice Satellite Workshop of MODELS 2005 (2005)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2007","unstructured":"Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"8_CR16","first-page":"24","volume-title":"Proceedings of the 10th International Enterprise Distributed Object Computing Conference Workshops","author":"A. Cicchetti","year":"2006","unstructured":"Cicchetti, A., Ruscio, D.D., Eramo, R.: Towards Propagation of Changes by Model Approximations. In: Proceedings of the 10th International Enterprise Distributed Object Computing Conference Workshops, p. 24. IEEE Computer Society, Los Alamitos (2006)"},{"key":"8_CR17","unstructured":"Object Management Group (OMG) formal\/08-04-03: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation (QVT) Specification Version 1.0 (November 2005)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"978","DOI":"10.1145\/1244002.1244217","volume-title":"SAC 2007: Proceedings of the, ACM symposium on Applied computing","author":"D. Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: SAC 2007: Proceedings of the, ACM symposium on Applied computing, pp. 978\u2013984. ACM, New York (2007)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/11880240_23","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hearnden","year":"2006","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 321\u2013335. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02408-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:24:58Z","timestamp":1558394698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02408-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024078","9783642024085"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02408-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}