"Athens" . "Possibilities for Formal Models of Smart Environments"@en . "1"^^ . . . "1"^^ . . . "Possibilities for Formal Models of Smart Environments" . "[054810F37B17]" . . . "This paper is devoted to a recently running project description with a purpose to get some necessary feedback from the AmI community as to the project ambitions. The project intends to study possibilities of several formal approaches towards modeling intelligent environments based on principles of ambient intelligence. The main goal is in contributing towards theoretical foundations of ambient intelligence via modeling of intelligent environments functionality using three basic approaches: multi-agent systems of various kind, algebraic methods, and grammar systems and colonies, namely eco-grammar systems."@en . "Faro, Portugal" . "280203" . . "Data networks, communications, computers (DNCOCO\u00B410)" . . . "Possibilities for Formal Models of Smart Environments"@en . . . "Ambient intelligence; formal models; multiagent systems; process algebra; grammar systems; colonies"@en . . "Possibilities for Formal Models of Smart Environments" . "World scientific and engineering academy and society" . . "18450" . . . "RIV/62690094:18450/10:00003004" . "This paper is devoted to a recently running project description with a purpose to get some necessary feedback from the AmI community as to the project ambitions. The project intends to study possibilities of several formal approaches towards modeling intelligent environments based on principles of ambient intelligence. The main goal is in contributing towards theoretical foundations of ambient intelligence via modeling of intelligent environments functionality using three basic approaches: multi-agent systems of various kind, algebraic methods, and grammar systems and colonies, namely eco-grammar systems." . "Mikuleck\u00FD, Peter" . "P(GAP403/10/1310)" . . . "RIV/62690094:18450/10:00003004!RIV11-GA0-18450___" . "978-960-474-245-5" . "2010-01-01+01:00"^^ . . "6"^^ . .