{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:14:20Z","timestamp":1742382860558},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516752"},{"type":"electronic","value":"9783319516769"}],"license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51676-9_6","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T02:14:29Z","timestamp":1481940869000},"page":"86-102","source":"Crossref","is-referenced-by-count":2,"title":["Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System"],"prefix":"10.1007","author":[{"given":"Joost","family":"Vennekens","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Schaerf, A.: Programming in alma-0, or imperative and declarative programming reconciled. In: FroCos (1998)","DOI":"10.1145\/263699.263709"},{"key":"6_CR2","unstructured":"Bendisposto, J., Clark, J., Dobrikov, I., Karner, P., Krings, S., Ladenberger, L., Leuschel, M. and Plagge, D.: ProB 2.0 tutorial. In: Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes (2013)"},{"issue":"06","key":"6_CR3","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1017\/S147106841400009X","volume":"15","author":"M Bruynooghe","year":"2014","unstructured":"Bruynooghe, M., Blockeel, H., Bogaerts, B., De Cat, B., De Pooter, S., Jansen, J., Labarre, A., Ramon, J., Denecker, M., Verwer, S.: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Theor. Pract. Logic Program. 15(06), 783\u2013817 (2014). Accepted","journal-title":"Theor. Pract. Logic Program."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-49545-2_1","volume-title":"Logics in Artificial Intelligence","author":"M Denecker","year":"1998","unstructured":"Denecker, M.: The well-founded semantics is the principle of inductive definition. In: Dix, J., Cerro, L.F., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol. 1489, pp. 1\u201316. Springer, Heidelberg (1998). doi: 10.1007\/3-540-49545-2_1"},{"issue":"2","key":"6_CR6","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1342991.1342998","volume":"9","author":"M Denecker","year":"2008","unstructured":"Denecker, M., Ternovska, E.: A logic of nonmonotone inductive definitions. ACM Trans. Comput. Logic 9(2), 14 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"4","key":"6_CR7","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1017\/S1471068415000113","volume":"16","author":"T Eiter","year":"2016","unstructured":"Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., Sch\u00fcller, P.: A model building framework for answer set programming with external computations. Theor. Pract. Logic Program. 16(4), 418\u2013464 (2016)","journal-title":"Theor. Pract. Logic Program."},{"key":"6_CR8","unstructured":"Febbraro, O., Grasso, G., Ricca, F., Leone, N., JASP: A framework for integrating answer set programming with Java. In: KR (2012)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-14726-0_2","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"M Gebser","year":"2015","unstructured":"Gebser, M., Kaminski, R., Obermeier, P., Schaub, T.: Ricochet robots reloaded: a case-study in multi-shot ASP solving. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060, pp. 17\u201332. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-14726-0_2"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-72200-7_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: a conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260\u2013265. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72200-7_23"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"K\u00f6ksal, A., Kuncak, V., Suter, P.: Constraints as control. In: POPL2012 (2012)","DOI":"10.1145\/2103656.2103675"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Milicevic, A., Rayside, D., Yessenov, K., Jackson, D.: Unifying execution of imperative and declarative code. In: Proceedings of 33rd International Conference on Software Engineering (ICSE) (2011)","DOI":"10.1145\/1985793.1985863"},{"key":"6_CR13","unstructured":"Mitchell, D.G, Ternovska, E.: A framework for representing and solving NP search problems. In: AAAI, pp. 430\u2013435 (2005)"},{"issue":"1\u20132","key":"6_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. Theor. Pract. Logic Program. 12(1\u20132), 157\u2013187 (2012)","journal-title":"Theor. Pract. Logic Program."},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-24364-6_18","volume-title":"Frontiers of Combining Systems","author":"S Tasharrofi","year":"2011","unstructured":"Tasharrofi, S., Ternovska, E.: A semantic account for modularity in multi-language modelling of search problems. In: Tinelli, C., Sofronie-Stokkermans, V. (eds.) FroCoS 2011. LNCS (LNAI), vol. 6989, pp. 259\u2013274. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24364-6_18"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Torlak, E., Bodik, R.: Growing solver aided languages with ROSETTA. In: Proceedings of ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (2013)","DOI":"10.1145\/2509578.2509586"},{"issue":"3","key":"6_CR17","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"6_CR18","unstructured":"Yessenov, K.: A lightweight specification language for bounded program verification. Master\u2019s thesis, MIT (2009)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51676-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T12:43:06Z","timestamp":1568637786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}