From local to global knowledge and back

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8998, Issue , 2015, Pages 185-220

  Hoch, Nicklas ^a   Monreale, Giacoma Valentina ^b   Montanari, Ugo ^b   Sammartino, Matteo ^b   Siwe, Alain Tcheukam ^c  

^a VOLKSWAGEN AG   (Germany)

^b UNIVERSITY OF PISA   (Italy)

^c IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

Address project; Aggregator; Ciao prolog; Constraint programming; Constraint semiring; Declarative knowledge; Dezent; Dynamic programming; E mobility; Electric car; Energy; Global knowledge; Hierarchical soft constraint satisfaction problem; Java; Local knowledge; Optimization; Parking optimization problem; Power; Procedural knowledge; Prolog; Prosumer; Reinforcement learning; Service component ensembles; Smart grid; Soft constraint; Soft constraint logic programming; Soft constraint satisfaction problem

Indexed keywords

COMPUTER CIRCUITS; CONSTRAINT THEORY; DYNAMIC PROGRAMMING; ELECTRIC POWER TRANSMISSION NETWORKS; GLOBAL OPTIMIZATION; JAVA PROGRAMMING LANGUAGE; LOGIC PROGRAMMING; OPTIMIZATION; PROLOG (PROGRAMMING LANGUAGE); REINFORCEMENT LEARNING; SMART POWER GRIDS;

ADDRESS PROJECT; AGGREGATOR; CIAO-PROLOG; CONSTRAINT PROGRAMMING; DECLARATIVE KNOWLEDGE; DEZENT; E MOBILITIES; ELECTRIC CARS; ENERGY; GLOBAL KNOWLEDGE; JAVA; LOCAL KNOWLEDGE; OPTIMIZATION PROBLEMS; POWER; PROCEDURAL KNOWLEDGE; PROLOG; PROSUMER; SEMI-RING; SERVICE COMPONENTS; SMART GRID; SOFT CONSTRAINT; SOFT CONSTRAINT SATISFACTION;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84924388667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-16310-9_5     Document Type: Article

References (38)

1. http://www.twenties-project.eu
2. European power exchange, http://www.epexspot.com
3. Gestore mercati elettrici, http://www.mercatoelettrico.org
4. ASCENS: Requirement specification and scenario description of the ascens case studies, deliverable 7.1 (2011)
5. Barroso, L.A., Cavalcanti, T.H., Giesbertz, P., Purchala, K.: Classification of electricity market models worldwide. In: IEEE PES, International Symposium, pp. 9–16. IEEE, Los Alamitos (2005)
6. 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–4.
7. 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), http://www.addressfp7.org/
8. Bertelé, U., Brioschi, F.: On non-serial dynamic programming. Journal of Combinatorial Theory, Series A 14(2), 137–148 (1973)
9. Bistarelli, S., Montanari, U., Rossi, F.: Constraint solving over semirings. In: IJCAI, pp. 624–630 (1995)
10. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)
11. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based contstraint logic programming: syntax and semantics. ACM Trans. Program. Lang. Syst. 23(1), 1–29 (2001)
12. Bistarelli, S., Montanari, U., Rossi, F.: Soft constraint logic programming and generalized shortest path problems. J. Heuristics 8(1), 25–41 (2002)
13. Bistarelli, S., Montanari, U., Rossi, F.: Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3), 563–589 (2006)
14. Bistarelli, S., Montanari, U., Rossi, F., Santini, F.: Unicast and multicast qos routing with soft-constraint logic programming. ACM Trans. Comput. Log. 12(1), 5 (2010)
15. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M.V., López-García, P., Puebla, G.: The ciao prolog system. Reference manual. Tech. Rep. CLIP3/97.1, School of Computer Science, Technical University of Madrid, UPM (1997)
16. 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. 4421, pp. 18–32. Springer, Heidelberg (2007)
17. Challet, D., Zhang, Y.C.: Emergence of cooperation and organization in an evolutionary game. Physica A: Statistical Mechanics and its Applications 246(3–4), 407–418 (1997)
18. Dechter, R.: Bucket elimination: A unifying framework for reasoning. Artif. Intell. 113(1-2), 41–85 (1999)
19. Gadducci, F., Miculan, M., Montanari, U.: About permutation algebras (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2-3), 283–304 (2006)
20. Hewitt, C.: PLANNER: A language for proving theorems in robots. In: IJCAI, pp. 295–302 (1969)
21. 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)
22. 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–177 (2012)
23. Hölzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., Hölzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 249–290. Springer, Heidelberg (2015)
24. Jaffar, J., Lassez, J.: Constraint logic programming. In: POPL, pp. 111–119 (1987)
25. Kaelbling, L.P., Littman, M.L., Moore, A.W.: Reinforcement learning: A survey. J. Artif. Intell. Res. (JAIR) 4, 237–285 (1996)
26. Kohlas, J., Pouly, M.: Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley, Chichester (2011)
27. Monreale, G.V., Montanari, U., Hoch, N.: Soft constraint logic programming for electric vehicle travel optimization. In: 26th Workshop on Logic Programming (2012)
28. Montanari, U., Siwe, A.T.: Real time market models and prosumer profiling. In: IEEE INFOCOM Workshops. pp. 7–12 (2013)
29. Montanari, U., Siwe, A.T.: Prosumers as aggregators in the dezent context of regenerative power production. In: IEEE SASO Workshops (2014)
30. 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–4 (2009)
31. Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 57. Cambridge University Press, Cambridge (2013)
32. Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier, Amsterdam (2006)
33. Siwe, A.T.: Prosumer planning in the DEZENT context of regenerative power production. Ph.D. thesis (2013)
34. Sutton, R.S.: Learning to predict by the methods of temporal differences. Machine Learning 3, 9–44 (1988)
35. Tsang, E.P.K.: Foundations of constraint satisfaction. Computation in cognitive science. Academic Press, London (1993)
36. 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’08), pp. 26–35 (2008)
37. 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’08), pp. 74–83 (2008)
38. 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)