We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an argument-restricted formula presented here is a natural generalization of both the notion of an argument-restricted program and the notion of a semi-safe sentence that have been studied in different contexts. Based on t...

The Greek national action “Goneis.gr” educates and trains the parents of highschool children on the issue of safer internet, as well as on the use of ICT. Having trained more than 28.300 parents, the initiative aims at providing about 45.000 parents with the same training. Examining the Beneficiaries’ degree of satisfaction by the initiative, we conducted a survey in a sample of Beneficiaries t...

OBJECTIVE The present study investigates the influence of income, ethnicity, and built environmental characteristics on the percentages of workers who walk/bike as well as on pedestrian/cyclist crash rates. Furthermore, income and ethnicity disparities are also explored. METHODS This study chose 162 census tracts in Austin as the unit of analysis. To explore income and ethnicity differences i...

................................................................................................................................. 3 TABLE OF CONTENTS ..................................................................................................................... 4 LIST OF FIGURES...................................................................................................................

In virtually all safety-critical industries the operators of systems have to demonstrate a systematic and thorough consideration of safety. This is increasingly being done by demonstrating that certain goals have been achieved, rather than by simply following prescriptive standards. Such goalbased safety cases could be a valuable tool for reasoning about safety in healthcare organisations, such...

The paper discusses the motivation behind the safety assurance of health IT, lists pertinent standards and regulation, as well as discussing prominent challenges in the field of health I safety.

This paper is concerned with formal aspects of the logic of theory change, :and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gi~rdenfors. The paper defines a notion of "safe contraction" of a set of propositions, shows that it satisfies the Gi~rdenfors postulates for contraction and thus ca...