{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:35:12Z","timestamp":1742391312904,"version":"3.37.3"},"publisher-location":"Cham","reference-count":13,"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_4","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T07:14:29Z","timestamp":1481958869000},"page":"50-67","source":"Crossref","is-referenced-by-count":4,"title":["Integrating Answer Set Programming with Object-Oriented Languages"],"prefix":"10.1007","author":[{"given":"Jakob","family":"Rath","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Redl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 40\u2013110. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-03754-2_2 . http:\/\/www.kr.tuwien.ac.at\/staff\/tkren\/pub\/2009\/rw2009-asp.pdf"},{"key":"4_CR2","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI, pp. 90\u201396. Professional Book Center (2005)"},{"key":"4_CR3","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Representing school timetabling in a disjunctive logic programming language. In: Proceedings of the 13th Workshop on Logic Programming (WLP 1998), vol. 194 (1998)"},{"key":"4_CR4","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.) Proceedings of the Thirteenth International Conference Principles of Knowledge Representation and Reasoning, KR 2012, Rome, Italy, 10\u201314 June 2012. AAAI Press (2012). http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR12\/paper\/view\/4520"},{"key":"4_CR5","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: Cheney, J., Vidal, G. (eds.) Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, 5\u20137 September 2016, pp. 38\u201349. ACM (2016) http:\/\/doi.acm.org\/10.1145\/2967973.2968594"},{"issue":"2","key":"4_CR6","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.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011). http:\/\/www.mpi-inf.mpg.de\/departments\/rg1\/conferences\/deduction10\/papers\/martin-gebser.pdf","journal-title":"AI Commun."},{"issue":"3\u20134","key":"4_CR7","doi-asserted-by":"crossref","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(3\u20134), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-20832-4_27","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"G Grasso","year":"2011","unstructured":"Grasso, G., Leone, N., Manna, M., Ricca, F.: ASP at work: spin-off and applications of the DLV system. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 432\u2013451. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-20832-4_27"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-04238-6_31","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"SM Ielpa","year":"2009","unstructured":"Ielpa, S.M., Iiritano, S., Leone, N., Ricca, F.: An ASP-based system for e-Tourism. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 368\u2013381. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04238-6_31"},{"key":"4_CR10","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming. CoRR abs\/1112.0922 (2011). http:\/\/arxiv.org\/abs\/1112.0922"},{"key":"4_CR11","unstructured":"Redl, C.: The DLVHEX system for knowledge representation: recent advances (system description). In: Theory and Practice of Logic Programming"},{"issue":"3","key":"4_CR12","first-page":"361","volume":"12","author":"F Ricca","year":"2012","unstructured":"Ricca, F., Grasso, G., Alviano, M., Manna, M., Lio, V., Iiritano, S., Leone, N.: Team-building with answer set programming in the Gioia-Tauro seaport. TPLP 12(3), 361\u2013381 (2012). http:\/\/dx.doi.org\/10.1017\/S147106841100007X","journal-title":"TPLP"},{"key":"4_CR13","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, 20\u201324 July 2014. AAAI Press (2014). http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7811"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T01:10:55Z","timestamp":1601255455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_4","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]]}}}