{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:19:08Z","timestamp":1742966348636,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_24","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"340-354","source":"Crossref","is-referenced-by-count":5,"title":["A Free Logic for Stable Models with Partial Intensional Functions"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis Fari\u00f1as","family":"del Cerro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pearce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agustin","family":"Valverde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-40564-8_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Alviano","year":"2013","unstructured":"Alviano, M., et al.: The fourth answer set programming competition: Preliminary report. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 42\u201353. Springer, Heidelberg (2013)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-30743-0_3","volume-title":"Correct Reasoning","author":"M. Balduccini","year":"2012","unstructured":"Balduccini, M.: A \u201cConservative\u201d approach to extending answer set programming with non-herbrand functions. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol.\u00a07265, pp. 24\u201339. Springer, Heidelberg (2012)"},{"key":"24_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 2012, pp. 2\u201312 (2012)"},{"key":"24_CR4","unstructured":"Bartholomew, M., Lee, J.: On the stable model semantics for intensional functions. In: Proceedings of International Conference on Logic Programming, ICLP 2013 (2013)"},{"issue":"12","key":"24_CR5","doi-asserted-by":"publisher","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\u00a054(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"4","key":"24_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.2307\/2214437","volume":"8","author":"T. Burge","year":"1974","unstructured":"Burge, T.: Truth and singular terms. Nous\u00a08(4), 309\u2013325 (1974)","journal-title":"Nous"},{"issue":"2-3","key":"24_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1017\/S1471068410000517","volume":"10","author":"P. Cabalar","year":"2011","unstructured":"Cabalar, P.: Functional answer set programming. Theory and Practice of Logic Programming\u00a010(2-3), 203\u2013233 (2011)","journal-title":"Theory and Practice of Logic Programming"},{"key":"24_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-30227-8_26","volume-title":"Logics in Artificial Intelligence","author":"P. Cabalar","year":"2004","unstructured":"Cabalar, P., Lorenzo, D.: Logic programs with functions and default values. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 294\u2013306. Springer, Heidelberg (2004)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-04238-6_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Cabalar","year":"2009","unstructured":"Cabalar, P., Pearce, D., Valverde, A.: A revised concept of safety for general answer set programs. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 58\u201370. Springer, Heidelberg (2009)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-540-89982-2_37","volume-title":"Logic Programming","author":"F. Calimeri","year":"2008","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Computable functions in ASP: Theory and implementation. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 407\u2013424. Springer, Heidelberg (2008)"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-642-04238-6_46","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Calimeri","year":"2009","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: An ASP system with functions, lists, and sets. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 483\u2013489. Springer, Heidelberg (2009)"},{"key":"24_CR12","unstructured":"Farin\u00e3s del Cerro, L., Pearce, D., Valverde, A.: FQHT: The logic of stable models for logic programs with intensional functions. In: Proceedings of International Joint Conference on Artificial Intelligence, IJCAI 2013 (2013)"},{"key":"24_CR13","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 372\u2013379 (2007)"},{"key":"24_CR14","first-page":"917","volume":"42","author":"D.M. Gabbay","year":"2011","unstructured":"Gabbay, D.M., Pearce, D., Valverde, A.: Interpolable formulas in equilibrium logic and answer set programming. Journal of Artificial Intelligence Research (JAIR)\u00a042, 917\u2013943 (2011)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"24_CR15","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Intl. Conf. on Logic Programming, pp. 1070\u20131080 (1988)"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Hanus, M.: The integration of functions into logic programming: from theory to practice. Journal of Logic Programming 19, 20, 583\u2013628 (1994)","DOI":"10.1016\/0743-1066(94)90034-5"},{"key":"24_CR17","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, pp. 42\u201356 (1930)"},{"key":"24_CR18","unstructured":"Lifschitz, V.: Logic programs with intensional functions. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning, KR 2012 (2012)"},{"key":"24_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-72200-7_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"2007","unstructured":"Lifschitz, V., Pearce, D.J., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 188\u2013200. Springer, Heidelberg (2007)"},{"key":"24_CR20","unstructured":"Lin, F., Wang, Y.: Answer set programming with functions. In: Proc. of the 11th Intl. Conf. on Principles of Knowledge Representation and Reasoning, KR 2008 (2008)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 169\u2013181. Springer (1999)","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"24_CR22","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence\u00a025, 241\u2013273 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"24_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D. Pearce","year":"1997","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol.\u00a01216, Springer, Heidelberg (1997)"},{"key":"24_CR24","series-title":"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.J. Pearce","year":"2004","unstructured":"Pearce, D.J., Valverde, A.: Towards a first order equilibrium logic for nonmonotonic reasoning. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 147\u2013160. Springer, Heidelberg (2004)"},{"issue":"1","key":"24_CR25","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.jcss.2011.02.013","volume":"78","author":"D. Pearce","year":"2012","unstructured":"Pearce, D., Valverde, A.: Synonymous theories and knowledge representations in answer set programming. Journal of Computer and System Sciences\u00a078(1), 86\u2013104 (2012)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1-2","key":"24_CR26","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/BF00157539","volume":"1","author":"C.J. Posy","year":"1982","unstructured":"Posy, C.J.: A free IPC is a natural logic: Strong completeness for some intuitionistic free logics. Topoi\u00a01(1-2), 30\u201343 (1982)","journal-title":"Topoi"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:08:34Z","timestamp":1676891314000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}