{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T03:19:53Z","timestamp":1770347993794,"version":"3.49.0"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,9,29]],"date-time":"2018-09-29T00:00:00Z","timestamp":1538179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020","doi-asserted-by":"crossref","award":["690974"],"award-info":[{"award-number":["690974"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.1007\/s00354-018-0046-2","type":"journal-article","created":{"date-parts":[[2018,9,29]],"date-time":"2018-09-29T08:17:46Z","timestamp":1538209066000},"page":"29-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework"],"prefix":"10.1007","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Fusc\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Germano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,29]]},"reference":[{"key":"46_CR1","doi-asserted-by":"publisher","unstructured":"Adrian, W.T., Alviano, M., Calimeri, F., Cuteri, B., Dodaro, C., Faber, W., Fusc\u00e0, D., Leone, N., Manna, M., Perri, S., Ricca, F., Veltri, P., Zangari, J.: The ASP system DLV: advancements and applications. KI-K\u00fcnstliche Intelligenz (2018). https:\/\/doi.org\/10.1007\/s13218-018-0533-0","DOI":"10.1007\/s13218-018-0533-0"},{"key":"46_CR2","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s13218-018-0533-0","volume-title":"Logic programming and nonmonotonic reasoning\u201414th International Conference, LPNMR 2017, Espoo, Finland, July 3\u20136, 2017, Proceedings, lecture notes in computer science","author":"M Alviano","year":"2017","unstructured":"Alviano, M., Calimeri, F., Dodaro, C., Fusc\u00e0, D., Leone, N., Perri, S., Ricca, F., Veltri, P., Zangari, J.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) Logic programming and nonmonotonic reasoning\u201414th International Conference, LPNMR 2017, Espoo, Finland, July 3\u20136, 2017, Proceedings, lecture notes in computer science, vol. 10377, pp. 215\u2013221. Springer, Berlin (2017). https:\/\/doi.org\/10.1007\/s13218-018-0533-0"},{"key":"46_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic programming and nonmonotonic reasoning\u201413th International Conference, LPNMR 2015, Lexington, KY, USA, September 27\u201330, 2015. Proceedings, LNCS","author":"M Alviano","year":"2015","unstructured":"Alviano, M., Dodaro, C., Leone, N., Ricca, F.: Advances in WASP. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) Logic programming and nonmonotonic reasoning\u201413th International Conference, LPNMR 2015, Lexington, KY, USA, September 27\u201330, 2015. Proceedings, LNCS, vol. 9345, pp. 40\u201354. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"46_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"issue":"12","key":"46_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Strong and weak constraints in disjunctive datalog. In: Dix, J., Furbach, U., Nerode, A. (eds.) Proceedings of the 4th international conference on logic programming and non-monotonic reasoning (LPNMR\u201997), Lecture Notes in AI (LNAI), vol. 1265, pp. 2\u201317. Springer, Dagstuhl, Germany (1997)","DOI":"10.1007\/3-540-63255-7_2"},{"key":"46_CR7","unstructured":"Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., Schaub, T.: Asp-core-2: input language format (2012)"},{"key":"46_CR8","unstructured":"Calimeri, F., Fusc\u00e0, D., Germano, S., Perri, S., Zangari, J.: Embedding ASP in mobile systems: discussion and preliminary implementations. In: Proceedings of the eighth workshop on answer set programming and other computing paradigms (ASPOCP 2015), workshop of the 31st International Conference on Logic Programming (ICLP 2015) (2015)"},{"issue":"1","key":"46_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/IA-170104","volume":"11","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: I-DLV: the new intelligent grounder of DLV. Intelligenza Artificiale 11(1), 5\u201320 (2017). https:\/\/doi.org\/10.3233\/IA-170104","journal-title":"Intelligenza Artificiale"},{"key":"46_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151\u2013181 (2016). https:\/\/doi.org\/10.1016\/j.artint.2015.09.008","journal-title":"Artif. Intell."},{"key":"46_CR11","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-319-99906-7_23","volume-title":"Rules and Reasoning\u2014Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18\u201321, 2018, Proceedings, lecture notes in computer science","author":"F Calimeri","year":"2018","unstructured":"Calimeri, F., Germano, S., Ianni, G., Pacenza, F., Perri, S., Zangari, J.: Integrating rule-based AI tools into mainstream game development. In: Benzm\u00fcller, C., Ricca, F., Parent, X., Roman, D. (eds.) Rules and Reasoning\u2014Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18\u201321, 2018, Proceedings, lecture notes in computer science, vol. 11092, pp. 310\u2013317. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-319-99906-7_23"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"De\u00a0Pooter, S., Wittocx, J., Denecker, M.: A prototype of a knowledge-based programming environment. In: Applications of declarative programming and knowledge management, Springer, pp. 279\u2013286 (2013)","DOI":"10.1007\/978-3-642-41524-1_16"},{"key":"46_CR13","unstructured":"Edelkamp, S., Hoffmann, J.: Pddl2. 2: The language for the classical part of the 4th international planning competition. 4th International Planning Competition (IPC04), at ICAPS04 (2004)"},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the dlv system. In: Logic-based artificial intelligence, Springer, pp. 79\u2013103 (2000)","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: answer set programming: a primer. Reasoning web. Semantic technologies for information systems, 5th international summer school\u2014tutorial lectures, pp. 40\u2013110. Brixen-Bressanone, Italy (2009)","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"46_CR16","unstructured":"Eiter, T., Redl, C., Sch\u00fcller, P.: Problem solving using the HEX family. In: Beierle, C., Brewka, G., Thimm, M. (eds.) Computational models of rationality, essays dedicated to Gabriele Kern\u2013Isberner on the occasion of her 60th birthday, pp. 150\u2013174. College Publications (2016)"},{"key":"46_CR17","unstructured":"The EmbASP framework. https:\/\/www.mat.unical.it\/calimeri\/projects\/embasp (2015)"},{"issue":"3","key":"46_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"key":"46_CR19","first-page":"200","volume-title":"Proceedings of the 9th European conference on artificial intelligence (JELIA 2004), Lecture Notes in AI (LNAI), vol. 3229","author":"W Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) Proceedings of the 9th European conference on artificial intelligence (JELIA 2004), Lecture Notes in AI (LNAI), vol. 3229, vol. 3229, pp. 200\u2013212. Springer, Berlin (2004)"},{"key":"46_CR20","unstructured":"Febbraro, O., Leone, N., Grasso, G., Ricca, F.: JASP: A framework for integrating answer set programming with java. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Principles of knowledge representation and reasoning: proceedings of the thirteenth international conference, KR 2012, Rome, Italy, June 10\u201314, 2012. AAAI Press (2012). http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR12\/paper\/view\/4520"},{"issue":"3\u20134","key":"46_CR21","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: Strips: a new approach to the application of theorem proving to problem solving. Artif. Intell. 2(3\u20134), 189\u2013208 (1971)","journal-title":"Artif. Intell."},{"key":"46_CR22","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox, M., Long, D.: Pddl2. 1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. (JAIR) 20, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"46_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609886","volume-title":"Constraint handling rules","author":"T Frhwirth","year":"2009","unstructured":"Frhwirth, T.: Constraint handling rules, 1st edn. Cambridge University Press, New York (2009)","edition":"1"},{"key":"46_CR24","doi-asserted-by":"crossref","unstructured":"Fusc\u00e0, D., Germano, S., Zangari, J., Anastasio, M., Calimeri, F., Perri, S.: A framework for easing the development of applications embedding answer set programming. In: Proceedings of the 18th international symposium on principles and practice of declarative programming, Edinburgh, UK, pp. 38\u201349 (2016)","DOI":"10.1145\/2967973.2968594"},{"key":"46_CR25","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston (1994)"},{"issue":"2","key":"46_CR26","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"46_CR27","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: preliminary report. CoRR abs\/1405.3694. http:\/\/arxiv.org\/abs\/1405.3694 (2014)"},{"key":"46_CR28","unstructured":"Gebser, M., Maratea, M., Ricca, F.: What\u2019s hot in the answer set programming competition. In: Schuurmans, D., Wellman, M.P. (eds.) Proceedings of the Thirtieth AAAI conference on artificial intelligence, February 12\u201317, Phoenix, Arizona, USA., pp. 4327\u20134329. AAAI Press (2016). http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI16\/paper\/view\/12233"},{"key":"46_CR29","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"issue":"5\u20136","key":"46_CR30","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2008.10.012","volume":"173","author":"A Gerevini","year":"2009","unstructured":"Gerevini, A., Haslum, P., Long, D., Saetti, A., Dimopoulos, Y.: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners. Artif. Intell. 173(5\u20136), 619\u2013668 (2009). https:\/\/doi.org\/10.1016\/j.artint.2008.10.012","journal-title":"Artif. Intell."},{"key":"46_CR31","doi-asserted-by":"publisher","unstructured":"Germano, S., Calimeri, F., Palermiti, E.: Loide: A web-based IDE for logic programming preliminary report. In: Calimeri, F., Hamlen, K.W., Leone, N. (eds.) Practical aspects of declarative languages\u201420th international symposium, PADL 2018, Los Angeles, CA, USA, January 8\u20139, Proceedings, lecture notes in computer science, vol. 10702, pp. 152\u2013160. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-73305-0_10","DOI":"10.1007\/978-3-319-73305-0_10"},{"key":"46_CR32","unstructured":"Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL\u2014the planning domain definition language. Tech. rep., Yale Center for Computational Vision and Control, New Haven, CT, USA (1998). http:\/\/www.cs.yale.edu\/pub\/mcdermott\/software\/pddl.tar.gz"},{"issue":"2\u20133","key":"46_CR33","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0004-3702(92)90028-V","volume":"56","author":"N Gupta","year":"1992","unstructured":"Gupta, N., Nau, D.S.: On the complexity of blocks-world planning. Artif. Intell. 56(2\u20133), 223\u2013254 (1992)","journal-title":"Artif. Intell."},{"key":"46_CR34","unstructured":"Kovacs, D.L.: Bnf definition of pddl 3.1. Unpublished manuscript from the IPC-2011 website (2011)"},{"issue":"1","key":"46_CR35","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/35043.35046","volume":"31","author":"RA Kowalski","year":"1988","unstructured":"Kowalski, R.A.: The early years of logic programming. Commun. ACM 31(1), 38\u201343 (1988). https:\/\/doi.org\/10.1145\/35043.35046","journal-title":"Commun. ACM"},{"issue":"3","key":"46_CR36","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"46_CR37","first-page":"23","volume-title":"Proceedings of the 16th international conference on logic programming (ICLP\u201999)","author":"V Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Answer set planning. In: Schreye, D.D. (ed.) Proceedings of the 16th international conference on logic programming (ICLP\u201999), pp. 23\u201337. The MIT Press, Las Cruces (1999)"},{"key":"46_CR38","volume-title":"Foundations of logic programming","author":"JW Lloyd","year":"1993","unstructured":"Lloyd, J.W.: Foundations of logic programming, 2nd edn. Springer, Secaucus (1993)","edition":"2"},{"key":"46_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.1240","volume":"20","author":"D Long","year":"2003","unstructured":"Long, D., Fox, M.: The 3rd international planning competition: results and analysis. J. Artif. Intell. Res. (JAIR) 20, 1\u201359 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"46_CR40","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The logic programming paradigm\u2014a 25-year perspective","author":"VW Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczy\u0144ski, M., Warren, D.S. (eds.) The logic programming paradigm\u2014a 25-year perspective, pp. 375\u2013398. Springer, Berlin (1999)"},{"issue":"3\u20134","key":"46_CR41","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"6","key":"46_CR42","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving sat and sat modulo theories: from an abstract Davis\u2013Putnam\u2013Logemann\u2013Loveland procedure to dpll(t). J. ACM 53(6), 937\u2013977 (2006). https:\/\/doi.org\/10.1145\/1217856.1217859","journal-title":"J. ACM"},{"key":"46_CR43","unstructured":"Potassco, the potsdam answer set solving collection. https:\/\/potassco.org\/ (2017)"},{"key":"46_CR44","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"TC Przymusinski","year":"1991","unstructured":"Przymusinski, T.C.: Stable semantics for disjunctive programs. New Gener. Comput. 9, 401\u2013424 (1991)","journal-title":"New Gener. Comput."},{"key":"46_CR45","unstructured":"Radziszowski, S.P.: Small ramsey numbers. Electr. J. Combinatorics, 1 (1994). Revision 9: July 15, 2002"},{"key":"46_CR46","doi-asserted-by":"crossref","unstructured":"Rath, J., Redl, C.: Integrating answer set programming with object-oriented languages. In: International symposium on practical aspects of declarative languages, pp. 50\u201367. Springer (2017)","DOI":"10.1007\/978-3-319-51676-9_4"},{"key":"46_CR47","unstructured":"Ricca, F.: The DLV Java Wrapper. In: de Vos, M., Provetti, A. (eds.) Proceedings ASP03\u2014answer set programming: advances in theory and implementation, pp. 305\u2013316. Messina, Italy. http:\/\/CEUR-WS.org\/Vol-78\/ (2003)"},{"key":"46_CR48","unstructured":"Samulowitz, H., Memisevic, R.: Learning to solve QBF. In: Proceedings of the twenty-second AAAI conference on artificial intelligence, July 22\u201326, 2007, Vancouver, British Columbia, Canada, pp. 255\u2013260. AAAI Press (2007). http:\/\/www.aaai.org\/Library\/AAAI\/2007\/aaai07-039.php"},{"key":"46_CR49","unstructured":"Sch\u00fcller, P., Weinzierl, A.: Answer set application programming: a case study on tetris. In: Vos, M.D., Eiter, T., Lierler, Y., Toni, F. (eds.) Proceedings of the technical communications of the 31st international conference on logic programming (ICLP 2015), Cork, Ireland, August 31\u2013September 4, 2015., CEUR Workshop Proceedings, vol. 1433. CEUR-WS.org (2015). http:\/\/ceur-ws.org\/Vol-1433\/tc_17.pdf . Accessed July 2018"},{"key":"46_CR50","unstructured":"Solver.Planning.Domains. http:\/\/solver.planning.domains\/ (2017). Accessed July 2018"},{"key":"46_CR51","doi-asserted-by":"publisher","unstructured":"Srivastava, B., Bigus, J.P., Schlosnagle, D.A.: Bringing planning to autonomic applications with ABLE. In: 1st international conference on autonomic computing (ICAC) 2004, 17\u201319 May, New York, NY, USA, pp. 154\u2013161 (2004). https:\/\/doi.org\/10.1109\/ICAC.2004.23","DOI":"10.1109\/ICAC.2004.23"},{"key":"46_CR52","unstructured":"Thimm, M.: Tweety: A comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Baral, C., Giacomo, G.D., Eiter, T. (eds.) Principles of knowledge representation and reasoning: proceedings of the fourteenth international conference, KR 2014, Vienna, Austria, July 20\u201324. AAAI Press. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7811 (2014)"},{"issue":"4","key":"46_CR53","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH Emden Van","year":"1976","unstructured":"Van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733\u2013742 (1976). https:\/\/doi.org\/10.1145\/321978.321991","journal-title":"J. ACM"},{"key":"46_CR54","unstructured":"Warmer, J.B., Kleppe, A.G.: The object constraint language: precise modeling with Uml (Addison-Wesley Object Technology Series). Addison-Wesley Professional. http:\/\/www.worldcat.org\/isbn\/0201379406 (1998). Accessed July 2018"},{"key":"46_CR55","unstructured":"Younes, H.L., Littman, M.L.: Ppddl1. 0: an extension to pddl for expressing planning domains with probabilistic effects. Techn. Rep. CMU-CS-04-162 (2004)"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-018-0046-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-018-0046-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-018-0046-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T11:04:49Z","timestamp":1605092689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-018-0046-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,29]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1]]}},"alternative-id":["46"],"URL":"https:\/\/doi.org\/10.1007\/s00354-018-0046-2","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9,29]]},"assertion":[{"value":"17 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 September 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 September 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}