{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:28Z","timestamp":1725561268704},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_20","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"284-299","source":"Crossref","is-referenced-by-count":9,"title":["Intensional Sets in CLP"],"prefix":"10.1007","author":[{"given":"A.","family":"Dovier","sequence":"first","affiliation":[]},{"given":"E.","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"G.","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Arenas-S\u00e1nchez, P., Rodr\u00edguez-Artalejo, M.: A General Framework for Lazy Funct\u2019l Logic Programming with Algebraic Polymorphic Types. TPLP\u00a02(1) (2001)"},{"issue":"3","key":"20_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0743-1066(91)90036-O","volume":"10","author":"C. Beeri","year":"1991","unstructured":"Beeri, C., Naqvi, S., Shmueli, O., Tsur, S.: Set Constructors in a Logic Database Language. Journal of Logic Programming\u00a010(3), 181\u2013232 (1991)","journal-title":"Journal of Logic Programming"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/888251.888272","volume-title":"PPDP 2003","author":"A. Pal\u00f9 Dal","year":"2003","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: Integrating Finite Domain Constraints and CLP with Sets. In: PPDP 2003, pp. 219\u2013229. ACM Press, New York (2003)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-45635-X_22","volume-title":"Logic Programming","author":"M. Denecker","year":"2001","unstructured":"Denecker, M., et al.: Ultimate well-founded and stable semantics for logic programs with aggregates. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 212\u2013226. Springer, Heidelberg (2001)"},{"key":"20_CR5","first-page":"111","volume-title":"ICLP","author":"A. Dovier","year":"1991","unstructured":"Dovier, A., Omodeo, E.G., Pontelli, E., Rossi, G.: {log}: A Logic Programming Language with Finite Sets. In: ICLP, pp. 111\u2013124. MIT Press, Cambridge (1991)"},{"issue":"5","key":"20_CR6","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1145\/365151.365169","volume":"22","author":"A. Dovier","year":"2000","unstructured":"Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and Constraint Logic Programming. ACM TOPLAS\u00a022(5), 861\u2013931 (2000)","journal-title":"ACM TOPLAS"},{"issue":"3-4","key":"20_CR7","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/S0020-0190(00)00046-6","volume":"74","author":"A. Dovier","year":"2000","unstructured":"Dovier, A., Pontelli, E., Rossi, G.: A Necessary Condition for Constructive Negation in Constraint Logic Programming. IPL\u00a074(3-4), 146\u2013156 (2000)","journal-title":"IPL"},{"issue":"3","key":"20_CR8","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF03037598","volume":"19","author":"A. Dovier","year":"2001","unstructured":"Dovier, A., Pontelli, E., Rossi, G.: Constructive Negation and Constraint Logic Programming with Sets. New Generation Computing\u00a019(3), 209\u2013255 (2001)","journal-title":"New Generation Computing"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Computational Logic: Logic Programming and Beyond, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"key":"20_CR10","first-page":"1070","volume-title":"JICSLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: JICSLP, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00137870","volume":"1","author":"C. Gervet","year":"1997","unstructured":"Gervet, C.: Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language. Constraints\u00a01, 191\u2013246 (1997)","journal-title":"Constraints"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming, 19\u201320, 503\u2013581 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"20_CR13","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0743-1066(92)90005-N","volume":"12","author":"B. Jayaraman","year":"1992","unstructured":"Jayaraman, B.: Implementation of Subset-Equational Programs. Journal of Logic Programming\u00a012(4), 299\u2013324 (1992)","journal-title":"Journal of Logic Programming"},{"key":"20_CR14","first-page":"387","volume-title":"ILPS","author":"D.B. Kemp","year":"1991","unstructured":"Kemp, D.B., Stuckey, P.J.: Semantics of Logic Programs with Aggregates. In: ILPS, pp. 387\u2013401. MIT Press, Cambridge (1991)"},{"issue":"1","key":"20_CR15","first-page":"66","volume":"41","author":"G.M. Kuper","year":"1990","unstructured":"Kuper, G.M.: Logic Programming with Sets. JCSS\u00a041(1), 66\u201375 (1990)","journal-title":"JCSS"},{"key":"20_CR16","volume-title":"The Logic Programming Paradigm","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm, Springer, Heidelberg (1999)"},{"key":"20_CR17","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/978-1-4615-1567-8_21","volume-title":"Logic-Based Artificial Intelligence","author":"I. Niemela","year":"2000","unstructured":"Niemela, I., Simons, P.: Extending Smodels with Cardinality and Weight Constraints. In: Logic-Based Artificial Intelligence, pp. 491\u2013521. Kluwer, Dordrecht (2000)"},{"key":"20_CR18","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 ans System Science\u00a054, 79\u201397 (1997)","journal-title":"Journal of Computer ans System Science"},{"issue":"1-2","key":"20_CR19","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0304-3975(97)00011-X","volume":"193","author":"K.A. Ross","year":"1998","unstructured":"Ross, K.A., Srivastava, D., Stuckey, P.J., Sudarshan, S.: Foundations of aggregation constraints. Theoretical Computer Science\u00a0193(1-2), 149\u2013179 (1998)","journal-title":"Theoretical Computer Science"},{"key":"20_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9575-1","volume-title":"Programming with Sets: an Introduction to SETL","author":"J.T. Schwartz","year":"1986","unstructured":"Schwartz, J.T., Dewar, R.B.K., Dubinsky, E., Schonberg, E.: Programming with Sets: an Introduction to SETL. Springer, Heidelberg (1986)"},{"key":"20_CR21","first-page":"127","volume-title":"11th Principles of Database Systems","author":"A. Gelder Van","year":"1992","unstructured":"Van Gelder, A.: The Well-Founded Semantics of Aggregation. In: 11th Principles of Database Systems, pp. 127\u2013138. ACM Press, New York (1992)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T11:20:57Z","timestamp":1552821657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}