Dysfunctionality in socialisation is undoubtedly the most crucial characteristic of autism. For a long time, social functioning and its improvement have been considered among the most important interventions in the literature. Individuals with autism are responsive to therapist-mediated and/or peer-mediated interventions that increase their social engagement. The present study examines the impact of outdoor integrated activities, such as music therapy, equine-assisted therapy, and art therapy, in autistic individuals (n=14). The analysis was carried out on the application of a questionnaire assessing (...) three social skill domains: Joint Attention (JA), Imitation (IMI), and Turn-Taking (T-T) mediated by the therapists and by peers. The development and acquisition of these social behaviours were examined in a structured outdoor context (ASO). Data were collected by two independent observers by White's Scale questionnaire. The results revealed that the proposed interventions facilitated and led to an increase in social-behavioural experience. (shrink)

In this paper we propoee a logic programming language which supports hypothetical updates together with integrity constraints. The language makes use of a revision mechanism, which is needed to restore consistency when an update violates some integrity constraint. The revision policy adopted is based on the simple idea that more recent information is preferred to earlier one. We show how this language can be used to represent and perform several types of defeasible reasoning. We develop a logical characterization of the (...) language in a three-valued conditional logic, by introducing a completion construction. We show that the operational semantics is sound and complete with respect to the completion construction. (shrink)

In this paper we present a theory for reasoning about actions which is based on Dynamic Linear Time Temporal Logic . DLTL is a simple extension of propositional temporal logic of linear time in which regular programs of propositional dynamic logic can be used for indexing temporal modalities. The action theory we define allows to reason with incomplete initial states, to do postdiction and to deal with ramifications and with nondeterministic actions, which are captured by possibly alternative extensions . The (...) expressiveness of temporal logic is exploited to enhance the action language by allowing the definition of general temporal constraints as well as complex actions in the specification of the domain description. We show that the temporal projection problem and the planning problem can be modelled as satisfiability problems in DLTL. (shrink)

La pittura islamica e in particolare l’illustrazione dei manoscritti, opere a circolazione limitata e prevalentemente privata, ha avuto una notevole diffusione godendo del patrocinio delle corti. Alcune pitture, soprattutto quelle che illustrano l’Ascensione celeste del profeta Muhammad, ma anche le Storie dei Profeti, pitture datate al XIV e XV secolo, rappresentano l’uno e gli altri col volto scoperto. Solo relativamente tardi, in particolare nel mondo iranico, ma anche presso gli ottomani o i Moghul dell’India, il volto del Profeta diventa una (...) convenzione iconografica. Un versetto coranico afferma che Dio parla all’uomo o per Rivelazione o dietro a un velame. Per questo nell’iconografia della pittura islamica si constata che il Profeta o altri personaggi possono figurare con il volto coperto da un velo. Questo segno di rispetto, col tempo, si trasformerà in parola e il sembiante del Profeta sarà reso calligraficamente. Islamic painting and particularly miniature painting illustrating manuscripts, books restricted to few people and for personal use, had a considerable circulation thanks to the patronage of courts. Some paintings, chiefly those illustrating the heavenly Ascent of the prophet Muhammad, but also Histories of Prophets, paintings dated to the XIV and XV century, show him and the others barefaced. Only fairly later, particularly in the iranian world, but also among Ottomans or the Moghuls of India, the face of the Prophet becomes an iconographic convention. According to a Koranic verse God speaks to man either through Revelation of behind a veil. For this reason in the iconography of islamic painting the Prophet or other people may appear with the face covered by a veil. This sign of respect, in the course of time, changed and the countenance of the Prophet was rendered in words, that is calligraphically. (shrink)