{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:20:46Z","timestamp":1725902446141},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319616599"},{"type":"electronic","value":"9783319616605"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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-61660-5_29","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T09:22:22Z","timestamp":1498555342000},"page":"322-335","source":"Crossref","is-referenced-by-count":2,"title":["Action Language Hybrid AL"],"prefix":"10.1007","author":[{"given":"Alex","family":"Brik","sequence":"first","affiliation":[]},{"given":"Jeffrey","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"issue":"4\u20135","key":"29_CR1","first-page":"425","volume":"3","author":"M Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with a-prolog. TPLP 3(4\u20135), 425\u2013461 (2003)","journal-title":"TPLP"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Logic Based Artificial Intelligence, pp. 257\u2013279. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"29_CR3","unstructured":"Brik, A., Remmel, J.B.: Hybrid ASP. In: Gallagher, J.P., Gelfond, M. (eds.) ICLP (Technical Communications), vol. 11 of LIPIcs, pp. 40\u201350. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-23264-5_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A Brik","year":"2015","unstructured":"Brik, A., Remmel, J.: Diagnosing automatic whitelisting for dynamic remarketing ads using hybrid ASP. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 173\u2013185. Springer, Cham (2015). doi: 10.1007\/978-3-319-23264-5_16"},{"issue":"3\u20134","key":"29_CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10472-007-9076-z","volume":"50","author":"F Calimeri","year":"2007","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3\u20134), 333\u2013361 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"29_CR6","unstructured":"Chintabathina, S., Gelfond, M., Watson, R.: Modeling hybrid domains using process description language. In: Vos, M.D., Provetti, A. (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd International of ASP 2005 Workshop, Bath, UK, 27\u201329 September 2005, vol. 142 of CEUR Workshop Proceedings. CEUR-WS.org (2005)"},{"key":"29_CR7","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI 2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July\u20135 August 2005, pp. 90\u201396. Professional Book Center (2005)"},{"issue":"2","key":"29_CR8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: the Potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"issue":"1\u20132","key":"29_CR9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1080\/11663081.2013.798954","volume":"23","author":"M Gelfond","year":"2013","unstructured":"Gelfond, M., Inclezan, D.: Some properties of system descriptions of al $$_{\\text{ d }}$$ . J. Appl. Non-class. Logics 23(1\u20132), 105\u2013120 (2013)","journal-title":"J. Appl. Non-class. Logics"},{"key":"29_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, New York (2014)"},{"key":"29_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"key":"29_CR12","unstructured":"Redl, C.: Answer set programming with external sources: algorithms and efficient evaluation. Ph.D. thesis, Vienna University of Technology (2015)"},{"issue":"2","key":"29_CR13","first-page":"129","volume":"8","author":"G Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8(2), 129\u2013165 (2008)","journal-title":"TPLP"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Verma, A., Pedrosa, L., Korupolu, M., Oppenheimer, D., Tune, E., Wilkes, J.: Large-scale cluster management at google with borg. In: Proceedings of the European Conference on Computer Systems (EuroSys), Bordeaux, France. ACM (2015)","DOI":"10.1145\/2741948.2741964"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,10]],"date-time":"2020-10-10T23:31:42Z","timestamp":1602372702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}