{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:36:50Z","timestamp":1758271010743,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,5]],"date-time":"2016-09-05T00:00:00Z","timestamp":1473033600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EU","award":["690974"],"award-info":[{"award-number":["690974"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,5]]},"DOI":"10.1145\/2967973.2968594","type":"proceedings-article","created":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T18:25:14Z","timestamp":1472754314000},"page":"38-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A framework for easing the development of applications embedding answer set programming"],"prefix":"10.1145","author":[{"given":"Davide","family":"Fusc\u00e0","sequence":"first","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Germano","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Anastasio","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Reasoning and Declarative Problem Solving","author":"Baral C.","year":"2003","unstructured":"C. Baral . Knowledge Representation , Reasoning and Declarative Problem Solving . Cambridge University Press , 2003 . C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in AI (LNAI)","first-page":"2","volume-title":"Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97)","author":"Buccafurri F.","year":"1997","unstructured":"F. Buccafurri , N. Leone , and P. Rullo . Strong and Weak Constraints in Disjunctive Datalog . In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97) , volume 1265 of Lecture Notes in AI (LNAI) , pages 2 -- 17 , Dagstuhl, Germany, July 1997 . Springer Verlag . F. Buccafurri, N. Leone, and P. Rullo. Strong and Weak Constraints in Disjunctive Datalog. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), volume 1265 of Lecture Notes in AI (LNAI), pages 2--17, Dagstuhl, Germany, July 1997. Springer Verlag."},{"key":"e_1_3_2_1_4_1","volume-title":"Asp-core-2: Input language format","author":"Calimeri F.","year":"2012","unstructured":"F. Calimeri , W. Faber , M. Gebser , G. Ianni , R. Kaminski , T. Krennwallner , N. Leone , F. Ricca , and T. Schaub . Asp-core-2: Input language format , 2012 . F. Calimeri, W. Faber, M. Gebser, G. Ianni, R. Kaminski, T. Krennwallner, N. Leone, F. Ricca, and T. Schaub. Asp-core-2: Input language format, 2012."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015), workshop of the 31st International Conference on Logic Programming (ICLP 2015)","author":"Calimeri F.","year":"2015","unstructured":"F. Calimeri , D. Fusc\u00e0 , S. Germano , S. Perri , and J. Zangari . Embedding ASP in mobile systems: discussion and preliminary implementations . In Proceedings of the Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015), workshop of the 31st International Conference on Logic Programming (ICLP 2015) , August 2015 . F. Calimeri, D. Fusc\u00e0, S. Germano, S. Perri, and J. Zangari. Embedding ASP in mobile systems: discussion and preliminary implementations. In Proceedings of the Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015), workshop of the 31st International Conference on Logic Programming (ICLP 2015), August 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"embASP, since","author":"Calimeri F.","year":"2015","unstructured":"F. Calimeri , D. Fusc\u00e0 , S. Germano , S. Perri , and J. Zangari . embASP, since 2015 . https:\/\/www.mat.unical.it\/calimeri\/projects\/embasp\/. F. Calimeri, D. Fusc\u00e0, S. Germano, S. Perri, and J. Zangari. embASP, since 2015. https:\/\/www.mat.unical.it\/calimeri\/projects\/embasp\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.09.008"},{"key":"e_1_3_2_1_8_1","volume-title":"Book Reviews","author":"Calimeri F.","year":"2013","unstructured":"F. Calimeri and F. Ricca . On the application of the answer set programming system dlv in industry: a report from the field . Book Reviews , 2013(03), 2013 . F. Calimeri and F. Ricca. On the application of the answer set programming system dlv in industry: a report from the field. Book Reviews, 2013(03), 2013."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/374875.374880"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in AI (LNAI)","first-page":"200","volume-title":"Proceedings of the 9th European Conference on Artificial Intelligence (JELIA","author":"Faber W.","year":"2004","unstructured":"W. Faber , N. Leone , and G. Pfeifer . Recursive aggregates in disjunctive logic programs: Semantics and complexity . In J. J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004 ), volume 3229 of Lecture Notes in AI (LNAI) , pages 200 -- 212 . Springer Verlag , Sept. 2004. W. Faber, N. Leone, and G. Pfeifer. Recursive aggregates in disjunctive logic programs: Semantics and complexity. In J. J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference on Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in AI (LNAI), pages 200--212. Springer Verlag, Sept. 2004."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of KR2012","author":"Febbraro O.","year":"2012","unstructured":"O. Febbraro , G. Grasso , N. Leone , and F. Ricca . JASP: a framework for integrating Answer Set Programming with Java . In Proc. of KR2012 . AAAI Press , 2012 . O. Febbraro, G. Grasso, N. Leone, and F. Ricca. JASP: a framework for integrating Answer Set Programming with Java. In Proc. of KR2012. AAAI Press, 2012."},{"key":"e_1_3_2_1_13_1","volume-title":"Design patterns: elements of","author":"Gamma E.","year":"1994","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design patterns: elements of , 1994 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of, 1994."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1971622.1971623"},{"key":"e_1_3_2_1_15_1","volume-title":"Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14)","volume":"1405","author":"Gebser M.","year":"2014","unstructured":"M. Gebser , R. Kaminski , B. Kaufmann , and T. Schaub . Clingo = ASP + control: Preliminary report. In M. Leuschel and T. Schrijvers, editors , Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14) , volume arXiv: 1405 .3694v1, 2014 . Theory and Practice of Logic Programming, Online Supplement. M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub. Clingo = ASP + control: Preliminary report. In M. Leuschel and T. Schrijvers, editors, Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14), volume arXiv:1405.3694v1, 2014. Theory and Practice of Logic Programming, Online Supplement."},{"key":"e_1_3_2_1_16_1","first-page":"4327","volume-title":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence","author":"Gebser M.","year":"2016","unstructured":"M. Gebser , M. Maratea , and F. Ricca . What's hot in the answer set programming competition . In D. Schuurmans and M. P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence , February 12-17, 2016 , Phoenix, Arizona, USA. , pages 4327 -- 4329 . AAAI Press , 2016. M. Gebser, M. Maratea, and F. Ricca. What's hot in the answer set programming competition. In D. Schuurmans and M. P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pages 4327--4329. AAAI Press, 2016."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00207-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_3_2_1_19_1","unstructured":"Google Activity Recognition API. https:\/\/developer.android.com\/reference\/com\/google\/android\/gms\/location\/ActivityRecognition.html.  Google Activity Recognition API. https:\/\/developer.android.com\/reference\/com\/google\/android\/gms\/location\/ActivityRecognition.html."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_21_1","volume-title":"RR2015, to appear","author":"Leone N.","year":"2015","unstructured":"N. Leone and F. Ricca . Answer set programming: A tour from the basics to advanced development tools and industrial applications . In RR2015, to appear , LNCS , 2015 . N. Leone and F. Ricca. Answer set programming: A tour from the basics to advanced development tools and industrial applications. In RR2015, to appear, LNCS, 2015."},{"key":"e_1_3_2_1_22_1","first-page":"23","volume-title":"Proceedings of the 16th International Conference on Logic Programming (ICLP'99)","author":"Lifschitz V.","year":"1999","unstructured":"V. Lifschitz . Answer Set Planning. In D. D. Schreye, editor , Proceedings of the 16th International Conference on Logic Programming (ICLP'99) , pages 23 -- 37 , Las Cruces, New Mexico, USA , Nov. 1999 . The MIT Press. V. Lifschitz. Answer Set Planning. In D. D. Schreye, editor, Proceedings of the 16th International Conference on Logic Programming (ICLP'99), pages 23--37, Las Cruces, New Mexico, USA, Nov. 1999. The MIT Press."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm--A 25-Year Perspective","author":"Marek V. W.","year":"1999","unstructured":"V. W. Marek and M. Truszczy\u0144ski . Stable Models and an Alternative Logic Programming Paradigm . In K. R. Apt, V. W. Marek, M. Truszczy\u0144ski, and D. S. Warren, editors, The Logic Programming Paradigm--A 25-Year Perspective , pages 375 -- 398 . Springer Verlag , 1999 . V. W. Marek and M. Truszczy\u0144ski. Stable Models and an Alternative Logic Programming Paradigm. In K. R. Apt, V. W. Marek, M. Truszczy\u0144ski, and D. S. Warren, editors, The Logic Programming Paradigm--A 25-Year Perspective, pages 375--398. Springer Verlag, 1999."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"e_1_3_2_1_25_1","unstructured":"Potassco the Potsdam Answer Set Solving Collection. http:\/\/potassco.sourceforge.net\/.  Potassco the Potsdam Answer Set Solving Collection. http:\/\/potassco.sourceforge.net\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037171"},{"key":"e_1_3_2_1_27_1","first-page":"1","article-title":"Small Ramsey Numbers","author":"Radziszowski S. P.","year":"1994","unstructured":"S. P. Radziszowski . Small Ramsey Numbers . The Electronic Journal of Combinatorics , 1 , 1994 . Revision 9: July 15, 2002. S. P. Radziszowski. Small Ramsey Numbers. The Electronic Journal of Combinatorics, 1, 1994. Revision 9: July 15, 2002.","journal-title":"The Electronic Journal of Combinatorics"},{"key":"e_1_3_2_1_28_1","first-page":"305","volume-title":"Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation","author":"Ricca F.","year":"2003","unstructured":"F. Ricca . The DLV Java Wrapper. In M. de Vos and A. Provetti, editors , Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation , pages 305 -- 316 , Messina, Italy , Sept. 2003 . Online at http:\/\/CEUR-WS.org\/Vol-78\/. F. Ricca. The DLV Java Wrapper. In M. de Vos and A. Provetti, editors, Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, pages 305--316, Messina, Italy, Sept. 2003. Online at http:\/\/CEUR-WS.org\/Vol-78\/."},{"key":"e_1_3_2_1_29_1","volume-title":"KR","author":"Thimm M.","year":"2014","unstructured":"M. Thimm . Tweety: A comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation . In KR , 2014 . M. Thimm. Tweety: A comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In KR, 2014."},{"key":"e_1_3_2_1_30_1","volume-title":"The Object Constraint Language: Precise Modeling With Uml","author":"Warmer J. B.","year":"1998","unstructured":"J. B. Warmer and A. G. Kleppe . The Object Constraint Language: Precise Modeling With Uml (Addison-Wesley Object Technology Series). Addison-Wesley Professional , Oct. 1998 . J. B. Warmer and A. G. Kleppe. The Object Constraint Language: Precise Modeling With Uml (Addison-Wesley Object Technology Series). Addison-Wesley Professional, Oct. 1998."}],"event":{"name":"PPDP '16: 18th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Edinburgh United Kingdom","acronym":"PPDP '16"},"container-title":["Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2967973.2968594","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2967973.2968594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:03Z","timestamp":1750223223000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2967973.2968594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,5]]},"references-count":30,"alternative-id":["10.1145\/2967973.2968594","10.1145\/2967973"],"URL":"https:\/\/doi.org\/10.1145\/2967973.2968594","relation":{},"subject":[],"published":{"date-parts":[[2016,9,5]]},"assertion":[{"value":"2016-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}