{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:09:52Z","timestamp":1725869392658},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_29","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T13:24:55Z","timestamp":1477920295000},"page":"447-462","source":"Crossref","is-referenced-by-count":1,"title":["Extensional Semantics for Higher-Order Logic Programs with Negation"],"prefix":"10.1007","author":[{"given":"Panos","family":"Rondogiannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioanna","family":"Symeonidou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann (1988)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"29_CR2","unstructured":"Bezem, M.: Extensionality of simply typed logic programs. In: Schreye, D.D. (ed.) Logic Programming: The 1999 International Conference, Las Cruces, 29 November\u20134 December 1999, pp. 395\u2013410. MIT Press (1999)"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/3-540-44802-0_15","volume-title":"Computer Science Logic","author":"M Bezem","year":"2001","unstructured":"Bezem, M.: An improved extensionality criterion for higher-order logic programs. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol. 2142, pp. 203\u2013216. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44802-0_15"},{"key":"29_CR4","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Iteration Theories - The Equational Logic of Iterative Processes","author":"SL Bloom","year":"1993","unstructured":"Bloom, S.L., \u00c9sik, Z.: Iteration Theories - The Equational Logic of Iterative Processes. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Carayol, A., \u00c9sik, Z.: An analysis of the equational properties of the well-founded fixed point. In: Baral, C., Delgrande, J.P., Wolter, F. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, 25\u201329 April 2016, pp. 533\u2013536. AAAI Press (2016)","DOI":"10.1016\/j.jlamp.2016.09.004"},{"issue":"4\u20135","key":"29_CR6","first-page":"725","volume":"14","author":"A Charalambidis","year":"2014","unstructured":"Charalambidis, A., \u00c9sik, Z., Rondogiannis, P.: Minimum model semantics for extensional higher-order logic programming with negation. TPLP 14(4\u20135), 725\u2013737 (2014)","journal-title":"TPLP"},{"issue":"3","key":"29_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/2499937.2499942","volume":"14","author":"A Charalambidis","year":"2013","unstructured":"Charalambidis, A., Handjopoulos, K., Rondogiannis, P., Wadge, W.W.: Extensional higher-order logic programming. ACM Trans. Comput. Log. 14(3), 21 (2013)","journal-title":"ACM Trans. Comput. Log."},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Charalambidis, A., Rondogiannis, P., Symeonidou, I.: Equivalence of two fixed-point semantics for definitional higher-order logic programs. In: Matthes, R., Mio, M. (eds.) Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, 11\u201312 September 2015. EPTCS, vol. 191, pp. 18\u201332 (2015)","DOI":"10.4204\/EPTCS.191.4"},{"issue":"3","key":"29_CR9","doi-asserted-by":"crossref","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. J. Log. Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Log. Program."},{"issue":"4","key":"29_CR10","doi-asserted-by":"crossref","first-page":"333","DOI":"10.3233\/FI-1994-2144","volume":"21","author":"P Cholak","year":"1994","unstructured":"Cholak, P., Blair, H.A.: The complexity of local stratification. Fundam. Inform. 21(4), 333\u2013344 (1994)","journal-title":"Fundam. Inform."},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-662-47709-0_13","volume-title":"Logic, Language, Information, and Computation","author":"Z \u00c9sik","year":"2015","unstructured":"\u00c9sik, Z.: Equational properties of stratified least fixed points (extended abstract). In: de Paiva, V., de Queiroz, R., Moss, L.S., Leivant, D., de Oliveira, A. (eds.) WoLLIC 2015. LNCS, vol. 9160, pp. 174\u2013188. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-47709-0_13"},{"issue":"3","key":"29_CR12","first-page":"620","volume":"38","author":"AV Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"29_CR13","unstructured":"Kountouriotis, V., Rondogiannis, P., Wadge, W.W.: Extensional higher-order datalog. In: Short Paper Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 1\u20135, December 2005"},{"key":"29_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"29_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139021326","volume-title":"Programming with Higher-Order Logic","author":"D Miller","year":"2012","unstructured":"Miller, D., Nadathur, G.: Programming with Higher-Order Logic, 1st edn. Cambridge University Press, New York (2012)","edition":"1"},{"issue":"2","key":"29_CR16","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1145\/1055686.1055694","volume":"6","author":"P Rondogiannis","year":"2005","unstructured":"Rondogiannis, P., Wadge, W.W.: Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log. 6(2), 441\u2013467 (2005)","journal-title":"ACM Trans. Comput. Log."},{"key":"29_CR17","unstructured":"Wadge, W.W.: Higher-order horn logic programming. In: Saraswat, V.A., Ueda, K. (eds.) Proceedings of the 1991 International Symposium on Logic Programming, San Diego, 28 October\u20131 November 1991, pp. 289\u2013303. MIT Press (1991)"}],"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-319-48758-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,27]],"date-time":"2020-09-27T01:46:58Z","timestamp":1601171218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}