{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:34:47Z","timestamp":1725874487685},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516752"},{"type":"electronic","value":"9783319516769"}],"license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"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-51676-9_5","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T07:14:29Z","timestamp":1481958869000},"page":"68-85","source":"Crossref","is-referenced-by-count":2,"title":["Extending Answer Set Programs with Interpreted Functions as First-Class Citizens"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Redl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"5_CR1","unstructured":"Alviano, M., Calimeri, F., Ianni, G., Faber, W., Leone, N.: Function symbols in ASP: overview and perspectives 31 (2011)"},{"issue":"4\u20135","key":"5_CR2","first-page":"547","volume":"13","author":"M Balduccini","year":"2013","unstructured":"Balduccini, M.: ASP with non-herbrand partial functions: a language and system for practical use. TPLP 13(4\u20135), 547\u2013561 (2013)","journal-title":"TPLP"},{"key":"5_CR3","unstructured":"Bartholomew, M., Lee, J.: Stable models of formulas with intensional functions. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning KR, pp. 2\u201312 (2012)"},{"key":"5_CR4","unstructured":"Bartholomew, M., Lee, J.: Functional stable model semantics and answer set programming modulo theories. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 718\u2013724. AAAI Press (2013)"},{"key":"5_CR5","unstructured":"Brewka, G., Roelofsen, F., Serafini, L.: Contextual default reasoning. In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), January 6\u201312, 2007, Hyderabad, India (2007)"},{"issue":"1","key":"5_CR6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1023\/A:1010052305354","volume":"13","author":"R Burstall","year":"2000","unstructured":"Burstall, R.: Christopher strachey-understanding programming languages. Higher-Order Symbolic Comput. 13(1), 51\u201355 (2000)","journal-title":"Higher-Order Symbolic Comput."},{"key":"5_CR7","unstructured":"Cabalar, P.: Functional answer set programming. CoRR abs\/1006.3678. http:\/\/arxiv.org\/abs\/1006.3678 (2010)"},{"issue":"3\u20134","key":"5_CR8","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10472-007-9076-z","volume":"50","author":"F Calimeri","year":"2007","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3\u20134), 333\u2013361 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"3","key":"5_CR9","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-08909-6_7","volume-title":"Declarative Programming and Knowledge Management","author":"Thomas Eiter","year":"2014","unstructured":"Eiter, Thomas, Fink, Michael, Krennwallner, Thomas, Redl, Christoph: hex-programs with existential quantification. In: Hanus, Michael, Rocha, Ricardo (eds.) WLP 2013. LNCS (LNAI), vol. 8439, pp. 99\u2013117. Springer, Cham (2014). doi: 10.1007\/978-3-319-08909-6_7"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.artint.2016.01.003","volume":"233","author":"T Eiter","year":"2016","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C.: Domain expansion for ASP-programs with external sources. Artif. Intell. 233, 84\u2013121 (2016)","journal-title":"Artif. Intell."},{"key":"5_CR12","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI, pp. 90\u201396. Professional Book Center (2005)"},{"issue":"1","key":"5_CR13","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","volume":"175","author":"W Faber","year":"2011","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1), 278\u2013298 (2011)","journal-title":"Artif. Intell."},{"key":"5_CR14","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co. Inc., Boston (1995)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-20895-9_39","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., K\u00f6nig, A., Schaub, T.: Advances in gringo series 3. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 345\u2013351. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-20895-9_39"},{"issue":"2","key":"5_CR16","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-72200-7_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2007","unstructured":"Gebser, M., Schaub, T., Thiele, S.: GrinGo: a new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266\u2013271. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-72200-7_24"},{"issue":"3\u20134","key":"5_CR18","doi-asserted-by":"crossref","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 Gener. Comput. 9(3\u20134), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"5_CR19","unstructured":"Greco, S., Molinaro, C., Trubitsyna, I.: Bounded programs: A new decidable class of logic programs with function symbols. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 926\u2013931. AAAI Press (2013)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-540-74610-2_5","volume-title":"Logic Programming","author":"M Hanus","year":"2007","unstructured":"Hanus, M.: Multi-paradigm declarative languages. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 45\u201375. Springer, Berlin (2007). doi: 10.1007\/978-3-540-74610-2_5"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Hanus, M.: The integration of functions into logic programming: From theory to practice. J. Logic Program. 1920, Supplement 1, 583\u2013628 , special Issue: Ten Years of Logic Programming (1994)","DOI":"10.1016\/0743-1066(94)90034-5"},{"issue":"3","key":"5_CR22","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":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-02846-5_40","volume-title":"Logic Programming","author":"Y Lierler","year":"2009","unstructured":"Lierler, Y., Lifschitz, V.: One more decidable class of finitely ground programs. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 489\u2013493. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02846-5_40"},{"key":"5_CR24","unstructured":"Lifschitz, V.: Logic programs with intensional functions. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR) (2012)"},{"key":"5_CR25","unstructured":"Lin, F., Wang, Y.: Answer set programming with functions. In: Brewka, G., Lang, J. (eds.) Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, KR 2008, Sydney, Australia, September 16\u201319, 2008, pp. 454\u2013465. AAAI Press (2008)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-30227-8_15","volume-title":"Logics in Artificial Intelligence","author":"D Pearce","year":"2004","unstructured":"Pearce, D., Valverde, A.: Towards a first order equilibrium logic for nonmonotonic reasoning. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 147\u2013160. Springer, Berlin (2004). doi: 10.1007\/978-3-540-30227-8_15"},{"issue":"1","key":"5_CR27","first-page":"206","volume":"18","author":"KA Ross","year":"1994","unstructured":"Ross, K.A.: On negation in HiLog. J. Logic Program. 18(1), 206\u2013215 (1994)","journal-title":"J. Logic Program."},{"key":"5_CR28","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die bausteine der mathematischen logik. Math. Ann. 92, 305\u2013316 (1924)","journal-title":"Math. Ann."},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-45402-0_20","volume-title":"Logic Programming and Nonmotonic 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. 2173, pp. 267\u2013280. Springer, Berlin (2001). doi: 10.1007\/3-540-45402-0_20"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51676-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T01:11:18Z","timestamp":1601255478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}