{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:27Z","timestamp":1740098967927,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319701684"},{"type":"electronic","value":"9783319701691"}],"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-70169-1_15","type":"book-chapter","created":{"date-parts":[[2017,11,5]],"date-time":"2017-11-05T21:14:23Z","timestamp":1509916463000},"page":"200-212","source":"Crossref","is-referenced-by-count":1,"title":["lp2cpp: A Tool For Compiling Stratified Logic Programs"],"prefix":"10.1007","author":[{"given":"Bernardo","family":"Cuteri","sequence":"first","affiliation":[]},{"given":"Alessandro Francesco","family":"De Rosis","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,7]]},"reference":[{"issue":"1","key":"15_CR1","first-page":"61","volume":"3","author":"F Arni","year":"2003","unstructured":"Arni, F., Ong, K., Tsur, S., Wang, H., Zaniolo, C.: The deductive database system LDL++. TPLP 3(1), 61\u201394 (2003)","journal-title":"TPLP"},{"issue":"12","key":"15_CR2","doi-asserted-by":"crossref","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":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-642-24206-9_20","volume-title":"Datalog Reloaded","author":"A Cal\u00ec","year":"2011","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+\/-: a family of languages for ontology querying. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2.0 2010. LNCS, vol. 6702, pp. 351\u2013368. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24206-9_20"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-319-49130-1_15","volume-title":"AI*IA 2016 Advances in Artificial Intelligence","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: $$\\cal{I}$$ I -dlv: the new intelligent grounder of dlv. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds.) AI*IA 2016. LNCS, vol. 10037, pp. 192\u2013207. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49130-1_15"},{"key":"15_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/978-3-642-83952-8"},{"key":"15_CR6","unstructured":"Cuteri, B., Ricca, F.: A compiler for stratified datalog programs: preliminary results. In: 25th Italian Symposium on Advanced Database Systems, SEBD 2017, Squillace, Catanzaro, Italy, 25\u201329 June 2017. (2017, to appear)"},{"issue":"3","key":"15_CR7","doi-asserted-by":"crossref","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":"15_CR8","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: ICLP 2016 TCs. pp. 2:1\u20132:15 (2016)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Huang, S.S., Green, T.J., Loo, B.T.: Datalog and emerging applications: an interactive tutorial. In: Proceedings of SIGMOD 2011, pp. 1213\u20131216. ACM (2011)","DOI":"10.1145\/1989323.1989456"},{"issue":"3","key":"15_CR10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1609\/aimag.v37i3.2672","volume":"37","author":"B Kaufmann","year":"2016","unstructured":"Kaufmann, B., Leone, N., Perri, S., Schaub, T.: Grounding and solving in answer set programming. AI Mag. 37(3), 25\u201332 (2016)","journal-title":"AI Mag."},{"issue":"3","key":"15_CR11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/88636.87121","volume":"15","author":"M Kifer","year":"1990","unstructured":"Kifer, M., Lozinskii, E.L.: On compile-time query optimization in deductive databases by means of static filtering. ACM TDS 15(3), 385\u2013426 (1990)","journal-title":"ACM TDS"},{"issue":"3","key":"15_CR12","doi-asserted-by":"crossref","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 TOCL 7(3), 499\u2013562 (2006)","journal-title":"ACM TOCL"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: Openrulebench: an analysis of the performance of rule engines. In: Proceedings of WWW 2009, pp. 601\u2013610. ACM (2009)","DOI":"10.1145\/1526709.1526790"},{"issue":"6","key":"15_CR14","first-page":"21:1","volume":"31","author":"YA Liu","year":"2009","unstructured":"Liu, Y.A., Stoller, S.D.: From datalog rules to efficient programs with time and space guarantees. ACM Trans. Program. Lang. Syst. 31(6), 21:1\u201321:38 (2009)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Scholz, B., Jordan, H., Suboti\u0107, P., Westmann, T.: On fast large-scale program analysis in datalog. In: Proceedings of the 25th International Conference on Compiler Construction, pp. 196\u2013206. ACM (2016)","DOI":"10.1145\/2892208.2892226"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Scholz, B., Vorobyov, K., Krishnan, P., Westmann, T.: A datalog source-to-source translator for static program analysis: an experience report. In: 2015 24th Australasian Software Engineering Conference (ASWEC), pp. 28\u201337. IEEE (2015)","DOI":"10.1109\/ASWEC.2015.15"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Sereni, D., Avgustinov, P., de Moor, O.: Adding magic to an optimising datalog compiler. In: Proceedings of the 2008 ACM SIGMOD International Conference on Management of Data, pp. 553\u2013566. ACM (2008)","DOI":"10.1145\/1376616.1376673"},{"issue":"2","key":"15_CR18","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S1471068407003158","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. Theory Pract. Logic Program. 8(2), 129\u2013165 (2008)","journal-title":"Theory Pract. Logic Program."},{"key":"15_CR19","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press, New York (1988)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2017 Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70169-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T12:57:17Z","timestamp":1570280237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70169-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319701684","9783319701691"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70169-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}