{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:58Z","timestamp":1725566338176},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_59","type":"book-chapter","created":{"date-parts":[[2010,9,18]],"date-time":"2010-09-18T21:34:52Z","timestamp":1284845692000},"page":"693-697","source":"Crossref","is-referenced-by-count":7,"title":["A System with Template Answer Set Programs"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Ielpa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriana","family":"Pietramala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Carmela","family":"Santoro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-4","key":"59_CR1","first-page":"165","volume":"26","author":"M. Cadoli","year":"2000","unstructured":"Cadoli, M., Ianni, G., Palopoli, L., Schaerf, A., Vasile, D.: NP-SPEC: An executable specification language for solving all the problems in NP. Computer Languages, Elsevier Science, Amsterdam (Netherlands)\u00a026(2-4), 165\u2013195 (2000)","journal-title":"Computer Languages, Elsevier Science, Amsterdam (Netherlands)"},{"key":"59_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: Hilog: A foundation for higher-order logic programming. Journal of Logic Programming\u00a015, 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"59_CR3","unstructured":"Dell\u2019Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: Proceedings IJCAI-2003, Acapulco, Mexico (August 2003)"},{"key":"59_CR4","unstructured":"The DLPT web site, \n                    \n                      http:\/\/dlpt.gibbi.com"},{"key":"59_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-Based Artificial Intelligence","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79\u2013103. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"1-2","key":"59_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0304-3975(96)00179-X","volume":"189","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Leone, N.: Abduction from Logic Programs: Semantics and Complexity. Theoretical Computer Science\u00a0189(1-2), 129\u2013177 (1997)","journal-title":"Theoretical Computer Science"},{"key":"59_CR7","series-title":"Lecture Notes in Computer Science","first-page":"290","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"59_CR8","unstructured":"Faber, W., Leone, N., Mateis, C., Pfeifer, G.: Using Database Optimization Techniques for Nonmonotonic Reasoning. In: Proceedings of DDLP 1999 (1999)"},{"key":"59_CR9","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Experimenting with Heuristics for Answer Set Programming. In: Proceedings of IJCAI 2001, Seattle, WA, USA, pp. 635\u2013640 (2001)"},{"key":"59_CR10","unstructured":"Faber, W., Pfeifer, G.: DLV homepage, since 1996, \n                    \n                      http:\/\/www.dlvsystem.com\/"},{"key":"59_CR11","unstructured":"Greco, S., Sacc\u00e0, D.: NP optimization problems in datalog. In: International Symposium on Logic Programming, Port Jefferson, NY, USA, pp. 181\u2013195 (1997)"},{"key":"59_CR12","unstructured":"Ianni, G., Calimeri, F., Ielpa, G., Pietramala, A., Santoro, M.C.: Enhancing answer set programming with templates. In: Proceedings of NMR 2004 (2004)"},{"key":"59_CR13","unstructured":"The ICONS web site, \n                    \n                      http:\/\/www.icons.rodan.pl\/"},{"key":"59_CR14","unstructured":"The Infomix web site, \n                    \n                      http:\/\/www.mat.unical.it\/infomix"},{"issue":"1","key":"59_CR15","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/0022-0000(90)90033-H","volume":"41","author":"G.M. Kuper","year":"1990","unstructured":"Kuper, G.M.: Logic programming with sets. Journal of Computer and System Sciences\u00a041(1), 44\u201364 (1990)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"59_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1006\/jcss.1997.1453","volume":"54","author":"K.A. Ross","year":"1997","unstructured":"Ross, K.A., Sagiv, Y.: Monotonic aggregation in deductive databases. Journal of Computer and System Sciences\u00a054(1), 79\u201397 (1997)","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:58:14Z","timestamp":1619999894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}