{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:46Z","timestamp":1740099106875,"version":"3.37.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999050"},{"type":"electronic","value":"9783319999067"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99906-7_23","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T06:45:38Z","timestamp":1535006738000},"page":"310-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Integrating Rule-Based AI Tools into Mainstream Game Development"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6993-0618","authenticated-orcid":false,"given":"Stefano","family":"Germano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0534-6425","authenticated-orcid":false,"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6632-3492","authenticated-orcid":false,"given":"Francesco","family":"Pacenza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011). http:\/\/doi.acm.org\/10.1145\/2043174.2043195","DOI":"10.1145\/2043174.2043195"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-63255-7_2","volume-title":"Logic Programming And Nonmonotonic Reasoning","author":"F Buccafurri","year":"1997","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Strong and weak constraints in disjunctive datalog. In: Dix, J., Furbach, U., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 2\u201317. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63255-7_2"},{"key":"23_CR3","unstructured":"Calimeri, F., et al.: Asp-core-2: Input language format (2012)"},{"key":"23_CR4","doi-asserted-by":"publisher","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","DOI":"10.1016\/j.artint.2015.09.008"},{"key":"23_CR5","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"},{"key":"23_CR6","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, United Kingdom, pp. 38\u201349 (2016)","DOI":"10.1145\/2967973.2968594"},{"key":"23_CR7","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. CoRR abs\/1405.3694 (2014). http:\/\/arxiv.org\/abs\/1405.3694"},{"key":"23_CR8","doi-asserted-by":"publisher","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991). https:\/\/doi.org\/10.1007\/BF03037169","DOI":"10.1007\/BF03037169"},{"key":"23_CR9","unstructured":"Ricca, F.: The DLV java wrapper. In: de Vos, M., Provetti, A. (eds.) Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, pp. 305\u2013316. Messina, Italy, September 2003. http:\/\/CEUR-WS.org\/Vol-78\/"},{"key":"23_CR10","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). CEUR Workshop Proceedings, Cork, Ireland, vol. 1433. CEUR-WS.org (2015), 31 August\u20134 September 2015. http:\/\/ceur-ws.org\/Vol-1433\/tc_17.pdf"},{"key":"23_CR11","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. AAAI Press, 20\u201324 July 2014. http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/7811"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99906-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T16:40:21Z","timestamp":1571762421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99906-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999050","9783319999067"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99906-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}