Dynamic constraint reasoning in smart environments

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2013, Pages 167-174

  Degeler, Viktoriya ^a   Lazovik, A ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Dynamic constraint satisfaction; Predicate logic; rule based systems; Smart environments

Indexed keywords

COMPUTATIONAL EFFORT; DYNAMIC CONSTRAINT SATISFACTIONS; DYNAMIC CONSTRAINTS; PERFORMANCE EXPERIMENT; PREDICATE LOGIC; RULE-BASED SYSTEM; SENSOR AND ACTUATORS; SMART ENVIRONMENT;

ARTIFICIAL INTELLIGENCE;

TOOLS;

EID: 84897681526     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2013.34     Document Type: Conference Paper

References (18)

1. "GreenerBuildings," http://www.greenerbuildings.eu, 2013.
2. G. Verfaillie and T. Schiex, " Solution reuse in dynamic constraint satisfaction problems," in Proc. of the National Conference on Artificial Intelligence, 1994, pp. 307-312.
3. R. Dechter and A. Dechter, Belief maintenance in dynamic constraint networks. University of California, Computer Science Department, 1988.
4. C. Bessiere, "Arc-consistency in dynamic constraint satisfaction problems," in Proceedings AAAI91, 1991.
5. R. Debruyne, "Arc-consistency in dynamic CSPs is no more prohibitive," in IEEE Int. Conf. Tools with Artificial Intelligence (ICTAI), 1996, pp. 299-306.
6. Y. Ran, N. Roos, and J. Van den Herik, " Approaches to find a near-minimal change solution for dynamic CSPs," in Fourth international workshop on integration of AI and OR techniques in constraint programming for combinatorial optimisation problems, 2002, pp. 373-387.
7. T. Schiex and G. Verfaillie, "Nogood r ecording for static and dynamic constraint satisfaction problems," Int. Journal of Artificial Intelligence Tools, vol. 3-2, pp. 187-207, 1994.
8. G. Verfaillie and N. Jussien, "Constraint solving i n uncertain and dynamic environments: A survey," Constraints, vol. 10, no. 3, pp. 253-281, 2005.
9. S. Mittal and B. Falkenhainer, " Dynamic constraint satisfaction," in Nat. Conf. on Artificial Intelligence, 1990, pp. 25-32.
10. F. Pecora and A. Cesta, " Dcop for smart homes: A case study," Computational Intelligence, vol. 23, no. 4, pp. 395-419, 2007.
11. E. Kaldeli, E. U. Warriach, A. Lazovik, and M. Aiello, " Coordinating the web of services for a smart home," ACM Transactions on the Web, 2012.
12. V. Degeler and A. Lazovik, "Cost-efficie nt context-aware rule maintenance," in IEEE Int. Conf. Pervasive Computing and Communications (PERCOM) Workshops, 2012, pp. 608-612.
13. "Play Framework," http://www.playframework.com, 2013.
14. O. Amft and C. Lombriser, " Modelling of distributed activity recognition in the home environment," in Int. Conf. Engineering in Medicine and Biology Society (EMBC). IEEE, 2011, pp. 1781-1784.
15. F. Wahl, M. Milenkovic, and O. Amft, " A distributed PIRbased approach for estimating people count in office environments," in Int. Conf. Computational Science and Engineering (CSE). IEEE, 2012, pp. 640-647.
16. A. Videla and J. J. Williams, RabbitMQ in action. Manning, 2012.
17. N. Jussien, G. Rochart, X. Lorca et al., "Choco: An open source java constraint programming library, " in CPAIOR08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP08), 2008, pp. 1-10.
18. "Plugwise," http://www.plugwise.com, 2013.