{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:49:04Z","timestamp":1759682944400,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T00:00:00Z","timestamp":1237766400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000145","name":"Division of Information and Intelligent Systems","doi-asserted-by":"publisher","award":["IIS-0415195CNS-0613998IIS-0812578"],"award-info":[{"award-number":["IIS-0415195CNS-0613998IIS-0812578"]}],"id":[{"id":"10.13039\/100000145","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["IIS-0415195CNS-0613998IIS-0812578"],"award-info":[{"award-number":["IIS-0415195CNS-0613998IIS-0812578"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,23]]},"DOI":"10.1145\/1514894.1514922","type":"proceedings-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T16:34:53Z","timestamp":1239035693000},"page":"225-238","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":47,"title":["Automatic construction of simple artifact-based business processes"],"prefix":"10.1145","author":[{"given":"Christian","family":"Fritz","sequence":"first","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Hull","sequence":"additional","affiliation":[{"name":"Watson Research Center, IBM"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[{"name":"UC Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"788","volume-title":"Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06)","author":"Baier J.","year":"2006","unstructured":"J. Baier and S. McIlraith . Planning with first-order temporally extended goals using heuristic search . In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06) , pages 788 -- 795 , Boston, MA , July 2006 . J. Baier and S. McIlraith. Planning with first-order temporally extended goals using heuristic search. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06), pages 788--795, Boston, MA, July 2006."},{"key":"e_1_3_2_1_2_1","unstructured":"S. Battle et al. Semantic Web Services Ontology (SWSO) Version 1.0. http:\/\/www.daml.org\/services\/swsf\/1.0\/swso\/ May 2005.  S. Battle et al. Semantic Web Services Ontology (SWSO) Version 1.0. http:\/\/www.daml.org\/services\/swsf\/1.0\/swso\/ May 2005."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1083592.1083664"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.464.0703"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793114.1793141"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.441.0145"},{"key":"e_1_3_2_1_8_1","volume-title":"Handbook of Research on Business Process Management.","author":"Bhattacharya K.","year":"2009","unstructured":"K. Bhattacharya , R. Hull , and J. Su . A Data-centric Design Methodology for Business Processes . In J. Cardoso and W. van der Aalst, editors, Handbook of Research on Business Process Management. 2009 . to appear. K. Bhattacharya, R. Hull, and J. Su. A Data-centric Design Methodology for Business Processes. In J. Cardoso and W. van der Aalst, editors, Handbook of Research on Business Process Management. 2009. to appear."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00033-3"},{"key":"e_1_3_2_1_10_1","first-page":"690","volume-title":"Proc. IJCAI'01","author":"Boutilier C.","year":"2001","unstructured":"C. Boutilier , R. Reiter , and B. Price . Symbolic dynamic programming for first-order MDPs . In Proc. IJCAI'01 , pages 690 -- 700 , 2001 . C. Boutilier, R. Reiter, and B. Price. Symbolic dynamic programming for first-order MDPs. In Proc. IJCAI'01, pages 690--700, 2001."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/210197.210200"},{"key":"e_1_3_2_1_12_1","volume-title":"Model Checking","author":"Clarke E.","year":"2000","unstructured":"E. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press, Cambridge , Massachusetts , 2000 . E. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 2000."},{"key":"e_1_3_2_1_13_1","volume-title":"November","author":"Coalition O. S.","year":"2003","unstructured":"O. S. Coalition . OWL-S: Semantic markup for web services , November 2003 . O. S. Coalition. OWL-S: Semantic markup for web services, November 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514924"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770351.1770360"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035203"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2007.42"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/71764.71768"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1796125"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1524"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/846219.847357"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/295665.295674"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1051"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.4"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04031-7","volume-title":"Constraint Databases","author":"Kuper G.","year":"2000","unstructured":"G. Kuper , L. Libkin , and J. Paredarns , editors . Constraint Databases . Springer Verlag , 2000 . G. Kuper, L. Libkin, and J. Paredarns, editors. Constraint Databases. Springer Verlag, 2000."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of 5th International Conference on Business Process Management (BPM)","author":"Kuster J.","year":"2007","unstructured":"J. Kuster , K. Ryndina , and H. Gall . Generation of BPM for object life cycle compliance . In Proceedings of 5th International Conference on Business Process Management (BPM) , 2007 . J. Kuster, K. Ryndina, and H. Gall. Generation of BPM for object life cycle compliance. In Proceedings of 5th International Conference on Business Process Management (BPM), 2007."},{"key":"e_1_3_2_1_32_1","series-title":"LNCS","volume-title":"CAiSE","author":"Liu R.","year":"2007","unstructured":"R. Liu , K. Bhattacharya , and F. Y. Wu . Modeling business contexture and behavior using business artifacts . In CAiSE , volume 4495 of LNCS , 2007 . R. Liu, K. Bhattacharya, and F. Y. Wu. Modeling business contexture and behavior using business artifacts. In CAiSE, volume 4495 of LNCS, 2007."},{"key":"e_1_3_2_1_33_1","volume-title":"Integrating AI planning techniques with workflow management system. Kowledge-Based Systems, 15(5--6):285--291","author":"Moreno M.","year":"2002","unstructured":"M. Moreno and P. Kearney . Integrating AI planning techniques with workflow management system. Kowledge-Based Systems, 15(5--6):285--291 , 2002 . M. Moreno and P. Kearney. Integrating AI planning techniques with workflow management system. Kowledge-Based Systems, 15(5--6):285--291, 2002."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.44503"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/69558.69559"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.423.0428"},{"key":"e_1_3_2_1_38_1","first-page":"103","volume-title":"Proceedings of the Third International Conference on Knowledge Representation and Reasoning","author":"Penberthy J.","year":"1992","unstructured":"J. Penberthy and D. Weld . UCPOP: A sound, complete, partial order planner for ADL . In Proceedings of the Third International Conference on Knowledge Representation and Reasoning , pages 103 -- 114 , 1992 . J. Penberthy and D. Weld. UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of the Third International Conference on Knowledge Representation and Reasoning, pages 103--114, 1992."},{"key":"e_1_3_2_1_39_1","first-page":"640","volume-title":"Proceedings of Principles of Knowledge Representation and Reasoning (KR)","author":"Sardina S.","year":"2008","unstructured":"S. Sardina , F. Patrizi , and G. De Giacomo . Behavior composition in the presence of failure. In G. Brewka and J. Lang, editors , Proceedings of Principles of Knowledge Representation and Reasoning (KR) , pages 640 -- 650 , Sydney, Australia , Sept. 2008 . S. Sardina, F. Patrizi, and G. De Giacomo. Behavior composition in the presence of failure. In G. Brewka and J. Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640--650, Sydney, Australia, Sept. 2008."},{"key":"e_1_3_2_1_40_1","first-page":"1039","volume-title":"Proc. IJCAI'87","author":"Schoppers M. J.","year":"1987","unstructured":"M. J. Schoppers . Universal plans for reactive robots in unpredictable environments. In J. McDermott, editor, Proc. IJCAI'87 , pages 1039 -- 1046 , Milan, Italy , 1987 . Morgan Kaufmann publishers Inc.: San Mateo, CA, USA. M. J. Schoppers. Universal plans for reactive robots in unpredictable environments. In J. McDermott, editor, Proc. IJCAI'87, pages 1039--1046, Milan, Italy, 1987. Morgan Kaufmann publishers Inc.: San Mateo, CA, USA."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.473.0415"},{"key":"e_1_3_2_1_42_1","first-page":"94","volume-title":"Machine Intelligence","author":"Waldinger R.","year":"1977","unstructured":"R. Waldinger . Achieving several goals simultaneously. In E. W. Elcock and D. Michie, editors, Machine Intelligence , volume 8 , pages 94 -- 136 . Wiley , 1977 . R. Waldinger. Achieving several goals simultaneously. In E. W. Elcock and D. Michie, editors, Machine Intelligence, volume 8, pages 94--136. Wiley, 1977."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_19"},{"key":"e_1_3_2_1_44_1","unstructured":"Web Service Modeling Ontology. http:\/\/www.wsmo.org\/.  Web Service Modeling Ontology. http:\/\/www.wsmo.org\/."}],"event":{"name":"EDBT\/ICDT '09: EDBT\/ICDT '09 joint conference","acronym":"EDBT\/ICDT '09","location":"St. Petersburg Russia"},"container-title":["Proceedings of the 12th International Conference on Database Theory"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514922","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1514894.1514922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:38:43Z","timestamp":1750253923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514922"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,23]]},"references-count":44,"alternative-id":["10.1145\/1514894.1514922","10.1145\/1514894"],"URL":"https:\/\/doi.org\/10.1145\/1514894.1514922","relation":{},"subject":[],"published":{"date-parts":[[2009,3,23]]},"assertion":[{"value":"2009-03-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}