{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T22:45:04Z","timestamp":1774046704199,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642307423","type":"print"},{"value":"9783642307430","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_3","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"24-39","source":"Crossref","is-referenced-by-count":5,"title":["A \u201cConservative\u201d Approach to Extending Answer Set Programming with Non-Herbrand Functions"],"prefix":"10.1007","author":[{"given":"Marcello","family":"Balduccini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4-5","key":"3_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. Journal of Theory and Practice of Logic Programming (TPLP)\u00a03(4-5), 425\u2013461 (2003)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press (January 2003)","DOI":"10.1017\/CBO9780511543357"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1471068408003645","volume":"9","author":"C. Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Journal of Theory and Practice of Logic Programming (TPLP)\u00a09(1), 57\u2013144 (2009)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"issue":"4-6","key":"3_CR4","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1017\/S1471068410000232","volume":"10","author":"S. Baselice","year":"2010","unstructured":"Baselice, S., Bonatti, P.A.: A Decidable Subclass of Finitary Programs. Journal of Theory and Practice of Logic Programming (TPLP)\u00a010(4-6), 481\u2013496 (2010)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Adding Weak Constraints to Disjunctive Datalog. In: Proceedings of the 1997 Joint Conference on Declarative Programming APPIA-GULP-PRODE (1997)","DOI":"10.1007\/3-540-63255-7_2"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1017\/S1471068410000517","volume":"11","author":"P. Cabalar","year":"2011","unstructured":"Cabalar, P.: Functional Answer Set Programming. Journal of Theory and Practice of Logic Programming (TPLP)\u00a011, 203\u2013234 (2011)","journal-title":"Journal of Theory and Practice of Logic Programming (TPLP)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. In: Proceedings of the Twenty-Fourth Conference on Artificial Intelligence, pp. 1666\u20131670 (2010)","DOI":"10.1609\/aaai.v24i1.7702"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02846-5_22","volume-title":"Logic Programming","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Ostrowski, M., Schaub, T.: Constraint Answer Set Solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 235\u2013249. Springer, Heidelberg (2009)"},{"key":"3_CR9","doi-asserted-by":"publisher","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 Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"3_CR10","unstructured":"Lifschitz, V.: Logic Programs with Intensional Functions (Preliminary Report). In: ICLP11 Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2011 (July 2011)"},{"key":"3_CR11","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: Proceedings of the 11th International Conference on Logic Programming (ICLP 1994), pp. 23\u201338 (1994)"},{"key":"3_CR12","unstructured":"Lin, F., Wang, Y.: Answer Set Programming with Functions. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 454\u2013465 (2008)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczynski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Berlin (1999)"},{"key":"3_CR14","series-title":"Lecture Notes in Artificial Intelligence","first-page":"267","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T.: Omega-Restricted Logic Programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 267\u2013279. Springer, Heidelberg (2001)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-04238-6_28","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y. Wang","year":"2009","unstructured":"Wang, Y., You, J.-H., Yuan, L.-Y., Zhang, M.: Weight Constraint Programs with Functions. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 329\u2013341. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T02:00:55Z","timestamp":1687485655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}