This e-book constitutes the refereed court cases of the 4th foreign Joint convention an Ambient Intelligence, AmI 2013, held in Dublin, eire, in December 2013. The 15 revised complete papers, four papers from the panorama music, three papers from the doctoral colloquium and six demo and poster papers have been rigorously reviewed and chosen from a number of submissions and are provided with 6 workshop descriptions. The papers conceal various multi-disciplinary issues in desktop technology, human computing device interplay, electric engineering, business layout, behavioral sciences, dispensed units, ubiquitous and verbal exchange applied sciences, pervasive computing, clever person interfaces and synthetic intelligence.

This e-book constitutes the completely refereed post-conference lawsuits of the 18th overseas Symposium on Logic-Based application Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, in the course of July 17-18, 2008. The eleven revised complete papers awarded including one invited speak have been conscientiously reviewed and chosen for inclusion within the booklet.

This e-book constitutes the refereed lawsuits of the thirteenth overseas convention on Computational tools in platforms Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 complete papers and a pair of brief papers provided have been conscientiously reviewed and chosen from forty three complete and four brief paper submissions.

Based on current and past activities, and a formalisation of actions and intentions, the intention recognition infers likely user goals. 2. Strategy synthesis. Supporting strategies are synthesised wrt. to the current state of the world, available actions and potential goals. 3. Explanation generation. The user actions, the goals and the synthesised strategy are integrated into an explanation that helps to explain the overall system. We use the setting from above as a running example to illustrate all concepts.

To the current state of the world, available actions and potential goals. 3. Explanation generation. The user actions, the goals and the synthesised strategy are integrated into an explanation that helps to explain the overall system. We use the setting from above as a running example to illustrate all concepts. 1 Formalising Actions and Intentions As customary within the automatic planning domain [12], all actions are described using preconditions and effects. Before diving into the formalisation, we discuss a simple example (all examples show actually used Prolog code of the system): Example 1 (Action turnOn(P)).

If for every situations S ∈ {Sn−l , . . , Sn } there exists an action sequence aS = [a1 , . . , ai ] leading to a state satisfying I, such that the corresponding sub-sequence of user actions [a1 , . . , item(A,au ), E=hint-sufficient-actions(A, S, I)] The parameter l controls how many unnecessary actions have to be executed before the system generates a hint. The resulting DRS is translated into “To achieve ‘I’ it is sufficient to perform the following actions: [a1 , . . ” 5 Preliminary Evaluation The system described above has been realised in a first prototype.