{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:57:17Z","timestamp":1725818237785},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319163093"},{"type":"electronic","value":"9783319163109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16310-9_5","type":"book-chapter","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T12:47:23Z","timestamp":1425386843000},"page":"185-220","source":"Crossref","is-referenced-by-count":4,"title":["From Local to Global Knowledge and Back"],"prefix":"10.1007","author":[{"given":"Nicklas","family":"Hoch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giacoma Valentina","family":"Monreale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Sammartino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain Tcheukam","family":"Siwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"http:\/\/www.twenties-project.eu"},{"key":"5_CR2","unstructured":"European power exchange, \n                    \n                      http:\/\/www.epexspot.com"},{"key":"5_CR3","unstructured":"Gestore mercati elettrici, \n                    \n                      http:\/\/www.mercatoelettrico.org"},{"key":"5_CR4","unstructured":"ASCENS: Requirement specification and scenario description of the ascens case studies, deliverable 7.1 (2011)"},{"key":"5_CR5","first-page":"9","volume-title":"IEEE PES, International Symposium","author":"L.A. Barroso","year":"2005","unstructured":"Barroso, L.A., Cavalcanti, T.H., Giesbertz, P., Purchala, K.: Classification of electricity market models worldwide. In: IEEE PES, International Symposium, pp. 9\u201316. IEEE, Los Alamitos (2005)"},{"key":"5_CR6","unstructured":"Belhomme, R., Real de Asua, R.C., Valtorta, G., Paice, A., Bouffard, F., Rooth, R., Losi, A.: Address - active demand for the smart grids of the future. In: CIRED Seminar: Smart Grids for Distribution, pp. 1\u20134."},{"key":"5_CR7","unstructured":"Belhomme, R., Sebastian, M., Diop, A., Entem, M., Bouffard, F., Valtorta, G., De Simone, A., Cerero, R., Yuen, C., Karkkainen, S., Fritz, W.: Address technical and commercial architecture, deliverable ADDRESS D1.1 (2010), \n                    \n                      http:\/\/www.addressfp7.org\/"},{"issue":"2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0097-3165(73)90016-2","volume":"14","author":"U. Bertel\u00e9","year":"1973","unstructured":"Bertel\u00e9, U., Brioschi, F.: On non-serial dynamic programming. Journal of Combinatorial Theory, Series A\u00a014(2), 137\u2013148 (1973)","journal-title":"Journal of Combinatorial Theory, Series A"},{"key":"5_CR9","first-page":"624","volume-title":"IJCAI","author":"S. Bistarelli","year":"1995","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Constraint solving over semirings. In: IJCAI, pp. 624\u2013630 (1995)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM\u00a044(2), 201\u2013236 (1997)","journal-title":"J. ACM"},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/383721.383725","volume":"23","author":"S. Bistarelli","year":"2001","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based contstraint logic programming: syntax and semantics. ACM Trans. Program. Lang. Syst.\u00a023(1), 1\u201329 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1013609600697","volume":"8","author":"S. Bistarelli","year":"2002","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft constraint logic programming and generalized shortest path problems. J. Heuristics\u00a08(1), 25\u201341 (2002)","journal-title":"J. Heuristics"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1145\/1149114.1149118","volume":"7","author":"S. Bistarelli","year":"2006","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Soft concurrent constraint programming. ACM Trans. Comput. Log.\u00a07(3), 563\u2013589 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1838552.1838557","volume":"12","author":"S. Bistarelli","year":"2010","unstructured":"Bistarelli, S., Montanari, U., Rossi, F., Santini, F.: Unicast and multicast qos routing with soft-constraint logic programming. ACM Trans. Comput. Log.\u00a012(1), 5 (2010)","journal-title":"ACM Trans. Comput. Log."},{"key":"5_CR15","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M.V., L\u00f3pez-Garc\u00eda, P., Puebla, G.: The ciao prolog system. Reference manual. Tech. Rep. CLIP3\/97.1, School of Computer Science, Technical University of Madrid, UPM (1997)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M.G. Buscemi","year":"2007","unstructured":"Buscemi, M.G., Montanari, U.: CC-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"issue":"3\u20134","key":"5_CR17","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/S0378-4371(97)00419-6","volume":"246","author":"D. Challet","year":"1997","unstructured":"Challet, D., Zhang, Y.C.: Emergence of cooperation and organization in an evolutionary game. Physica A: Statistical Mechanics and its Applications\u00a0246(3\u20134), 407\u2013418 (1997)","journal-title":"Physica A: Statistical Mechanics and its Applications"},{"issue":"1-2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0004-3702(99)00059-4","volume":"113","author":"R. Dechter","year":"1999","unstructured":"Dechter, R.: Bucket elimination: A unifying framework for reasoning. Artif. Intell.\u00a0113(1-2), 41\u201385 (1999)","journal-title":"Artif. Intell."},{"issue":"2-3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10990-006-8749-3","volume":"19","author":"F. Gadducci","year":"2006","unstructured":"Gadducci, F., Miculan, M., Montanari, U.: About permutation algebras (pre)sheaves and named sets. Higher-Order and Symbolic Computation\u00a019(2-3), 283\u2013304 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"5_CR20","first-page":"295","volume-title":"IJCAI","author":"C. Hewitt","year":"1969","unstructured":"Hewitt, C.: PLANNER: A language for proving theorems in robots. In: IJCAI, pp. 295\u2013302 (1969)"},{"key":"5_CR21","unstructured":"Hoch, N., Monreale, V., Montanari, U., Sammartino, M.: Declarative vs procedural approach for scsp with an application to an e-mobility optimization problem. Internal Report (2014)"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1109\/IVS.2012.6232240","volume-title":"2012 IEEE Intelligent Vehicles Symposium","author":"N. Hoch","year":"2012","unstructured":"Hoch, N., Zemmer, K., Werther, B., Siegwart, R.: Electric vehicle travel optimization-customer satisfaction despite resource constraints. In: 2012 IEEE Intelligent Vehicles Symposium, pp. 172\u2013177 (2012)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-319-16310-9_7","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 249\u2013290. Springer, Heidelberg (2015)"},{"key":"5_CR24","first-page":"111","volume-title":"POPL","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.: Constraint logic programming. In: POPL, pp. 111\u2013119 (1987)"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1613\/jair.301","volume":"4","author":"L.P. Kaelbling","year":"1996","unstructured":"Kaelbling, L.P., Littman, M.L., Moore, A.W.: Reinforcement learning: A survey. J. Artif. Intell. Res. (JAIR)\u00a04, 237\u2013285 (1996)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"5_CR26","volume-title":"Generic Inference: A Unifying Theory for Automated Reasoning","author":"J. Kohlas","year":"2011","unstructured":"Kohlas, J., Pouly, M.: Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley, Chichester (2011)"},{"key":"5_CR27","volume-title":"26th Workshop on Logic Programming","author":"G.V. Monreale","year":"2012","unstructured":"Monreale, G.V., Montanari, U., Hoch, N.: Soft constraint logic programming for electric vehicle travel optimization. In: 26th Workshop on Logic Programming (2012)"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Montanari, U., Siwe, A.T.: Real time market models and prosumer profiling. In: IEEE INFOCOM Workshops. pp. 7\u201312 (2013)","DOI":"10.1109\/INFCOM.2013.6567135"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Montanari, U., Siwe, A.T.: Prosumers as aggregators in the dezent context of regenerative power production. In: IEEE SASO Workshops (2014)","DOI":"10.1109\/SASO.2014.30"},{"key":"5_CR30","first-page":"1","volume-title":"CIRED 20th International Conference on Electricity Distribution","author":"E. Peters","year":"2009","unstructured":"Peters, E., Belhomme, R., Battle, C., Bouffard, F., Karkkainen, S., Six, D., Hommelberg, M.: Address: Scenarios and architecture for the active demand development in the smart grids of the future. In: CIRED 20th International Conference on Electricity Distribution, pp. 1\u20134 (2009)"},{"key":"5_CR31","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139084673","volume-title":"Nominal Sets: Names and Symmetry in Computer Science","author":"A.M. Pitts","year":"2013","unstructured":"Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge Tracts in Theoretical Computer Science, vol.\u00a057. Cambridge University Press, Cambridge (2013)"},{"key":"5_CR32","series-title":"Foundations of Artificial Intelligence","volume-title":"Handbook of Constraint Programming","author":"F. Rossi","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier, Amsterdam (2006)"},{"key":"5_CR33","unstructured":"Siwe, A.T.: Prosumer planning in the DEZENT context of regenerative power production. Ph.D. thesis (2013)"},{"key":"5_CR34","first-page":"9","volume":"3","author":"R.S. Sutton","year":"1988","unstructured":"Sutton, R.S.: Learning to predict by the methods of temporal differences. Machine Learning\u00a03, 9\u201344 (1988)","journal-title":"Machine Learning"},{"key":"5_CR35","volume-title":"Foundations of constraint satisfaction. Computation in cognitive science","author":"E.P.K. Tsang","year":"1993","unstructured":"Tsang, E.P.K.: Foundations of constraint satisfaction. Computation in cognitive science. Academic Press, London (1993)"},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/ECBS.2008.59","volume-title":"IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS \u201908)","author":"H.F. Wedde","year":"2008","unstructured":"Wedde, H.F., Lehnhoff, S., Moritz, K.M., Handschin, E., Krause, O.: Distributed learning strategies for collaborative agents in adaptive decentralized power systems. In: IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS \u201908), pp. 26\u201335 (2008)"},{"key":"5_CR37","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/SASO.2008.17","volume-title":"IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO \u201908)","author":"H.F. Wedde","year":"2008","unstructured":"Wedde, H.F., Lehnhoff, S., Rehtanz, C., Krause, O.: Bottom-up self-organization of unpredictable demand and supply under decentralized power management. In: IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO \u201908), pp. 74\u201383 (2008)"},{"key":"5_CR38","unstructured":"Whitehead, D.: The el farol bar problem revisited: Reinforcement learning in a potential game. ESE Discussion Papers 186, Edinburgh School of Economics, University of Edinburgh (2008)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Collective Autonomic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16310-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:58:34Z","timestamp":1559131114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16310-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319163093","9783319163109"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16310-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}